Hacker News with Generative AI

OpenAI and Hugging Face address security incident during model evaluation (openai.com)
Kimi K3 Is Competitive with Fable; Kimi K3 and Fable Is SoTA (fireworks.ai)
Intel Starts Shipping High-NA EUV Silicon (morethanmoore.substack.com)
Introduction to Formal Verification with Lean Part 1 (hashcloak.com)
Original Apollo 11 Guidance Computer source code for command and lunar modules (github.com/chrislgarry)
Advertise in ChatGPT (openai.com)
FreeInk: Open ecosystem for e-readers (freeink.org)
Late.sh – a command-line Clubhouse for computer people (late.sh)
Judge approves $1.5B Anthropic settlement for pirated books used to train Claude (apnews.com)
Gemini 3.6 Flash, 3.5 Flash-Lite, and 3.5 Flash Cyber (google)
Codeberg: ToU extension to prohibit LLM-extrusions (codeberg.org)
A digestion of the Jacobian conjecture counterexample (wordpress.com)
Ten Steps Towards Happiness (2015) (hintjens.com)
Atomically Thin Materials Significantly Shrink Qubits (ieee.org)
Show HN: A new kind of FPS aim trainer (pramit.gg)
"Drawing" the Mona Lisa with GPT-5.6, Claude, Gemini, and Grok (tryai.dev)
Long presumed dead, a thriving coral reef is discovered in West Africa (e360.yale.edu)
Jack Dorsey launches Buzz to combine team chat, AI agents and Git hosting (runtimewire.com)
Apple defeats liability for not scanning iCloud for CSAM (ericgoldman.org)
ScreenWall – Turn old phones into synced widgets for your space (screenwall.app)
AMD Ryzen 7 7700X3D Review: 3D V-Cache Gaming Performance for Less – HotHardware (hothardware.com)
It's a shame what's happened to radio (jimgrey.net)
Laguna S 2.1 (poolside.ai)
Map of the world's great castles and fortresses (thecastlemap.com)
Gemini last models: temperature, top_p, and top_k are deprecated and ignored (google.dev)
LG to ban residential proxies from smart TV apps (krebsonsecurity.com)
'VPNs are lawful technical tools,' says EU Court in landmark copyright ruling (techradar.com)
Show HN: Justif – Knuth-Plass justification and microtypography for the web (lyall.co)
My USB Drive Has a Hidden Encrypted Vault (rootkitlabs.com)