RebelPotato

Recent Submissions

1. 1. ▲ Beyond agentic coding (haskellforall.com) 260 points · 1 day ago · 88 comments
2. 2. ▲ Trudging Through Nonsense (aphyr.com) 4 points · 3 days ago · 0 comments
3. 3. ▲ Broken Proofs and Broken Provers (lawrencecpaulson.github.io) 64 points · 5 days ago · 14 comments
4. 4. ▲ My Gripes with Prolog (buttondown.com) 3 points · 25 days ago · 0 comments
5. 5. ▲ Pyspread, a Spreadsheet in Python (pyspread.gitlab.io) 6 points · 1 month ago · 0 comments
6. 6. ▲ The Silent (R)evolution of SAT (cacm.acm.org) 3 points · 2 months ago · 0 comments
7. 7. ▲ Unum (Number Format) (en.wikipedia.org) 1 point · 6 months ago · 0 comments
8. 8. ▲ Show HN: Dok.py, quick and dirty literate programming / yet another Docco clone (rebelpotato.github.io) 2 points · 7 months ago · 0 comments
9. 9. ▲ Show HN: Dok.py, quick and dirty literate programming / yet another Docco clone (rebelpotato.github.io) 2 points · 7 months ago · 0 comments
10. 10. ▲ DumPy: NumPy except it's OK if you're dum (dynomight.net) 174 points · 8 months ago · 59 comments