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...

His segment is a fantastic read, thanks for sharing.

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.com/user?id=alanone1

Perhaps this one from Graham Hutton?

“A parser for things

Is a function from strings

To lists of pairs

Of things and strings”

hmmmm maybe something like page 184 here https://apps.dtic.mil/sti/pdfs/ADA327435.pdf

Thanks for sharing this. I became a bit of a fan of Dr Hutton after I followed his Functional Programming in Haskell classes on Youtube.

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) language in his research. His CL implementation is specifically designed to allow more seamless interoperability with libraries written in C and C++.

[1] https://drmeister.wordpress.com/about/

[2] https://github.com/clasp-developers/clasp

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

I think it was implemented in PLT Scheme before it stopped being a Scheme implementation and became Racket.

Hacker News runs on a language that runs on Racket? Which language is that?

Arc Lisp[0]. This forum was concieved as a MVP for the language.

Anarki, a divergent open source fork, can be found here[1].

[0] http://arclanguage.org/

[1] https://github.com/arclanguage/anarki

I thought that was Arc?

It is. Arc itself is written in Racket.

Ok, so pretty good proof that racket is a working programming language programming language then :-)

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 pretty naïve and boring OO-style code that will almost always perform superbly. This is a good thing, and something that I envy as a C# programmer.

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”, followed by the ultimate point that “formal mathematics is nature’s way of showing you how sloppy your mathematics 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 SANY rather than TLC.

After noodling with with the spec for half an hour or so, I’ll usually have enough insight/confidence to start coding/debugging.