Articles by RebelPotato
21

Broken Proofs and Broken Provers (lawrencecpaulson.github.io)

1

My Gripes with Prolog (buttondown.com/hillelwayne)

2

Pyspread, a Spreadsheet in Python (pyspread.gitlab.io)

2

The Silent (R)evolution of SAT (acm.org)

1

Unum (Number Format) (wikipedia.org)

1

Show HN: Dok.py, quick and dirty literate programming / yet another Docco clone (rebelpotato.github.io)

1

Show HN: Dok.py, quick and dirty literate programming / yet another Docco clone (rebelpotato.github.io)

54

DumPy: NumPy except it's OK if you're dum (dynomight.net)