Skip to content

Top Best Ask Show New 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)

1blueberry877mo ago0

2

Opinion Piece: On Zig (opens in new tab)

(blueberrywren.dev)

18blueberry878mo ago4

3

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

(blueberrywren.dev)

7blueberry8711mo ago0

4

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

(blueberrywren.dev)

141blueberry871y ago44