Skip to content

Top New Best Ask Show Jobs

blueberry87

84 karmaJoined May 24, 202317 submissions

blueberry87 | Better HN

Recent submissions

1

Horrible answers to "What is a type?" (opens in new tab)

(blueberrywren.dev)

1blueberry874mo ago0

2

Opinion Piece: On Zig (opens in new tab)

(blueberrywren.dev)

18blueberry875mo ago4

3

Crafting a dependent typechecker, part 1 (opens in new tab)

(blueberrywren.dev)

7blueberry878mo ago0

4

De Bruijn notation, and why it's useful (opens in new tab)

(blueberrywren.dev)

141blueberry8710mo ago44