2026-W08 › 🔗 › 2026-02-20 [2026-02-20]
✍️source

  • February 16, 2026
 
- #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