04:40
2026-08-25
risemsr.github.io
artificial-intelligence
A Verified Generational GC for OCaml
Researchers at Microsoft Research, led by Nik Swamy, used AI coding agents to port and evolve a verified mark-and-sweep garbage collector for OCaml into a generational garbage collector, integrating i…