Home | Notifications | New Note | Local | Federated | Search | Logout

Note Detail

Reply to @bonifartius@noauthority.social
🌲@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---
🌲@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

---Replies---

Blurry Moon@sun@shitposter.world (2026-08-17 07:05:28)
@scathach @bonifartius what about ocaml