Learning diary › Year 2025 › May, 2025 › 2025-05-31 [2025-05-31]

✍️source

#agent #dspy #lean #os #rust
- found C++ to Rust Phrasebook
- Simpler backoff
- Consider Knitting
- Lean-auto: An Interface between Lean 4 and Automated Theorem Provers
    - found Zipperposition
- found Programming Beyond Practices
- investigate DSPy
    - found Agenspy (Agentic DSPy)
    - found attachments
    - found Code Generation with AlphaCodium: From Prompt Engineering to Flow Engineering (code)
        - S*: Test Time Scaling for Code Generation
        - Advances and Challenges in Foundation Agents: From Brain-Inspired Intelligence to Evolutionary, Collaborative, and Safe Systems