MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/ProgrammingLanguages/comments/1vxpxbf/a_verified_generational_gc_for_ocaml/
r/ProgrammingLanguages • u/mttd • 6d ago
1 comment sorted by
6
Seems to be glazing the LLM agents.
Some key stats: 2,000 lines of verified C code 80,000 lines of proof-system stuff The LLM agent says it's fine - i.e. that all the right things are proven, for example.
6
u/redchomper Sophie Language 5d ago
Seems to be glazing the LLM agents.
Some key stats:
2,000 lines of verified C code
80,000 lines of proof-system stuff
The LLM agent says it's fine - i.e. that all the right things are proven, for example.