Post

The compiler is the opposite of an LLM, and I think people are starting to use it like one. An LLM guesses: same question, two answers, most confident when it's wrong. A compiler proves: same input, same answer, and it points at the exact line.

28/7/26, 1:10 pm0 reposts0 likes

Valentyn Kit

@valentynkit.com

28 July

Mash build, skim the error, tweak, rerun until green, and you're brute-forcing an oracle that already handed you the proof. As the rest of the stack goes probabilistic, the one tool that can't bluff you gets more valuable, not less.