2025-W13 › 🔗 › 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