Notes concerning “Failure-free computing”

• Constant-space grep 2014-02-24 (3 minutes)
• More thoughts on powerful primitives for simplified computer systems architecture 2015-08-18 (updated 2015-11-02) (165 minutes)
• Linear trees 2016-05-19 (updated 2016-05-20) (6 minutes)
• Statically bounding runtime 2016-07-19 (4 minutes)
• Generic programming with proofs, specification, refinement, and specialization 2017-05-10 (6 minutes)
• The Z-machine memory model 2017-07-19 (4 minutes)
• Real time windowing 2017-08-03 (9 minutes)
• Patterns for failure-free, bounded-space, and bounded-time programming 2018-04-27 (updated 2019-09-10) (42 minutes)
• Arduino safety 2018-12-10 (4 minutes)
• Techniques for, e.g., avoiding indexed-offset addressing on the 8080 2019-07-20 (updated 2019-07-24) (27 minutes)