Notes concerning “Memory models”

• Simple system language 2013-05-17 (7 minutes)
• Constant-space grep 2014-02-24 (3 minutes)
• Embedding objects inside other objects in memory, versus by-reference fields 2014-02-24 (13 minutes)
• Linear trees 2016-05-19 (updated 2016-05-20) (6 minutes)
• Similarities between Golang and Rust 2017-01-11 (updated 2017-01-17) (7 minutes)
• Cartesian product storage 2017-03-20 (3 minutes)
• Parametric polymorphism and columns 2017-07-19 (2 minutes)
• The Z-machine memory model 2017-07-19 (4 minutes)
• Constant space flexible data 2018-04-27 (5 minutes)
• Patterns for failure-free, bounded-space, and bounded-time programming 2018-04-27 (updated 2019-09-10) (42 minutes)
• Constant space lists 2018-12-10 (10 minutes)
• India rubber memory 2019-03-19 (4 minutes)
• A language whose memory model is a bunch of temporally-indexed logs 2019-05-12 (updated 2018-05-21) (20 minutes)