Reading notes and occasional writings.
Reading Note: The Signature Method in Machine Learning
A reading note on A Primer on the Signature Method in Machine Learning by Ilya Chevyrev and Andrey Kormilitzin.
Reading Note: Mamba-3 and the State Space Model Renaissance
A reading note on Mamba-3: Improved Sequence Modeling using State Space Principles by Aakash Lahoti, Kevin Y. Li, Berlin Chen, Caitlin Wang, Aviv Bick, J. Zico Kolter, Tri Dao, and Albert Gu (ICLR 2026).
Zero-Cost POSIX Compliance: Encoding the Socket State Machine in Lean 4's Type System
The best runtime check is the one that never runs.
Reading Note: Sequential-Parallel Duality in Prefix Scannable Models
A reading note on Sequential-Parallel Duality in Prefix Scannable Models by Morris Yau, Sharut Gupta, Valerie Engelmayer, Kazuki Irie, Stefanie Jegelka, and Jacob Andreas (ICLR 2026).