Skip to content

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

hoping1

111 karmajoined December 11, 2023On HN

The creator of SaberVM. https://ryanbrewer.dev/posts/announcing-svm.html

Recent submissions

Linear Logic: Par, a Friendly Explanation ryanbrewer.dev
3hoping11y1 comment
Par Part 3: Par, Continued ryanbrewer.dev
2hoping11y1 comment
A Tutorial on Linear Logic ryanbrewer.dev
5hoping11y1 comment
Linear Logic – Par Part 2 ryanbrewer.dev
2hoping11y5 comments
Sequent Calculus and Notation – Par Part 1 ryanbrewer.dev
38hoping11y10 comments
Getting Started with Category Theory ryanbrewer.dev
51hoping11y32 comments
Getting Started with Category Theory ryanbrewer.dev
1hoping12ydiscuss
The Type of Sprintf ryanbrewer.dev
1hoping12ydiscuss
Simple Programming Languages ryanbrewer.dev
1hoping12y1 comment
Advanced Typechecking for Stack-Based Bytecode ryanbrewer.dev
1hoping12y1 comment
Advanced Typechecking for Stack-Based Bytecode ryanbrewer.dev
1hoping12y1 comment
A Beginner's Guide to Programming Language Academia ryanbrewer.dev
3hoping12y1 comment
Safe Manual Memory Management with Coeffects ryanbrewer.dev
3hoping12y1 comment
SaberVM ryanbrewer.dev
135hoping12y18 comments

All submissions and comments on Hacker News.

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.