Notes

Notes, short articles, and reading lists.

Nov 5, 2026 Reading List: Concurrent Data Structures and Memory ReclamationA reading list of concurrent data structures and safe memory reclamation schemes.
Nov 5, 2026 Sample noteA sample note showing how text, math, and Rocq code look on this site.