HN
Hacker News
Top
New
Best
Ask
Show
Jobs
hoping1
111 karma · joined December 11, 2023
The creator of SaberVM. https://ryanbrewer.dev/posts/announcing-svm.html
submissions
comments
Linear Logic: Par, a Friendly Explanation
ryanbrewer.dev
·
3 pts
·
hoping1
·
1
Par Part 3: Par, Continued
ryanbrewer.dev
·
2 pts
·
hoping1
·
1
A Tutorial on Linear Logic
ryanbrewer.dev
·
5 pts
·
hoping1
·
1
Linear Logic – Par Part 2
ryanbrewer.dev
·
2 pts
·
hoping1
·
5
Sequent Calculus and Notation – Par Part 1
ryanbrewer.dev
·
38 pts
·
hoping1
·
10
Getting Started with Category Theory
ryanbrewer.dev
·
51 pts
·
hoping1
·
32
Getting Started with Category Theory
ryanbrewer.dev
·
1 pts
·
hoping1
·
0
The Type of Sprintf
ryanbrewer.dev
·
1 pts
·
hoping1
·
0
Simple Programming Languages
ryanbrewer.dev
·
1 pts
·
hoping1
·
1
Advanced Typechecking for Stack-Based Bytecode
ryanbrewer.dev
·
1 pts
·
hoping1
·
1
Advanced Typechecking for Stack-Based Bytecode
ryanbrewer.dev
·
1 pts
·
hoping1
·
1
A Beginner's Guide to Programming Language Academia
ryanbrewer.dev
·
3 pts
·
hoping1
·
1
Safe Manual Memory Management with Coeffects
ryanbrewer.dev
·
3 pts
·
hoping1
·
1
SaberVM
ryanbrewer.dev
·
135 pts
·
hoping1
·
18