- 6Kimi K3 is live on kimi code (twitter.com)
- 24French parliament approves landmark assisted-dying bill (reuters.com)
- 153The zero-cost fallacy: open-source software in the agentic era (thoughtworks.com)
- 8Rzk: A Proof Assistant for Synthetic ∞-Categories (arxiv.org)
- 28Surprising lessons from my research scientist job search (yongzx.github.io)
- 3Notes on Structured Programming [pdf] (cs.utexas.edu)
- 148The Economics of Recursive Self-Improvement [pdf] (elasticity.institute)
- 51SPCX is now Wall Street's most shorted new stock (invezz.com)
- 16Odin 2 Portal Exploded (github.com)
- 99World-First 'Super Alloy' Could Transform the Way Metals Are Made (sciencealert.com)
- 281SpaceX stock erases all its gains and slides below IPO price in intraday trading (latimes.com)
- 10Accelerating Block Low-Rank Foundation Model Inference on MemoryConstrained GPUs (dl.acm.org)
- 38Show HN: For 10 World Cups, my model's 2 favorites had the champion every time (papers.ssrn.com)
- 9Most Supreme Court Rulings Are Secretive Votes with Little Justification (propublica.org)
- 243The largest available Minecraft world, totalling 15 TB (2b2t.place)
- 99MorphoHDL: A minimalistic language for growing circuits (paradigms-of-intelligence.github.io)
- 7Reverse-engineering a forgotten 80s arcade game for the Taito SJ System (fippi.io)
- 95Coding agents think ahead of time (arxiv.org)
- 7Ask HN: As LLMs progress, how do you stay sharp and productive?
ask - 108Microsoft Confirms Windows GDID Device Identifier That Cannot Be Disabled (ghacks.net)
- 449The git history command (lalitm.com)
- 103What are Forward Deployed Engineers, and why are they so in demand? (2025) (newsletter.pragmaticengineer.com)
- 73Superoptimizer – A Look at the Smallest Program (1987) [pdf] (dl.acm.org)
- 140Ancient Roman Board Game (ludus-coriovalli.web.app)
- 8Phone maker OnePlus says it won't release new phones in the U.S. and Europe (techcrunch.com)
- 14The AI Backlash Has Tech Executives Fearing for Their Lives (wsj.com)
- 8Kilo Code has been acquired by Anaconda (anaconda.com)
- 106Show HN: I RL-trained an agent that trains models with RL (for ~$1.3k) (github.com)
- 25C3 0.8.2 a Modest Improvement (c3-lang.org)
- 152Just Let Me Write Digits (gendx.dev)