Learning diary › Year 2025 › July, 2025 › 2025-07-22 [2025-07-22]

✍️source

- #struct
    - Algorithms for Modern Processor Architectures (on HN) #asm #cpp #perf
    - Hyperpb: 10x faster dynamic Protobuf parsing that's faster than generated code (on HN)
    - PSA: SQLite WAL checksums fail silently and may lose data (on HN) #db
- #formal
    - Formal specs as sets of behaviors (on HN) (on lobste.rs)
    - Asymmetry of verification and verifier’s law
    - A reckless introduction to Hindley-Milner type inference
    - Verified Assembly 2: Memory, RISC-V, Cuts for Invariants, and Ghost Code
- #selfhost/data
    - Blip: Peer-to-Peer Massive File Sharing by Former Dropbox Engineers (on HN)
        - n0-computer/sendme: A tool to send files and directories, based on iroh
            - Iroh
        - schollz/croc: Easily and securely send things from one computer to another :package:
        - PairDrop | Transfer Files Cross-Platform. No Setup, No Signup.
        - Magic-Wormhole: Get Things From One Computer To Another, Safely — Magic-Wormhole 0.20.0+24.g0a212b2 documentation
        - Keet by Holepunch #im
    - Copyparty – Turn almost any device into a file server (on HN) (on lobste.rs)
- #mm
    - Don't bother parsing: Just use images for RAG (on HN)
    - Yt-transcriber – Give a YouTube URL and get a transcription (on HN)
        - `yt-dlp` has such functionality built-in, tricks needed to avoid being banned
    - Phind.design – Image editor & design tool powered by 4o / custom models (on HN)