isaac21259

Recent Submissions

1. 1. ▲ Data Types with Negation (bentnib.org) 8 points · 2 years ago · 1 comment
2. 2. ▲ Teaching GHC to Play Minesweeper (github.com) 1 point · 3 years ago · 0 comments
3. 3. ▲ Switching to the meow modal editing system (esrh.me) 2 points · 3 years ago · 0 comments
4. 4. ▲ Profunctor Optics: The Categorical View (golem.ph.utexas.edu) 1 point · 3 years ago · 0 comments
5. 5. ▲ How to lie using visual proofs (youtube.com) 4 points · 3 years ago · 0 comments
6. 6. ▲ Löb and möb: strange loops in Haskell (github.com) 4 points · 3 years ago · 0 comments
7. 7. ▲ Löb's Theorem (ncatlab.org) 2 points · 3 years ago · 0 comments
8. 8. ▲ Can one explain schemes to biologists (dam.brown.edu) 1 point · 3 years ago · 0 comments
9. 9. ▲ (call/cc call/cc) and friends (pavpanchekha.com) 15 points · 3 years ago · 1 comment
10. 10. ▲ Swift type checking is undecidable (forums.swift.org) 3 points · 3 years ago · 0 comments