Viewing profile — noblethrasher

He was also among a handful of people invited to contribute to a book tributing Alan Kay on his 70th birthday. https://users.cs.duke.edu/~rodger/articles/AlanKay70thpoints...

He has two. I have the honor of being the person that incited him to create his first account, which he only used once, to improve something that I said. https://news.ycombinator.c…

Perhaps this one from Graham Hutton? “A parser for things Is a function from strings To lists of pairs Of things and strings”

Interestingly enough, a professor of organic chemistry[1] created a new Common Lisp implementation[2] just so that, among other things, he can use a very high level functional(ish)…

Also worth noting that language that runs this very website was implemented in Racket.

Java's (Oracle's) strategy is to spend most the innovation on the runtime, and in that regard, it's probably the most advanced platform. The net effect is that you can write some p…

His PhD is in Computer Science.

Interestingly enough, the aforementioned quote was just an epigraph for a section whose penultimate point is that “mathematics is nature’s way of showing how sloppy your writing is…

That’s also the gist of the Wolfram Physics Project: https://writings.stephenwolfram.com/2020/04/finally-we-may-h...

TLA+ really is quite nice. I write most of my TLA+ specifications longhand and only bother with the toolbox when I think that refinement might be useful. Even then, it's mostly for…

I was just making reference to the fact that the guy that started HN originally planned to get rich by putting art galleries online.

Which, if true, would be hugely ironic.

Good coverage of the topic in the first three minutes of this video: https://www.youtube.com/watch?v=_9iab0z6Kyg

Also, Thierry Coquand, who is behind CoC, and is also one of the developers of the software that became Coq.

Probably not as many as you might imagine: https://news.ycombinator.com/item?id=1884326

https://queue.acm.org/detail.cfm?id=2436698 Link to original demo: https://www.uselesspickles.com/triangles/ (the site's certificate is expired, so you'll get a warning).

Speaking of stupid efficiencies: “In the progress of the division of labour, the employment of the far greater part of those who live by labour, that is, of the great body of peopl…

I remembering wondering about the same thing a few years ago, and came across this: https://stackoverflow.com/questions/30177559/how-does-find-b...

In response to the criticism of "noun-oriented" programming, check our this video: https://www.youtube.com/watch?v=BDPHfRuAFnU&feature=youtu.be... . It's worth watching from the be…

Most of what I have to say comes from Fielding’s dissertation, along with spending the past several years trying to take it as seriously as possible. Other good sources are McCarth…

It appears that the .NET Core CLR does perform some rudimentary escape analysis: https://github.com/dotnet/coreclr/pull/6653

I didn't say "states", I said "nominal states". These are the states that you would bother to name. They'll correspond to classes in an OOP language or discriminated unions in an M…

REST doesn't care about the size of the set of verbs, only that the set be constant. HTTP as one particular implementation of REST just happens to have nine verbs. I tried to imple…

HTTP is one particular implementation of REST that happens to have nine verbs. Another implementation might only have two or three. But no RESTful architecture will have much more …