- 6Formalizing Mathematics Textbooks at Scale (github.com)
- 285I built a Git-tracked book production pipeline (djspeckhals.com)
- 138What color is your function? (2015) (journal.stuffwithstuff.com)
- 6David Sacks's 11th-Hour Plea Led to Trump's Backtrack on AI Executive Order (wsj.com)
- 40Prolific Wikipedia editors are threatening to go on strike (theverge.com)
- 86What I've Learned (So Far) Building Online Mini Games with Elixir and Swift (calvinflegal.com)
- 110The Ballad of TIGIT (owlposting.com)
- 37How the ZX80 Works (2019) (blog.tynemouthsoftware.co.uk)
- 13Safescript – A Language for AI Era (safescript.cc)
- 41US troops are reportedly being targeted using location data, Pentagon says (militarytimes.com)
- 5What do you get with Meta and Instagram's new $3.99 subscription plan? (mashable.com)
- 28You Should Not Update Your Dependencies (mendral.com)
- 66Theseus: Translating Win32 to WASM (neugierig.org)
- 9LFM2.5-8B-A1B: An Even Better On-Device Mixture-of-Experts (liquid.ai)
- 158IBM Spins Off the First Pure-Play Quantum Chip Foundry (futurumgroup.com)
- 393How Shamir's Secret Sharing Works (ente.com)
- 79Show HN: Posthorn, self-hosted mail gateway (github.com)
- 6New gene delivery vehicle shows promise for human brain gene therapy (broadinstitute.org)
- 67IBM Confidential: System/360 File Organization [video] (youtube.com)
- 27StumbleTV: Chat Roulette but for Exposed Webcams (stumbletv.alectrocute.workers.dev)
- 211Where does next-token prediction leave us? (pop.rdi.sh)
- 19tsz: high performance TypeScript checker, emitter, and language service in Rust (tsz.dev)
- 497Ferrari Luce (ferrari.com)
- 9Local-First and Portable CI (prefix.dev)
- 9Blue Origin New Glenn Rocket Apparently Explodes at Cape Canaveral, Florida (floridatoday.com)
- 143Jensen–Shannon Divergence (en.wikipedia.org)
- 25I am not a black belt (rodolphoarruda.pro.br)
- 3Show HN: Bootstrap a team of coding agents from a template, OSS (github.com)
- 7The EU Is Going Through a Trump-Fueled Breakup with Big Tech (wired.com)
- 4Coding Agents in the Social Sciences (anthropic.com)