isaac21259 on Hacker News

1

Data Types with Negation (opens in new tab)

(bentnib.org)

8isaac212593y ago1

2

Teaching GHC to Play Minesweeper (opens in new tab)

(github.com)GitHub

1isaac212593y ago0

3

Switching to the meow modal editing system (opens in new tab)

(esrh.me)

2isaac212593y ago0

4

Profunctor Optics: The Categorical View (opens in new tab)

(golem.ph.utexas.edu)

1isaac212593y ago0

5

How to lie using visual proofs (opens in new tab)

(youtube.com)Video

4isaac212593y ago0

6

Löb and möb: strange loops in Haskell (opens in new tab)

(github.com)GitHub

4isaac212594y ago0

7

Löb's Theorem (opens in new tab)

(ncatlab.org)

2isaac212594y ago0

8

Can one explain schemes to biologists (opens in new tab)

(dam.brown.edu)

1isaac212594y ago0

9

(call/cc call/cc) and friends (opens in new tab)

(pavpanchekha.com)

15isaac212594y ago1

10

Swift type checking is undecidable (opens in new tab)

(forums.swift.org)

3isaac212594y ago0

11

Surprises in Logic (opens in new tab)

(math.ucr.edu)

51isaac212594y ago5

12

Base 2048 (opens in new tab)

(github.com)GitHub

96isaac212594y ago39

13

Renormalizing the Mandelbrot Escape (opens in new tab)

(linas.org)

2isaac212594y ago0

14

The Tardis Monad (opens in new tab)

(hackage.haskell.org)

45isaac212594y ago9

15

Hexagonal Grids (opens in new tab)

(redblobgames.com)

48isaac212594y ago0

isaac21259

Recent submissions

Data Types with Negation (opens in new tab)

Teaching GHC to Play Minesweeper (opens in new tab)

Switching to the meow modal editing system (opens in new tab)

Profunctor Optics: The Categorical View (opens in new tab)

How to lie using visual proofs (opens in new tab)

Löb and möb: strange loops in Haskell (opens in new tab)

Löb's Theorem (opens in new tab)

Can one explain schemes to biologists (opens in new tab)

(call/cc call/cc) and friends (opens in new tab)

Swift type checking is undecidable (opens in new tab)

Surprises in Logic (opens in new tab)

Base 2048 (opens in new tab)

Renormalizing the Mandelbrot Escape (opens in new tab)

The Tardis Monad (opens in new tab)

Hexagonal Grids (opens in new tab)

Recent submissions

Data Types with Negation (opens in new tab)

Teaching GHC to Play Minesweeper (opens in new tab)

Switching to the meow modal editing system (opens in new tab)

Profunctor Optics: The Categorical View (opens in new tab)

How to lie using visual proofs (opens in new tab)

Löb and möb: strange loops in Haskell (opens in new tab)

Löb's Theorem (opens in new tab)

Can one explain schemes to biologists (opens in new tab)

(call/cc call/cc) and friends (opens in new tab)

Swift type checking is undecidable (opens in new tab)

Surprises in Logic (opens in new tab)

Base 2048 (opens in new tab)

Renormalizing the Mandelbrot Escape (opens in new tab)

The Tardis Monad (opens in new tab)

Hexagonal Grids (opens in new tab)