HN Explorer

hoping1

↗ HN profile [ 72.1 ms ] full profile
Karma
111
Created
December 11, 2023 (2y ago)
Submissions
0
The creator of SaberVM. https://ryanbrewer.dev/posts/announcing-svm.html
  1. Linear Logic: Par, a Friendly Explanation (ryanbrewer.dev)
    3 points 1
  2. Par Part 3: Par, Continued (ryanbrewer.dev)
    2 points 1
  3. A Tutorial on Linear Logic (ryanbrewer.dev)
    5 points 1
  4. Linear Logic – Par Part 2 (ryanbrewer.dev)
    2 points 5
  5. Sequent Calculus and Notation – Par Part 1 (ryanbrewer.dev)
    38 points 10
  6. Getting Started with Category Theory (ryanbrewer.dev)
    3 points 35
  7. 1 points 1
  8. 1 points 1
  9. 1 points 1
  10. 1 points 1
  11. 1 points 1
  12. A Beginner's Guide to Programming Language Academia (ryanbrewer.dev)
    3 points 1
  13. Safe Manual Memory Management with Coeffects (ryanbrewer.dev)
    3 points 1
  14. SaberVM (ryanbrewer.dev)
    135 points 20
  15. 1 points 1