- 128Why don't people use formal methods? (2019) (hillelwayne.com)
- 22OpenAI serves more than one billion active users (openai.com)
- 130RFC 8890 – The Internet is for End Users (2020) (mnot.net)
- 4"Bettering Myself" by Ottessa Moshfegh (electricliterature.com)
- 47We shall dwell amidst wonder and glory for ever: On weird fiction (clereviewofbooks.com)
- 25A simple clustering algorithm for lists (cassidoo.co)
- 69Simulating TCP loss and congestion in browser using Go/WASM (ccsim.fly.dev)
- 836The coolest use for the Vision Pro (christianselig.com)
- 17Lerd, an open source Herd-like PHP development environment for Linux and macOS (github.com)
- 903Show HN: Open-source engine running Gemma 4 26B in 2 GB RAM on any M-series Mac (github.com)
- 18Write in Markdown, serve it dynamic (en.andros.dev)
- 329Agent Skill to Force Docs in ASD-STE100 Simplified Technical English (github.com)
- 17Hygon Reveals 512-Thread CPU and AI GPU to Rival Intel Xeon and Nvidia (ubergizmo.com)
- 803Read this before you buy that TV streaming stick (krebsonsecurity.com)
- 155Situational Awareness down 67% in July in AI stock rout (wsj.com)
- 189Azulejo (en.wikipedia.org)
- 783Superlogical (superlogical.com)
- 349GCC steering committee announces AI policy (lwn.net)
- 211Logic for Programmers (logicforprogrammers.com)
- 747KOReader (koreader.rocks)
- 15The Chatbot Act Forces One Parenting Model on Every Family (eff.org)
- 6A Safe Path to Open Weights (thinkingmachines.ai)
- 10When Internal Memory Fails: A No-Solder Wii U Recovery (smolnero.com)
- 79The EU is making the Right to Repair the new standard in Europe (ec.social-network.europa.eu)
- 6Show HN: Open source React Native debugging studio (nativescope.dev)
- 123Gpiozero Flow (bennuttall.com)
- 273Steel Bank Common Lisp version 2.6.7 (sbcl.org)
- 97Show HN: I made a game where you build a CPU from logic gates (select.supply)
- 14Show HN: Chronos, 2 terminal games through 50 years of hacking history (chronos-game.com)
- 8Printing floating point numbers in binary (johndcook.com)