- Mistral OCR 4.1 (docs.mistral.ai)
- NP-overrated (gruhn.me)
- RISC-V: They should have known better (dmitry.gr)
- Ant teams beat gravity-based puzzle solvers (phys.org)
- How Gödel's Proof Works (2020) (www.quantamagazine.org)
- Understanding is the new bottleneck (www.geoffreylitt.com)
- Talking with Synopsys about the Physics of Chip Design at DAC 2026 (chipsandcheese.com)
- AI At Home Part 1: A Box Of Scraps (jdagostino.github.io)
- Heart aerospace completes first flight of largest electric aircraft (www.heartaerospace.com)
- Gloomberb (gloom.sh)
- Choose Boring Technology (2015) (mcfunley.com)
- DeepSeek V4 Pro 0813 (openrouter.ai)
- DeepSeek API Pricing Update (api-docs.deepseek.com)
- Being Against LLMs Is Against the Spirit of Floss (joarvarndt.se)
- Tracking down the 16-year-old WAL-reset SQLite bug (tailscale.com)
- Donkey.bas is 45 Years Old – 131 line of Glory (donkeybas.com)
- Finite State Machines in Forth (1994) (www.forth.org)
- Bluesky Protocol Services (atproto.com)
- Unsloth Qwen3.8-27B GGUF files (huggingface.co)
- Codex in ChatGPT desktop app for Linux is now in preview (community.openai.com)
- Better Gaussian Splatting in Julia (pxl-th.github.io)
- Who's Tracking You? Use This New Service to Find Out (krebsonsecurity.com)
- Show HN: Banquish – Take other websites apart and build your own (banquish.space)
- Tron (Hacker) (en.wikipedia.org)