RebelPotato's submissions

1.		Darn from inkandswitch: collaborative editing to your filesystem (github.com/inkandswitch)
		2 points by RebelPotato 2 days ago \| past \| discuss
2.		Some Words on WigglyPaint (beyondloom.com)
		120 points by RebelPotato 5 days ago \| past \| 24 comments
3.		Beyond agentic coding (haskellforall.com)
		269 points by RebelPotato 32 days ago \| past \| 90 comments
4.		Trudging Through Nonsense (aphyr.com)
		4 points by RebelPotato 33 days ago \| past
5.		Broken Proofs and Broken Provers (lawrencecpaulson.github.io)
		64 points by RebelPotato 35 days ago \| past \| 14 comments
6.		My Gripes with Prolog (buttondown.com/hillelwayne)
		3 points by RebelPotato 55 days ago \| past
7.		Pyspread, a Spreadsheet in Python (pyspread.gitlab.io)
		6 points by RebelPotato 66 days ago \| past
8.		The Silent (R)evolution of SAT (acm.org)
		3 points by RebelPotato 3 months ago \| past
9.		Unum (Number Format) (wikipedia.org)
		1 point by RebelPotato 7 months ago \| past
10.		Show HN: Dok.py, quick and dirty literate programming / yet another Docco clone (rebelpotato.github.io)
		2 points by RebelPotato 8 months ago \| past
11.		Show HN: Dok.py, quick and dirty literate programming / yet another Docco clone (rebelpotato.github.io)
		2 points by RebelPotato 8 months ago \| past
12.		DumPy: NumPy except it's OK if you're dum (dynomight.net)
		174 points by RebelPotato 9 months ago \| past \| 59 comments