- 1Window Sweaters (github.com)
- 5Show HN: I solved a 12yr math problem using AI (formalized; awaiting review) [pdf] (raw.githubusercontent.com)
- 5Pair programming: still a good idea (revise.io)
- 4Code of Conduct for MAI Models (microsoft.ai)
- 1Mapsnap: Automated Georeferencing for Historic Sanborn Insurance Maps (danvk.org)
- 3Tag index for Org Mode blog (entropicthoughts.com)
- 1Spelling the type of a "self" parameter with Reflection (quuxplusone.github.io)
- 4Small Programming Tricks (will-keleher.com)
- 3Malleable software: Restoring user agency in a world of locked-down apps (inkandswitch.com)
- 3Show HN: deadSPEAKER, inc. – horror comedy puzzle game (run.world)
- 3Testosterone scripts for women rise, along with denials and delays (reuters.com)
- 2From Intern to Software Architect (chauhankiran.blogspot.com)
- 9California attempts to crack down on health spending (axios.com)
- 5China tightens control of overseas travel in new law (ft.com)
- 1From a Whiteboard to Nvidia (sageox.ai)
- 1Vapor 5 Beta (blog.vapor.codes)
- 1Riddlance – A Puzzle Game (riddlance.io)
- 2India ends free ride for larger transactions on UPI (techcrunch.com)
- 3Neuro-Formal Verification: Agentic Language-Agnostic Formal Program Reasoning (arxiv.org)
- 1Rope Splicing (en.wikipedia.org)
- 1Uridium/Fraktion – The Best of the C64 Game, Uridium (uridium.homemade.systems)
- 3Public Schools' Eye of Sauron (educationnext.org)
- 1What made global e-commerce possible (it wasn't encryption) (syntheticauth.ai)
- 1The Siberian Ice Maiden and the Scythian World (patrickwyman.substack.com)
- 43Learning to solve hard problems in RL for LLMs by never giving up (mnoukhov.github.io)
- 2What every kernel programmer should know about Jump Labels (walac.github.io)
- 2Understanding Is the New Bottleneck (geoffreylitt.com)
- 1OGAS- National Automated System for Computation (en.wikipedia.org)
- 1Treemapolis – Your disks, as a city you can fly through (github.com)
- 1NN for Music Recommendations (github.com)