Skip to content

Top New Best Ask Show Jobs

hoping1

111 karmaJoined December 11, 202352 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)

3hoping11y ago1

2

Par Part 3: Par, Continued (opens in new tab)

(ryanbrewer.dev)

2hoping11y ago1

3

A Tutorial on Linear Logic (opens in new tab)

(ryanbrewer.dev)

5hoping11y ago1

4

Linear Logic – Par Part 2 (opens in new tab)

(ryanbrewer.dev)

2hoping11y ago5

5

Sequent Calculus and Notation – Par Part 1 (opens in new tab)

(ryanbrewer.dev)

38hoping11y ago10

6

Getting Started with Category Theory (opens in new tab)

(ryanbrewer.dev)

51hoping11y ago32

7

Getting Started with Category Theory (opens in new tab)

(ryanbrewer.dev)

1hoping11y ago0

8

The Type of Sprintf (opens in new tab)

(ryanbrewer.dev)

1hoping11y ago0