| | Simpler Category Theory (ryanbrewer.dev) |
| 3 points by asplake 4 months ago | past |
|
| | Simple Programming Languages (ryanbrewer.dev) |
| 3 points by akkad33 5 months ago | past |
|
| | Linear Logic: Par, a Friendly Explanation (ryanbrewer.dev) |
| 3 points by hoping1 10 months ago | past | 1 comment |
|
| | Par Part 3: Par, Continued (ryanbrewer.dev) |
| 2 points by hoping1 10 months ago | past | 1 comment |
|
| | A Tutorial on Linear Logic (ryanbrewer.dev) |
| 5 points by hoping1 10 months ago | past | 1 comment |
|
| | Linear Logic – Par Part 2 (ryanbrewer.dev) |
| 2 points by hoping1 11 months ago | past | 5 comments |
|
| | Sequent Calculus and Notation – Par Part 1 (ryanbrewer.dev) |
| 38 points by hoping1 11 months ago | past | 10 comments |
|
| | Getting Started with Category Theory (ryanbrewer.dev) |
| 51 points by hoping1 on Nov 29, 2024 | past | 32 comments |
|
| | Getting Started with Category Theory (ryanbrewer.dev) |
| 1 point by hoping1 on July 30, 2024 | past |
|
| | Advanced Typechecking for Stack-Based Languages (ryanbrewer.dev) |
| 4 points by mooreds on May 15, 2024 | past |
|
| | The Type of Sprintf (ryanbrewer.dev) |
| 13 points by verdagon on May 14, 2024 | past | 21 comments |
|
| | The Type of Sprintf (ryanbrewer.dev) |
| 1 point by hoping1 on May 14, 2024 | 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 |
|