user: isaac21259
554 karma | created 7 years ago
recent submissions
Data Types with Negation
(bentnib.org)
8 pts|3 years ago|1 comment
Teaching GHC to Play Minesweeper
(github.com)
1 pts|3 years ago|discuss
2 pts|3 years ago|discuss
1 pts|3 years ago|discuss
3 years ago|discuss
3 years ago|discuss
3 years ago|discuss
3 years ago|discuss
3 years ago|discuss
Profunctor Optics: The Categorical View
(golem.ph.utexas.edu)
1 pts|3 years ago|discuss
How to lie using visual proofs
(youtube.com)
4 pts|3 years ago|discuss
Löb and möb: strange loops in Haskell
(github.com)
4 pts|3 years ago|discuss
Löb's Theorem
(ncatlab.org)
2 pts|3 years ago|discuss
Can one explain schemes to biologists
(dam.brown.edu)
1 pts|3 years ago|discuss
3 years ago|discuss
(call/cc call/cc) and friends
(pavpanchekha.com)
15 pts|3 years ago|1 comment
Swift type checking is undecidable
(forums.swift.org)
3 pts|3 years ago|discuss
Surprises in Logic
(math.ucr.edu)
51 pts|3 years ago|5 comments
Base 2048
(github.com)
96 pts|3 years ago|39 comments
3 years ago|discuss