2024-W46 › 🔗 › 2024-11-12 [2024-11-12]
✍️source

November 11, 2024

#citation #lean #os #rust #✍️
- experiments on using aider for LLM assisted project-level pair programming
    - this PR is a most extensive one
- finish citation trace for GAlgebra, see this PR for relevant readings
- found Towards a categorical foundation of deep learning: A survey[riccardo2024towards], Cat for DL
- found Cario, a provable Rust-like language