b'
In this episode, I start a new chapter (we are up to Chapter 16, here), about verifying safe manual management of memory.\\xa0 I have personally gotten pretty interested in this topic, having seen through some simple experiments with Haskell how much time can go into garbage collection for seemingly simple benchmarks.\\xa0 I also talk about why verifying memory-usage properties of programs is challenging in proof assistants.
'