Learning diary › Year 2025 › June, 2025 › 2025-06-18 [2025-06-18]

✍️source

#agent #benchmark #debugger #docker #news #os #quantum #software #web
- #helix
    - work on helix-cheat-sheet
    - I really like the Helix editor
- Double-Entry Ledgers: The Missing Primitive in Modern Software
    - I would love to see such an primitive in database design, but I also doubt that if it could be helpful for realworld applications
- #agent
    - Building Effective AI Agents
        - supposedly the best practice
        - see also From LLM to AI Agent: What's the Real Journey Behind AI System Development?
    - LLMs pose an interesting problem for DSL designers
        - "LLMs pose an interesting problem for the DSL designers – the opportunity cost for using niche languages is now substantially increasing, and so we, as language designers, will be held to a higher standard to justify the use of our DSLs"
        - I think DSLs would clarify the intent in the domain, and reduce noise in code
        - even embed DSLs in general programming language would be better than just plain code
        - there should be a recipe for LLMs to quickly grasp the mindset of a DSL, instead of giving up on DSLs
    - LLM Agents Are Breaking Your Platform, Not Your Architecture
        - control the size of the mass introduced by agents
    - Is there a Half-Life for the Success Rates of AI Agents? (on HN) (on lobste.rs)
    - Libraries are under-used. LLMs make this problem worse
    - Building agents using streaming SQL queries
        - an interesting yet too traditional experiment
    - Bots are overwhelming websites with their hunger for AI data
    - Show HN: Trieve CLI – Terminal-based LLM agent loop with search tool for PDFs
    - GitHub CEO: manual coding remains key despite AI boom
- #wayland
    - Long live Xorg, I mean Xlibre
    - It's true, “we” don't care about accessibility on Linux (on HN) (on lobste.rs)
    - Wayland Is Growing Up. and Now We Don't Have a Choice (on HN) (on lobste.rs)
    - Cosmoe: BeOS Class Library on top of Wayland
    - The X Window System didn't immediately have X terminals
    - Two weeks of wayback
    - Please don't promote Wayland
    - Wayback 0.1 released
    - I want to defend Wayland here and explain a crucial piece that I think people are missing
- #robot
    - Real-time action chunking with large models
    - Swarm robotics could spell the end of the assembly line
    - Robot metabolism: Toward machines that can grow by consuming other machines (on HN)
- #editor
    - Using Microsoft's New CLI Text Editor on Ubuntu
    - Publishing a Docker Container for MS Edit to the GitHub Container Registry
    - The Zed Debugger Is Here (on HN) (on lobste.rs)
    - Pragtical - The practical and pragmatic code editor
        - built on SDL, C and Lua, low footprint
        - forked from lite XL (which is forked from lite) to be more practical rather than minimalist
- #sec
    - How keys are used in FileVault and encryption
        - VEK (Volume Encryption Key) never leaves Secure Enclave, destroyed on "Erase All Content and Settings (EACAS)"
        - wrapping: encrypting the VEK using a KEK (Key Encryption Key)
            - user password can be changed without the contents of the protected volume having to be fully decrypted and encrypted again
            - possible to generate multiple KEKs to support the use of recovery keys that can be used to unlock the VEK when the user’s password is lost or forgotten
    - Apple: Prepare your network for quantum-secure encryption in TLS
    - Blink and you'll miss it — a URL handler surprise
    - New Linux Flaws Enable Full Root Access via PAM and Udisks Across Major Distributions
    - Getting ready to issue IP address certificates (on HN) (on lobste.rs)
    - The Journey of Bypassing Ubuntu's Unprivileged Namespace Restriction (on HN)
    - Transmitting data via ultrasound without any special equipment ()
        - not security per se, but could be used to breach
        - uses 18-20kHz (not real ultra sound (~50kHz))
        - use WebAudio
        - on HN and on lobste.rs, people mentioned that IoT use sound to do device paring, not necessarily ultra sound, so users could understand what's going on
    - Vet – A tool for safely running remote shell scripts
        - a flawed and naive safeguard, but a call to change status quo
- found snapDOM
    - from Benchmark: snapDOM vs html2canvas