Language
·
July 2026
The compiler that hands you the murder weapon
An AI writes most of the code now — and its failure mode is the plausible-but-wrong function. So I taught the machin compiler to be an adversary: it hunts for the exact input that breaks your code, hands it back with a runnable repro, and — when the input space is small enough — proves there isn't one. Honestly.
#machin
#compiler
#verification
#ai-engineering
#design-by-contract
Read more