HN
Paper
All
Show
Ask
Jobs
Top
Today
Last 7 days
Last months
This year
Statistics
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Statistics
Stories by
jubnzv_
Metamorphic testing with Lean4-verified mutations finds compiler miscompilations
2 points
jubnzv_
2026-06-29T08:18:37Z
nowarp.io
Coverage-guided and grammar-aware and LLM fuzzing finds 100 compiler bugs
4 points
jubnzv_
2026-05-01T12:38:23Z
nowarp.io