For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | fromregister
Beating the Odds with Z3 (kiwec.net)
2 points by todsacerdoti on Aug 27, 2020 | past
Beating C with one line of Brainfuck (kiwec.net)
567 points by pmontra on Nov 24, 2019 | past | 86 comments

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

Search:

HN For You