oconnor0

I don't think an implementation of LLVM IR for execution would require the same in-memory representation.

> Go is regarded as the most complex board game ever invented

I'm not sure that's an accurate statement.

> Many mothers do not change lifestyle.

I'm not sure what you mean. Babies necessitate a change of lifestyle if only because they demand to be fed in the middle of the night.

I believe that stability of the internal C++ APIs is a complete non-goal of LLVM/Clang.

Every release of LLVM breaks the internal APIs. So, yes, changing the major version every release is honest and adopting semantic versioning.

Of course, since it's magic, you could easily rule that total data transferred is equivalent to 25 words or less regardless of compression or not.

I agree, but

How do we handle software ownership? If I sell you a piece of software that you now own, you can go and resell copies of that software to whoever you want. What is the best way to handle that?

For an intro interpreter/"how do I use K", using Javascript seems like a big win.

https://www.vidangel.com/ does something similar. You buy the movie for 20$ and then can stream it whenever, but if you return it within the first 24 hours, you get 19$ back.

Yes, there's also the subset of SQL that is total - or, at least, not-Turing-complete.

Edit: As far as HTML goes, I was attempting to describe "programming languages" - or perhaps algorithmic languages - which I don't consider HTML falling under.

I love this paper. The idea of non-Turing-complete languages that are quite useful for real work (whatever that means) is such a fascinating concept. Knowing at compile time that my program won't run off in unending or unproductive code seems like such a useful bit of static checking.

There are also essentially no total languages today. Idris, Coq, etc. have support for totality, but there's nothing widespread or simple that does. I expect a total language would be quite useful in certain contexts (real-time, scripting, running user code, compilers), but the drive for - I can do whatever I want in this language - is so strong that a total language would need to provide significant, useful advantages to see adoption.

I really like the look of those icons. Something about them reminds me of Haiku's

My computer - a 3+ year old i7 - opens the 20 million line CSV from http://files.grouplens.org/datasets/movielens/ml-20m.zip in ST3 in about 25s and opens the 1 million line CSV from there in little over a second. 10s to open a 100 thousand line file on a modern machine is unnecessarily slow.

I wish that copyright law was different than it is largely because Tolkien's works would then have entered the public domain. And the opportunity to create, play, and profit in Middle-earth sounds amazing.

Is the Z3C getting Android updates? How is the Sony software/skin/bloatware/addons compared to the cleanness of the Nexus line?

I'm sad to see the Nexus line go away. I quite like my Nexus 5 but have no interest in spending over 600$ on a phone.

Because I don't get any sick days and never have?

Any idea what causes the slow app switches?

I'm far more interested in why his girlfriend Alix changed her name after she and Stallman broke up. :)

What are the other options?

Don't all the browsers get exploited at pwn2own?

So the argument is "be nice to nerds because they make and shape new things"? What happened to be kind to people because they are people?

StarCraft 2's popularity is diminishing?

One person's excessive punctuation is another's dream.

My guess would be that the goal of the language designers was to make a language suitable for code golf - so short mnemonics that aren't confused with something else would be beneficial. Like if I see an H I know I'm looking at an array literal rather than the many things a 2 could be used for.

What is the relationship between Dotty and Scala Native?

Maybe because it hasn't been updated in 3-4 years?

What about Rust and Idris make them go together? Or how would they go together?

What about that has the JVM had for years?

That may have used to be true, but with every release of Java the language and standard library grows. More features means simplicity is lost, and Java is huge.