返回个人资料

isaac21259 的提交内容

1

Data Types with Negation

8 点作者 isaac21259超过 2 年前

2

Teaching GHC to Play Minesweeper

1 点作者 isaac21259超过 2 年前

3

Switching to the meow modal editing system

2 点作者 isaac21259超过 2 年前

4

Profunctor Optics: The Categorical View

1 点作者 isaac21259将近 3 年前

5

How to lie using visual proofs

4 点作者 isaac21259将近 3 年前

6

Löb and möb: strange loops in Haskell

4 点作者 isaac21259将近 3 年前

7

Löb's Theorem

2 点作者 isaac21259将近 3 年前

8

Can one explain schemes to biologists

1 点作者 isaac21259将近 3 年前

9

(call/cc call/cc) and friends

15 点作者 isaac21259将近 3 年前

10

Swift type checking is undecidable

3 点作者 isaac21259大约 3 年前

11

Surprises in Logic

51 点作者 isaac21259大约 3 年前

12

Base 2048

96 点作者 isaac21259大约 3 年前

13

Renormalizing the Mandelbrot Escape

2 点作者 isaac21259大约 3 年前

14

The Tardis Monad

45 点作者 isaac21259大约 3 年前

15

Hexagonal Grids

48 点作者 isaac21259大约 3 年前

16

The Email Servers and Superseeker

5 点作者 isaac21259大约 3 年前

17

I gave a worksheet that was “critique these bad 'disproofs' on Hacker News”

6 点作者 isaac21259大约 3 年前

← 上一页