- Combinatory Programming
    - a nice intro to basic patterns and their motivations
    - Smullyan’s To Mock a Mockingbird
    - Essays/Tacit Expressions - J Wiki
- #mac
    - Show HN: A macOS clock that stays visible when coding or binging in fullscreen (on HN)
        - Jean-Tinland/simple-bar: A yabai, AeroSpace or FlashSpace status bar widget for Übersicht
    - AltTab - Windows alt-tab on macOS
        - rcmd - Switch apps instantly using the ⌘ Right Command key
            - very cool idea, start using it now
        - Karabiner-Elements
- Turn any diagram image into an editable Draw.io file. No more redrawing (on HN)
    - Pic2Chart - Convert Diagrams to Editable PowerPoint SVGs

- #lint
    - Detekt – A static code analyzer for Kotlin (on HN)
    - gardner/LocalLanguageTool: Self-hosted LanguageTool private instance is an offline alternative to Grammarly
- #idea
    - Programming Language Escape Hatches

        > Capability is desirable but comes into conflicts with a lot of other desirable properties, like simplicity or efficiency.

        > an escape hatch is a feature that deliberately breaks core assumptions about the language in order to add capabilities.

    - Why I do programming (on HN)

        > For me, programming has always been more than a skill. It’s a way to explore, to tinker, and to satisfy curiosity.

    - The ultimate meeting culture (on HN) (on lobste.rs)

        > The goal of an exceptional meeting culture is to allow for people to constructively decline meetings by fully understanding the consequences of their action.

- #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)
    - Kitten TTS: 25MB CPU-Only, Open-Source Voice Model (on HN)
        - Kitten TTS Nano Demo
            - Piper TTS Web Demo
        - Free Online Text to Speech - Private AI Voice Generator | QuickEditVideo
        - SAM: Software Automatic Mouth