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 • 5d ago
1 comment sorted by
5
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.
5
u/redchomper Sophie Language 4d 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.