gavin.codes on Mythryl: “Very soon we will be neither reading, nor writing code. Software…”

Very soon we will be neither reading, nor writing code. Software engineers will be engaged in specification management. The theorem prover is the key ingredient to make this possible. scidonia.ai/blog/opaque-...

scidonia.aiCode Will Become Opaque — And That's Fine | ScidoniaMost software developers haven't twigged the real potential of automated theorem proving with LLMs. If provers are powerful enough, you no longer need to understand the code — only the contracts at th...

3/6/26, 10:14 am0 reposts0 likes

Post