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) (167 minutes)
• Generic programming with proofs, specification, refinement, and specialization 2017-05-10 (6 minutes)
• Approaches to failure-free, bounded-space, and bounded-time programming 2018-04-27 (3 minutes)
• Arduino safety 2018-12-10 (4 minutes)