NameBriefTagsblogtimeline
2022/07/25Treadmill_Treadmill_ is a "real-time" in-place garbage collection algorithm (PDF, Postscr ...programming++
2022/08/223-lisp: an infinite tower of meta-circular interpreters. Source *Précis* 3-LISP is a dialect of LISP designed and implemented by Brian C ...programming++
2025/02/25Long [story of] division.The following text can be viewed as extremely dry and intimidating, or, equally, ...math   programming++
2025/04/16What is cosh(List(Bool))? Or beyond algebra: analysis of data types.There is that curious idea that you can think of a type in a programming languag ...math   programming++