logoalt Hacker News

beaker5201/04/20262 repliesview on HN

Actually, we’ve been formally declaring the logic of programs to compilers, which is something very different.


Replies

beaker5201/04/2026

(Replying to myself because hn)

That’s not the only difference at all. A good use of an LLM might be to ask it what the difference between using an LLM and writing code for a compiler is.

show 1 reply
9rx01/04/2026

The only difference is that newer languages have figured out how to remove a lot of the boilerplate.

show 1 reply