July 2026 Archive
2911.
Making Xen's dom0 I/O path NUMA aware
(edera.dev)
2912.
Classic WTF: Server Room Fans and More Fun
(thedailywtf.com)
2913.
AMD and Cerebras Launch AI Inference Solution
(cerebras.ai)
2914.
Scientific computing in the age of agentic AI
(openai.com)
2915.
2916.
Cro – elegant reactive services in Raku
(cro.raku.org)
2917.
As Amazon lets Mechanical Turk fade, Mercor hits a $2B gross run rate
(runtimewire.com)
2918.
Let AI Burn
(wheresyoured.at)
2919.
An introduction to formal proof verification and the Curry-Howard Correspondence
(max-amb.github.io)
2920.
Vacuum at the Page Level
(boringsql.com)
2921.
Show HN: Simulator for a custom 8-bit discreet logic computer
(msap2.mehran.dk)
2922.
Marco Rubio launches campaign to dismantle international criminal court
(theguardian.com)
2923.
Building watchable digital twins of 64 World Cup games
(rogerdickey.com)
2924.
Mag Computer: A Mag History of RAM (1960–2025)
(magworld.pw)
2925.
Being Linux Torvalds
(antirez.com)
2926.
The American suburbs are better than you think
(noahpinion.blog)
2927.
Show HN: Web App Uses RTL-SDR to Align HDTV Antenna
(tunerscope.com)
2928.
Making Referential Stability a Type
(jovidecroock.com)
2929.
The Proof Machine (2016)
(incredible.pm)
2930.
UIUC AI Teaching Assistant
(github.com)
2931.
Make an Origami Circuit Board
(spectrum.ieee.org)
2933.
The IRS Is Imploding
(motherjones.com)
2934.
'Weird Al' Yankovic Pulled Out of AI Ad
(variety.com)
2935.
2936.
Qwen 3.8 Max
(qwen.ai)
2937.
2938.
2939.
Could a Neuroscientist Understand a Microprocessor?(2017)
(journals.plos.org)
2940.
Finding Bugs in Raft Implementations
(antithesis.com)