- 635Kimi K3 Is Competitive with Fable; Kimi K3 and Fable Is SoTA (fireworks.ai)
- 74Intel Starts Shipping High-NA EUV Silicon (morethanmoore.substack.com)
- 16Introduction to Formal Verification with Lean Part 1 (hashcloak.com)
- 776Advertise in ChatGPT (ads.openai.com)
- 566FreeInk: Open ecosystem for e-readers (freeink.org)
- 82Show HN: ReadKinetic – a free, local-first speed reader for your own books (readkinetic.com)
- 691Gemini 3.6 Flash, 3.5 Flash-Lite, and 3.5 Flash Cyber (blog.google)
- 263A digestion of the Jacobian conjecture counterexample (terrytao.wordpress.com)
- 49Show HN: A new kind of FPS aim trainer (openaim.pramit.gg)
- 5Codeberg: ToU extension to prohibit LLM-extrusions (codeberg.org)
- 136Ten Steps Towards Happiness (2015) (hintjens.com)
- 350Long presumed dead, a thriving coral reef is discovered in West Africa (e360.yale.edu)
- 321Jack Dorsey launches Buzz to combine team chat, AI agents and Git hosting (runtimewire.com)
- 417Apple defeats liability for not scanning iCloud for CSAM (blog.ericgoldman.org)
- 8Atomically Thin Materials Significantly Shrink Qubits (spectrum.ieee.org)
- 113It's a shame what's happened to radio (blog.jimgrey.net)
- 279LG to ban residential proxies from smart TV apps (krebsonsecurity.com)
- 25ScreenWall – Turn old phones into synced widgets for your space (screenwall.app)
- 259Map of the world's great castles and fortresses (thecastlemap.com)
- 321Laguna S 2.1 (poolside.ai)
- 160Show HN: Justif – Knuth-Plass justification and microtypography for the web (justif.lyall.co)
- 237My USB Drive Has a Hidden Encrypted Vault (rootkitlabs.com)
- 191Roblox Officially Supports GrapheneOS (en.help.roblox.com)