Home | Notifications | New Note | Local | Federated | Search | Logout
Note Detail
Reply to @scathach@stereophonic.space
🌈ᚩ🌈@bonifartius@noauthority.social (2026-08-16 23:42:58)
@scathach i think a big part of why LLMs aren't good for this is that the input language is english when it should be some artificial precise meta language. would be prime time for declarative programming.
---Reply---
🌲@scathach@stereophonic.space (2026-08-17 07:03:36)
@bonifartius Spec-driven-development (especially with a human written test suite) is a lot better than vibe coding, but yeahhh Dijkstra was right all along https://www.cs.utexas.edu/~EWD/transcriptions/EWD06xx/EWD667.html
Reply
---Replies---
🌲@scathach@stereophonic.space (2026-08-17 07:05:06)
@bonifartius I guess the epitome this approach would be to write the spec as Haskell types that fully prove the correctness of the program then have an LLM generate code that compiles but God, that kind of Haskell is miserable to write