- #agent
    - The Value of Things
    - Modeling Distinct Human Interaction in Web Agents
    - ProofOfConcept
    - A quote from Thariq Shihipar
    - Minions: Stripe’s one-shot, end-to-end coding agents
    - How Taalas "prints" LLM onto a chip?
    - Bitter Lessons in Venture vs Growth: Anthropic vs OpenAI, Noam Shazeer, World Labs, Thinking Machines, Cursor, ASIC Economics — Martin Casado & Sarah Wang of a16z
    - [AINews] Anthropic's Agent Autonomy study
    - The Scientist and the Simulator
    - Claude Sonnet 4.6 One-shotted this surreal Time-Themed website, full prompt + codepen below
    - GLM-5 Technical Report
    - Kitten TTS V0.8 is out: New SOTA Super-tiny TTS Model (Less than 25 MB)
    - Free ASIC Llama 3.1 8B inference at 16,000 tok/s - no, not a joke

- #agent
    - GGML.AI has got acquired by Huggingface
    - Google releases Gemini 3.1 Pro with Benchmarks
    - Post by @joshwoodward on X
- #agent #crdt
    - Context Graphs: Hype or actually Trillion-dollar opportunity?
- #agent #formal #lean
    - MerLean: An Agentic Framework for Autoformalization in Quantum Computation
- #agent #idea #rust
    - The Human Root of Trust
- #agent #lean
    - Claude Sonnet 4.6: clean upgrade of 4.5, mostly better with some caveats
- #agent #sec
    - What Makes a Good LLM Agent for Real-world Penetration Testing?
- #agent #sec #openweb
    - Using threat modeling and prompt injection to audit Comet
- #agent #tui
    - Automatic programming
    - models - A fast CLI and TUI for browsing AI models and coding agents.
- #formal
    - SMTLIB as a Compiler IR I
- #formal #lean
    - Construction-Verification: A Benchmark for Applied Mathematics in Lean 4

- #formal #lean
    - Statistical Learning Theory in Lean 4: Empirical Processes from Scratch
    - Formalizing Gröbner Basis Theory in Lean
    - Pursuit of Truth and Beauty in Lean 4: Formally Verified Theory of Grammars, Optimization, Matroids
- #idea #openweb
    - </> htmx ~ Prefer If Statements To Polymorphism...
- #lean #formal
    - LeanArchitect: Automating Blueprint Generation for Humans and AI
- #lean #py
    - Calling Lean Functions As Python Functions
- #rust
    - One page of async Rust
    - Adventures in Rust borrowing deserialisation
- #rust #agent #jj
    - Interview With Steve Klabnik
- #rust #zig
    - make.ts
    - CI In a Box
    - Programming Aphorisms
    - Justifying text-wrap: pretty

- #rust #zig
    - Diagnostics Factory
    - Wrapping Code Comments
- #tui
    - whosthere - A local area network (LAN) discovery tool with a modern TUI interface.
- #tui #im
    - sparklost/endcord: Feature rich Discord TUI client.
- #untagged
    - A quote from Martin Fowler
    - Typing without having to type
    - LadybirdBrowser/ladybird: Abandon Swift adoption
- #zig
    - zemit
    - sdzx-1/troupe: Multi-role finite state machine
    - Six months of yak shaving a Zig web backend stack
    - - YouTube
- #zig #agent
    - krillclaw/KrillClaw: The world's smallest AI agent runtime. 49KB. Written in Zig. Zero dependencies.
    - nullclaw/nullclaw: Fastest, smallest, and fully autonomous AI assistant infrastructure written in Zig