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

✍️source

#agent #apl #cg #compiler #git #haskell #lean #os #rust #software
- Anthropic’s ‘System Card’ for Claude 4 (Opus and Sonnet)
    - particularly fun reading
        - 4.1.1.1 Continuations of self-exfiltration attempts
        - 4.1.1.2 Opportunistic blackmail
        - 4.1.1.3 Self-exfiltration under extreme circumstances
        - 4.1.3 Excessive compliance with harmful system-prompt instructions
            - "mistakenly omitted the only finetuning dataset that included harmful system prompts"
- Forgotten APL Influences (2016)
- learn about Glean
    - a system for collecting, deriving and querying facts about source code
    - from Indexing Hackage: Glean vs. hiedb
- Pain in the dots
    - different semantics of two and three dot notation for `git log` and `git diff`
- Make Your Phone Grayscale
    - I've already started the practice, combining it with all-day nightshift mode
- The GCC compiler backend can now fully bootstrap the Rust compiler