Skip to content

Top New Best Ask Show Jobs

blueberry87 | Better HN

blueberry87

84 karmaJoined May 24, 202317 submissions

Recent submissions

1

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

(blueberrywren.dev)

1blueberry875mo ago0

2

Opinion Piece: On Zig (opens in new tab)

(blueberrywren.dev)

18blueberry876mo ago4

3

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

(blueberrywren.dev)

7blueberry879mo ago0

4

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

(blueberrywren.dev)

141blueberry8711mo ago44