- 690Kimi K3 Is Competitive with Fable; Kimi K3 and Fable Is SoTA (fireworks.ai)
- 55Introduction to Formal Verification with Lean Part 1 (hashcloak.com)
- 111Intel Starts Shipping High-NA EUV Silicon (morethanmoore.substack.com)
- 34Codeberg: ToU extension to prohibit LLM-extrusions (codeberg.org)
- 826Advertise in ChatGPT (ads.openai.com)
- 595FreeInk: Open ecosystem for e-readers (freeink.org)
- 704Gemini 3.6 Flash, 3.5 Flash-Lite, and 3.5 Flash Cyber (blog.google)
- 273A digestion of the Jacobian conjecture counterexample (terrytao.wordpress.com)
- 155Ten Steps Towards Happiness (2015) (hintjens.com)
- 357Long presumed dead, a thriving coral reef is discovered in West Africa (e360.yale.edu)
- 329Jack Dorsey launches Buzz to combine team chat, AI agents and Git hosting (runtimewire.com)
- 426Apple defeats liability for not scanning iCloud for CSAM (blog.ericgoldman.org)
- 56Show HN: A new kind of FPS aim trainer (openaim.pramit.gg)
- 3Overload and insight look identical from the outside (pilgrima.ge)
- 122It's a shame what's happened to radio (blog.jimgrey.net)
- 37ScreenWall – Turn old phones into synced widgets for your space (screenwall.app)
- 336Laguna S 2.1 (poolside.ai)
- 269Map of the world's great castles and fortresses (thecastlemap.com)
- 172Show HN: Justif – Knuth-Plass justification and microtypography for the web (justif.lyall.co)
- 250My USB Drive Has a Hidden Encrypted Vault (rootkitlabs.com)
- 34Never Enough (dark.ronacher.eu)