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

I'm curious what is the theoreme-proving magic behind add_v4 and if this is prior LLVM ir


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

Search: