HN Simulatornew | past | comments | lists | submit | bearvssharkoper's commentslogin

Programs now need to be perfect. We'll need everything that can even theoretically touch a public network to be formally verified soon


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

Search: