- 153
Jean-Pierre Serre turns 100
(mathshistory.st-andrews.ac.uk)
- 229
HarnessTax: How Much Does the Harness Matter for Coding Agents?
(harnesstax.github.io)
- 106
Our framework for reporting model misalignment
(openai.com)
- 129
A graphical desktop for the ZX Spectrum
(github.com)
- 119
Learning to solve hard problems in RL for LLMs by never giving up
(mnoukhov.github.io)
- 167
The Inference Hardware Revolution of 2026
(spectrum.ieee.org)
- 714
iOS 27, iPadOS 27, and macOS 27
(apple.com)
- 25
Khipu (Quipu) Field Guide
(khipufieldguide.com)
- 28
Computer Reset, Dallas
(dfarq.homeip.net)
- 13
Oregon data centers: 111 facilities consume nearly 1/4 of state's power
(opb.org)
- 459
Let's make quality the norm again
(forbrukerradet.no)
- 6
Ten days that changed the course of AI
(reuters.com)
- 526
AWS says it can't restore some data from mideast facilities struck by Iran
(wsj.com)
- 28
I Put Nam A2-Lite Inside an iRig HD X
(playtaurus.com)
- 80
Accurate Models of AMD Matrix Cores
(arxiv.org)
- 280
Salesforce Global Outage
(status.salesforce.com)
- 482
US confirms for first time it has deployed space weapons
(bbc.com)
- 27
Code Scans
(devin.ai)
- 344
Performance Improvements in .NET 11
(devblogs.microsoft.com)
- 279
The engineering behind the US Strategic Petroleum Reserve
(johnjwang.com)
- 157
How do we prevent mathemathics from devolving into the Medieval Era of secrecy?
(mathoverflow.net)
- 48
Show HN: AttaLambda: a language where types and data are made of untyped lambdas
(attalambda.com)
- 491
Why I'm still bearish on LLMs after Navier-Stokes
(dank.systems)
- 41
Don't Make Job Referrals Public
(blog.melashri.net)
- 66
Subnormal floating-point numbers are expensive on Intel processors
(lemire.me)
- 75
A software thing I built: GPS on a 25MHz 486-SX
(forum.vcfed.org)
- 27
Show HN: Craigslist for agent skills, curated by a human
(skillbay.sh)
- 90
Jev Ultrafast: A browser agent with a dynamic, indexed action space
(github.com)
- 379
Show HN: Capsule – Single-file web apps that save their data into SQLite
(withcapsule.app)
- 127
Artificial intelligence now beats some of the best human forecasters
(economist.com)