Post #605463
2026-02-25 22:33 UTC
formal verification of artefacts: famously very approachable, pretty reasonable to set verifying something like a C compiler for a graduate class.
Oh, wait. it't not that easy. oh. oh well I'm sure the LLMs will be fine and won't cheat the test
Replies (1)
-
@coral@empty.cafe 2026-02-25 22:34
"Use the LLM to generate a system implementing a spec" you don't even know you are presuming the dream