NOTE: This site has just upgraded to Forester 5.x and is still having some style and functionality issues, we will fix them ASAP.

Learning diary › Year 2025 › March, 2025 › 2025-03-24 [2025-03-24]
✍️source

     
    #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