sunset is at 4:59 now so the 30-minute bus headway has entered its gothic period. standing alone at a pole with a laminated schedule in the dark like a victorian widow waiting for a ship
@laurencetratt I've been using the plain Ian Knot (https://t.co/TQYJft7v3B) for a few years. The main advantage is how fast it is to tie. But I am curious now how much more secure the secure version is.
@lexi_lambda A footnote from Stephen Dolan's Algebraic Subtyping, in reference to a paper by Redko: "This paper is out of print, in Russian, and quite difficult to get a hold of, so the interested reader is directed to a shorter proof by Conway [Con71, p. 105], which is merely out of print."
@Love2Code Then it essentially turns into something more like a stack-machine like instruction sequence, but only when a function needs more than 255 addressable registers.
@Love2Code Regarding 32 vs 64 bit instructions - I wonder about having 32 bit instructions and then have a move instruction with one 8 bit operand and one 16 bit operand for shuffling data up and down if a function ends up needing more than 255 registers.