#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

#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

#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

#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

#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]

- 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

#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

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