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

Note Detail

Reply to @scathach@stereophonic.space
🌲@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
---Reply---
Blurry Moon@sun@shitposter.world (2026-08-17 07:05:28)
@scathach @bonifartius what about ocaml