- 39Combinatorial Games in Lean (github.com)
- 5Building a Financial Exchange from first principles (harshiyer.in)
- 5Claude can now use your 1Password credentials for you (theverge.com)
- 544Building and shipping Mac and iOS apps without opening Xcode (scottwillsey.com)
- 67The Second Life of Sanskrit (openthemagazine.com)
- 147Linux on the Sega 32X. Who needs hardware synchronization primitives anyway? (cakehonolulu.github.io)
- 10Manual Work Is a Bug (queue.acm.org)
- 107Is x86 ready to ACE it? (chipsandcheese.com)
- 4The Refusal Residue: When Probes Catch Alignment Faking and When They Don't (arxiv.org)
- 6Show HN: I made ts-node alternative, ttsc/ttsx, a TypeScript-go toolchain (github.com)
- 91No Spanish reading crisis? (commonreader.co.uk)
- 15Treating generic drugs as something special can wreck affordability (46brooklyn.com)
- 153The zero-cost fallacy: open-source software in the agentic era (thoughtworks.com)
- 28Surprising lessons from my research scientist job search (yongzx.github.io)
- 148The Economics of Recursive Self-Improvement [pdf] (elasticity.institute)
- 8Rzk: A Proof Assistant for Synthetic ∞-Categories (arxiv.org)
- 24French parliament approves landmark assisted-dying bill (reuters.com)
- 6GPT-5.6 unexpected file deletions (twitter.com)
- 3Notes on Structured Programming [pdf] (cs.utexas.edu)
- 99World-First 'Super Alloy' Could Transform the Way Metals Are Made (sciencealert.com)
- 6Kimi K3 is live on kimi code (twitter.com)
- 16Odin 2 Portal Exploded (github.com)
- 38Show HN: For 10 World Cups, my model's 2 favorites had the champion every time (papers.ssrn.com)
- 99MorphoHDL: A minimalistic language for growing circuits (paradigms-of-intelligence.github.io)
- 10Accelerating Block Low-Rank Foundation Model Inference on MemoryConstrained GPUs (dl.acm.org)
- 243The largest available Minecraft world, totalling 15 TB (2b2t.place)
- 95Coding agents think ahead of time (arxiv.org)
- 281SpaceX stock erases all its gains and slides below IPO price in intraday trading (latimes.com)
- 449The git history command (lalitm.com)
- 7Reverse-engineering a forgotten 80s arcade game for the Taito SJ System (fippi.io)