Hacker Newsnew | past | comments | ask | show | jobs | submit | mzajc's favoriteslogin
1.
Z3 API in Python: From Sudoku to N-Queens in Under 20 Lines (2015) (ericpony.github.io)
155 points by amit-bansil 7 days ago | 14 comments
2.
ASCIIFlow (asciiflow.com)
143 points by marcodiego 88 days ago | 34 comments
3.
An image of an archeologist adventurer who wears a hat and uses a bullwhip (theaiunderwriter.substack.com)
1503 points by participant3 7 months ago | 898 comments

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

Search: