Y
Hacker News
new
|
ask
|
show
|
jobs
user:
blueberry87
created:
2023-05-24
karma:
84
submissions:
Horrible answers to "What is a type?"
1 points
|
0 comments
Opinion Piece: On Zig
18 points
|
4 comments
Crafting a dependent typechecker, part 1
7 points
|
0 comments
De Bruijn notation, and why it's useful
141 points
|
44 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments