Skip to content
Better HN
Top
New
Best
Ask
Show
Jobs
Search
⌘K
isaac21259
554 karma
Joined October 16, 2018
83 submissions
isaacbankier [at] protonmail [dot] com
isaac21259 | Better HN
Recent submissions
1
Data Types with Negation
(opens in new tab)
(bentnib.org)
8
isaac21259
3y ago
1
2
Teaching GHC to Play Minesweeper
(opens in new tab)
(github.com)
1
isaac21259
3y ago
0
3
Switching to the meow modal editing system
(opens in new tab)
(esrh.me)
2
isaac21259
3y ago
0
4
Profunctor Optics: The Categorical View
(opens in new tab)
(golem.ph.utexas.edu)
1
isaac21259
3y ago
0
5
How to lie using visual proofs
(opens in new tab)
(youtube.com)
4
isaac21259
3y ago
0
6
Löb and möb: strange loops in Haskell
(opens in new tab)
(github.com)
4
isaac21259
3y ago
0
7
Löb's Theorem
(opens in new tab)
(ncatlab.org)
2
isaac21259
3y ago
0
8
Can one explain schemes to biologists
(opens in new tab)
(dam.brown.edu)
1
isaac21259
3y ago
0
9
(call/cc call/cc) and friends
(opens in new tab)
(pavpanchekha.com)
15
isaac21259
3y ago
1
10
Swift type checking is undecidable
(opens in new tab)
(forums.swift.org)
3
isaac21259
3y ago
0
11
Surprises in Logic
(opens in new tab)
(math.ucr.edu)
51
isaac21259
3y ago
5
12
Base 2048
(opens in new tab)
(github.com)
96
isaac21259
3y ago
39
13
Renormalizing the Mandelbrot Escape
(opens in new tab)
(linas.org)
2
isaac21259
3y ago
0
14
The Tardis Monad
(opens in new tab)
(hackage.haskell.org)
45
isaac21259
3y ago
9
15
Hexagonal Grids
(opens in new tab)
(redblobgames.com)
48
isaac21259
4y ago
0
