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

To take an extreme example, what if I asserted the Riemann hypothesis in comptime? It's relying on comptime execution to act as a proof checker.

Which is fine for small inputs and uses, but it's not something that would scale well.





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

Search: