🦞🌯 Lobster Roll

Thread

I Got Plenty o' Nuttin': linear dependent types [pdf] (personal.cis.strath.ac.uk)
HN 2 pts 0 comments by fanf2 Jun 26, 2025 thread

Stories related to "I Got Plenty o' Nuttin': linear dependent types [pdf]" across the full archive.

I Got Plenty o' Nuttin': linear dependent types [pdf] (personal.cis.strath.ac.uk)
HN 2 pts 0 comments by fanf2 Jun 26, 2025 Programming Languages / CS Theory thread
Integrating Dependent and Linear Types (draft) (cs.bham.ac.uk)
L 4 pts 1 comments by BruceM Jul 10, 2014 compscipdfprogramming Programming (General)Programming Languages / CS Theory thread
Toddler Shoggoth Has Plenty of Raw Material (The Memetic Cocoon Threat Model) (lesswrong.com)
HN 2 pts 1 comments by kp1197 Nov 17, 2025 thread
Deconstructing Dollar Dynamics: A State-Dependent,Non-Linear Integrated Equation (zenodo.org)
HN 1 pts 1 comments by truongthanminh Dec 7, 2025 thread