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

Fiddling with building a theorem prover https://www.philipzucker.com/egglog/

Building a robot that places marbles into a picture https://www.philipzucker.com/marble-machine-progress/



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

Search: