Notes concerning “Real time”

• Relayout with heaps 02021-01-10 (updated 02021-01-15) (6 minutes)
• Garbage-collected allocation performance on current computers 02021-03-13 (updated 02021-04-08) (4 minutes)
• Running scripts once per frame for guaranteed GUI responsivity 02021-03-23 (updated 02021-10-12) (7 minutes)
• Notes on what would be needed to drive a PS/2 keyboard from an Arduino 02021-06-20 (updated 02021-12-30) (12 minutes)
• Rator-port GUIs 02021-06-29 (updated 02021-12-30) (26 minutes)
• Ropes with constant-time concatenation and equality comparisons with monoidal hash consing 02021-07-27 (15 minutes)
• Lazy heapsort 02021-08-22 (updated 02021-09-11) (6 minutes)