| Name | Brief | Tags | blog | timeline | |
|---|---|---|---|---|---|
| 2022/07/25 | Treadmill | _Treadmill_ is a "real-time" in-place garbage collection algorithm (PDF, Postscr ... | programming | + | + |
| 2022/08/22 | 3-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/25 | Long [story of] division. | The following text can be viewed as extremely dry and intimidating, or, equally, ... | math programming | + | + |
| 2025/04/16 | What 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 | + | + |