Settings

Theme

hoping1

Karma
111
Created
2 years ago

About

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

Recent Submissions

  1. 1. Linear Logic: Par, a Friendly Explanation (ryanbrewer.dev)
  2. 2. Par Part 3: Par, Continued (ryanbrewer.dev)
  3. 3. A Tutorial on Linear Logic (ryanbrewer.dev)
  4. 4. Linear Logic – Par Part 2 (ryanbrewer.dev)
  5. 5. Sequent Calculus and Notation – Par Part 1 (ryanbrewer.dev)
  6. 6. Getting Started with Category Theory (ryanbrewer.dev)
  7. 7. Getting Started with Category Theory (ryanbrewer.dev)
  8. 8. The Type of Sprintf (ryanbrewer.dev)

Keyboard Shortcuts

j
Next item
k
Previous item
o / Enter
Open selected item
?
Show this help
Esc
Close modal / clear selection