Post #1722072
2026-04-27 10:41 UTC
@jkb @jneen sure, but the code that it writes *is* deterministic and can be easily unit tested to be verifiably correct.
Replies (1)
-
@jkb@gotosocial.jkbockstael.be 2026-04-27 11:22
@trentshell @jneen That is true if you have tests that are exhaustive, at which point these tests are isomorphic to the program under test therefore the programming is done. At least a compiler can be trusted.