HNHacker News
TopNewBestAskShowJobs

kronnpp

9 karma · joined November 25, 2025

submissionscomments
kronnpp··on How the Elizabeth Holmes documentary “You Can See Everything” is deceiving
It is one thing to fake and misrepresent the completeness of a video game, but it is entirely another to provide false or unverified medical results to patients.
kronnpp··on Simons Foundation launches $15M effort to help mathematicians navigate AI era
"in mathematics you don't understand things, you just get used to them"

John von Neumann

kronnpp··on Loon: A functional lang with invisible types, safe ownership, and alg. effects
How is it related to the Standard Meta Language (SML) family of languages?
kronnpp··on Build a Compiler in Five Projects
I taught in the past and still like the trilogy of books

> Modern Compiler Implementation by Andrew W. Appel

It comes in three flavors C, ML (Meta Language), and Java

https://www.cs.princeton.edu/~appel/modern/

Writing a compiler in Standard ML is as natural as writing a grammar and denotational semantics.

Compiler writing is becoming an extinct art.