Skip to content
Better HN
Top
New
Best
Ask
Show
Jobs
Search
⌘K
hoping1
111 karma
Joined December 11, 2023
52 submissions
The creator of SaberVM. https://ryanbrewer.dev/posts/announcing-svm.html
hoping1 | Better HN
Recent submissions
1
Linear Logic: Par, a Friendly Explanation
(opens in new tab)
(ryanbrewer.dev)
3
hoping1
1y ago
1
2
Par Part 3: Par, Continued
(opens in new tab)
(ryanbrewer.dev)
2
hoping1
1y ago
1
3
A Tutorial on Linear Logic
(opens in new tab)
(ryanbrewer.dev)
5
hoping1
1y ago
1
4
Linear Logic – Par Part 2
(opens in new tab)
(ryanbrewer.dev)
2
hoping1
1y ago
5
5
Sequent Calculus and Notation – Par Part 1
(opens in new tab)
(ryanbrewer.dev)
38
hoping1
1y ago
10
6
Getting Started with Category Theory
(opens in new tab)
(ryanbrewer.dev)
51
hoping1
1y ago
32
7
Getting Started with Category Theory
(opens in new tab)
(ryanbrewer.dev)
1
hoping1
1y ago
0
8
The Type of Sprintf
(opens in new tab)
(ryanbrewer.dev)
1
hoping1
1y ago
0