July 2026
74 links saved this month.
terrytao.wordpress.com
Terence Tao ports two dozen legacy Java applets to JavaScript with coding agents, and builds new visualisations for relativity and the Gilbreath conjecture.
theregister.com
An NTP server that traveled back in time caused a massive Australian mobile outage - one GPS card sends NTP into the past and Telstra's network follows it there.
blaizzy.github.io
Nativ: run frontier open models locally on your Mac - open models on Apple Silicon, MIT licensed, built on MLX. No account, no cloud.
arstechnica.com
Microsoft's Secure Boot has been broken for most of its existence - Ars investigates a trust chain that spent a decade broken while everyone shipped against it.
jvns.ca
Learning a few things about running SQLite - Julia Evans on SQLite in operation: litestream, locks, backups, the parts the tutorials skip.
xenaproject.wordpress.com
Models have disproved several open conjectures, including the Jacobian conjecture, with the counterexamples checked formally in Lean.
jola.dev
How to stop Claude from saying "load-bearing" - why LLM verbal tics take hold and how to steer them away, a practical TIL.
news.risky.biz
Hacker wipes Romania's land registry database - a national property registry erased, backups included. Your disaster recovery plan is fiction until someone tests it for you.
queue.acm.org
After twenty years, Poul-Henning Kamp wrote his last Bikeshed column. The bikeshed is dead, long live the bikeshed.
tangled.org
Gleam is now on Tangled - an established language moves its git hosting to ATProto. Watch the decentralisation of OSS infrastructure.
slcyber.io
Exploit brokers pay $500k for WordPress RCEs. I found one with GPT5.6 and $25 - the economics of vulnerability discovery just moved. Security vendor blog, research looks genuine.
simonwillison.net
Claude Code uses Bun written in Rust now - the tool that compiles its own runtime. Willison unpacks the stack.
werd.io
Argues that open-weight Chinese models are closing on the proprietary American ones while gaining the wider adoption that follows from being open.
airport.apunen.com
Airport Simulator - an absurdly complete airport in your browser tab. Goodbye, afternoon.
labs.ripe.net
A Farewell to ARPs: IPv4 Service on IPv6-Only Networks - serving IPv4 where there is no IPv4 left, from RIPE.
siepr.stanford.edu
On jobs, Stanford's SIEPR brief went looking for the apocalypse. Since 2022, unemployment rose 0.77 points among the most AI-exposed workers, and 0.85 among the least. Developer postings are still growing faster than the rest of the market. New graduates are the real soft spot. The brief's opening foil is Amodei's forecast of 20 percent unemployment, which makes two appearances for him this week.
imperialviolet.org
We have proof automation now - Adam Langley verifies a zstd implementation in Lean. Formal methods just became something you might actually use.
simonwillison.net
The first known runaway AI agent, or a very bad marketing stunt? - Willison reads the same incident the other way. Take both and make up your own mind.
politico.com
Almost 200 companies, among them Y Combinator and Proton, write to the administration against cutting off access to Chinese open-weight models.
astral.sh
Ruff v0.16.0, 413 default rules up from 59 - the Python linter changes what it means by "default". Check your CI before it checks you.
