Hacker News new | ask | show | jobs
user: isaac21259
created: 2018-10-16
karma: 554

submissions:

Data Types with Negation
8 points | 1 comments
Teaching GHC to Play Minesweeper
1 points | 0 comments
Switching to the meow modal editing system
2 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Profunctor Optics: The Categorical View
1 points | 0 comments
How to lie using visual proofs
4 points | 0 comments
Löb and möb: strange loops in Haskell
4 points | 0 comments
Löb's Theorem
2 points | 0 comments
Can one explain schemes to biologists
1 points | 0 comments
0 points | 0 comments
(call/cc call/cc) and friends
15 points | 1 comments
Swift type checking is undecidable
3 points | 0 comments
Surprises in Logic
51 points | 5 comments
Base 2048
96 points | 39 comments
0 points | 0 comments
Renormalizing the Mandelbrot Escape
2 points | 0 comments
0 points | 0 comments
The Tardis Monad
45 points | 9 comments
0 points | 0 comments
0 points | 0 comments
Hexagonal Grids
48 points | 0 comments
0 points | 0 comments
0 points | 0 comments
The Email Servers and Superseeker
5 points | 1 comments
I gave a worksheet that was “critique these bad 'disproofs' on Hacker News”
6 points | 0 comments