2025-W10 [2025-W10]
✍️source

March 3, 2025

🔗 [2025-W10-links]

March 3, 2025

2025-03-07 [2025-03-07]

March 3, 2025

#rust #zig
- found some readings for Rust and Zig, see native-land commits

Context

Learning diary › Year 2025 › March, 2025 [2025-03]

2025-W13 [2025-W13]

March 24, 2025

Work on exporting Discord chat and feeding them to RAG; the result is not quite ideal.

Learn more about Elixir, including the Axon and Numerical Elixir ecosystem.

Wrote Fragmented learning, no more.

🔗 [2025-W13-links]

March 24, 2025

2025-03-30 [2025-03-30]

March 24, 2025

#agent #idea
- work on exporting Discord chat and feeding them to RAG, the result is not quite ideal
- try DeepSeek-v3-0324, but still not as good as Claude 3.5 for my use cases
- re-evaluate marimo as an alternative to testing with Jupyter notebooks
    - but it doesn' store outputs, and the candidate testing solution is not elegant

2025-03-28 [2025-03-28]

March 24, 2025

#os #rust #✍️
- found
    - Learning theory from first principles[bach2024learning]
    - Winding numbers on discrete surfaces[feng2023winding], and read the blog post
    - Simulating time with square-root space[williams2025simulating]
- found Xee: A Modern XPath and XSLT Engine in Rust which could be used to process Forester XMLs in the future
- found The Mean-ing of Loss Functions
- wrote Fragmented learning, no more

2025-03-27 [2025-03-27]

March 24, 2025

#elixir #news #os #rust #zig
- learn more about Elixir
    - Running ML models in Elixir using Pythonx
    - Embedded Zig with Elixir, Mandelbrot set
    - Rustler Precompilation guide
    - learn about axon and the Numerical Elixir (Nx) ecosystem
- Why MCP Won

2025-03-24 [2025-03-24]

March 24, 2025

#os
- slowly picking up open-source work, after fragmented learning due to the DeepSeek hype
- found PeanoScript, TypeScript but a theorem prover
- attention is logarithmic, actually
- The willing kingdon clifford algebra library[roelfs2025willing], the Kingdon paper

2025-W12 [2025-W12]

March 17, 2025

🔗 [2025-W12-links]

March 17, 2025

2025-03-18 [2025-03-18]

March 17, 2025

#ocaml #os #racket #tui
- found Rhombus, a Racket without parenthesis
- Writing a SIGGRAPH paper (for fun) (2020)
- The 70% problem: Hard truths about AI-assisted coding
- learn about owi: Cross-language Bugfinder
- found Reinforcement learning: An overview[murphy2024reinforcement], some ML books by the same author are on Github
- found Intuitive topology[prasolov1995intuitive]

2025-W11 [2025-W11]

March 10, 2025

Learn about Minimal algorithms for lipschitz monoids and vahlen monoids[helmstetter2013minimal], a paper about determining whether a multivector is a versor, as versors are invertible lipschitzian elements, related to galgebra issue 533.

🔗 [2025-W11-links]

March 10, 2025

2025-03-13 [2025-03-13]

March 10, 2025

- learn about Minimal algorithms for lipschitz monoids and vahlen monoids[helmstetter2013minimal], a paper about determining whether a multivector is a versor, as versors are invertible lipschitzian elements, related to galgebra#533

2025-03-11 [2025-03-11]

March 10, 2025

#agent #category #lean #os #proof #quantum #sec
- found
    - Math
        - Category Theory Illustrated
        - Introduction to gauge theory[haydys2024introduction]
        - A gentle introduction to categorical logic and type theory[schmid2025gentle]
        - A lean and mean introduction to modern general relativity[hayman2024lean]
        - Knot theory[fushida2020knot]
        - Introduction to Representation Theory[etingof2024introduction]
        - A first course in topos quantum theory[flori2013first]
        - PLP - An Introduction to Mathematical Proof [source]
    - ML
        - Demystifying Diffusion Models
        - Deepseek-r1: Incentivizing reasoning capability in llms via reinforcement learning[guo2025deepseek]
        - Camel: Communicative agents for" mind" exploration of large language model society[li2023camel] for Owl

2025-W10 [2025-W10]
✍️source

March 3, 2025

🔗 [2025-W10-links]

March 3, 2025

2025-03-07 [2025-03-07]

March 3, 2025

#rust #zig
- found some readings for Rust and Zig, see native-land commits