home / Programming / Dmt0h99iOmM

[ICFP'26] Machine-Generated, Machine-Checked Proofs for a Verified Compiler (Experience Report)

ACM SIGPLAN ■Programming Watch on YouTube ↗first found Oct 8, 2026 · last mentioned Oct 14, 2026

9community score

2mentions

2discussions

1sharers

2days active

—story pointsall mentions are comments

Hacker News discussions

2 independent threads

Port of the TypeScript compiler, checker and lsp to Rust, by LLM

▲ 119 pointsstory by jcbhmrOct 8, 20261 comment mentionRead on HN ↗

“Which you can provide on your Markdown files as well. These are not what-ifs, this is an active area of research currently, "CGO 2022 Keynote: Compiler 2.0" https://www.youtube.com/watch?v=w_sX9aZoZxg…”— pjmlp, when sharing this video · read the comment ↗

+ 1 comment mention in this thread ↗

What agents mean for Rust (and vice versa)

▲ 73 pointsstory by mfrwOct 14, 20261 comment mentionRead on HN ↗

“I think everyone is focused on the wrong future, it is like watching folks arguing about which Assembly ISA variant is more relevant in the presence of optimising compilers. The hard reality is none o…”— pjmlp, when sharing this video · read the comment ↗

+ 1 comment mention in this thread ↗