[Dokmelody scratchpad notes]
[Main website]
tech/mps-memory-manager
https://github.com/Ravenbrook/mps
used in production. Manage memory using different approaches.