Hacker Newsnew | past | comments | ask | show | jobs | submit | blueberry87's submissionslogin
1.
Horrible answers to "What is a type?" (blueberrywren.dev)
1 point by blueberry87 76 days ago | past
2.
Opinion Piece: On Zig (blueberrywren.dev)
18 points by blueberry87 3 months ago | past | 4 comments
3.
Crafting a dependent typechecker, part 1 (blueberrywren.dev)
7 points by blueberry87 6 months ago | past
4.
De Bruijn notation, and why it's useful (blueberrywren.dev)
141 points by blueberry87 8 months ago | past | 44 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: