| | Linear Logic: Par, a Friendly Explanation (ryanbrewer.dev) |
|
3 points by hoping1 47 days ago | past | 1 comment
|
|
| | Par Part 3: Par, Continued (ryanbrewer.dev) |
|
2 points by hoping1 51 days ago | past | 1 comment
|
|
| | A Tutorial on Linear Logic (ryanbrewer.dev) |
|
5 points by hoping1 64 days ago | past | 1 comment
|
|
| | Linear Logic – Par Part 2 (ryanbrewer.dev) |
|
2 points by hoping1 76 days ago | past | 5 comments
|
|
| | Sequent Calculus and Notation – Par Part 1 (ryanbrewer.dev) |
|
38 points by hoping1 3 months ago | past | 10 comments
|
|
| | Getting Started with Category Theory (ryanbrewer.dev) |
|
51 points by hoping1 5 months ago | past | 32 comments
|
|
| | Getting Started with Category Theory (ryanbrewer.dev) |
|
1 point by hoping1 9 months ago | past
|
|
| | Advanced Typechecking for Stack-Based Languages (ryanbrewer.dev) |
|
4 points by mooreds 11 months ago | past
|
|
| | The Type of Sprintf (ryanbrewer.dev) |
|
13 points by verdagon 11 months ago | past | 21 comments
|
|
| | The Type of Sprintf (ryanbrewer.dev) |
|
1 point by hoping1 11 months ago | past
|
|
| | Simple Programming Languages (ryanbrewer.dev) |
|
1 point by hoping1 on March 26, 2024 | past | 1 comment
|
|
| | Simple Programming Languages (ryanbrewer.dev) |
|
3 points by thunderbong on March 22, 2024 | past
|
|
| | Advanced Typechecking for Stack-Based Bytecode (ryanbrewer.dev) |
|
1 point by hoping1 on Feb 20, 2024 | past | 1 comment
|
|
| | Advanced Typechecking for Stack-Based Bytecode (ryanbrewer.dev) |
|
1 point by hoping1 on Feb 19, 2024 | past | 1 comment
|
|
| | A Beginner's Guide to Programming Language Academia (ryanbrewer.dev) |
|
3 points by hoping1 on Jan 28, 2024 | past | 1 comment
|
|
| | Safe Manual Memory Management with Coeffects (ryanbrewer.dev) |
|
3 points by hoping1 on Jan 25, 2024 | past | 1 comment
|
|
| | SaberVM (ryanbrewer.dev) |
|
135 points by hoping1 on Jan 23, 2024 | past | 18 comments
|
|
| | Security and crashing with modal logic (ryanbrewer.dev) |
|
17 points by cbarrick on Dec 19, 2023 | past
|
|
