🦞🌯 Lobster Roll

Stories by jtm

The Dusa Programming Language (dusa.rocks)
L 34 pts 8 comments by jtm Jan 23, 2025 plt Programming (General)Programming Languages / CS Theory thread
Untangling mechanized proofs (plv.csail.mit.edu)
L 22 pts 1 comments by jtm Mar 6, 2022 formalmethods Programming Languages / CS Theory thread
CMU 15-819 - Homotopy Type Theory (cs.cmu.edu)
L 18 pts 1 comments by jtm Apr 10, 2020 educationpltvideo Programming Languages / CS Theory thread
Introduction to Operating System Abstractions using Plan 9 [2007] (lsub.org)
L 7 pts 0 comments by jtm May 12, 2020 osdevpdfprogramming Systems / Low-Level / OSProgramming (General) thread