Y Hacker News new | ask | show | jobs

user: hoping1 created: 2023-12-11 karma: 111 The creator of SaberVM. https://ryanbrewer.dev/posts/announcing-svm.html submissions: 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Linear Logic: Par, a Friendly Explanation 3 points | 1 comments 0 points | 0 comments Par Part 3: Par, Continued 2 points | 1 comments 0 points | 0 comments A Tutorial on Linear Logic 5 points | 1 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Linear Logic – Par Part 2 2 points | 5 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Sequent Calculus and Notation – Par Part 1 38 points | 10 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Getting Started with Category Theory 51 points | 32 comments Getting Started with Category Theory 1 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments The Type of Sprintf 1 points | 0 comments 0 points | 0 comments