Learning diary › Year 2025 › May, 2025 › 2025-05-04 [2025-05-04]

✍️source

#git #interop #lean #os
- found pyonji, a tool to support sr.ht style e-mail patches
- Git: programmatic staging
    - and learn about `grepdiff`, unfortunately, it's not available on Mac
    - `git add -p` is also acceptable for a small number of hunks
- MathML with Pandoc
- Starting on seamless C++ interop in jank
- found Anemll: Artificial Neural Engine Machine Learning Library