Hacker Timesnew | past | comments | ask | show | jobs | submitlogin

You're likely thinking of Miri, a sanitiser. It's not a proof solver, but it screams to high heaven about this code nonetheless.

https://github.com/oven-sh/bun/issues/30719



Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: