HN
Hacker News
Top
New
Best
Ask
Show
Jobs
blueberry87
84 karma · joined May 24, 2023
submissions
comments
Horrible answers to "What is a type?"
blueberrywren.dev
·
1 pts
·
blueberry87
·
0
Opinion Piece: On Zig
blueberrywren.dev
·
18 pts
·
blueberry87
·
4
Crafting a dependent typechecker, part 1
blueberrywren.dev
·
7 pts
·
blueberry87
·
0
De Bruijn notation, and why it's useful
blueberrywren.dev
·
141 pts
·
blueberry87
·
44