Forfatteren nyanserer den siste tidens entusiasme rundt TLA+ som verktøy for å kvalitetssikre KI-generert kode, og forklarer hva formaliseringsspråket faktisk klarer å fange opp.
Kilde: https://buttondown.com/hillelwayne/archive/what-tla-can-and-cant-check/