Links tagged “article”

xenaproject.wordpress.com

Models have disproved several open conjectures, including the Jacobian conjecture, with the counterexamples checked formally in Lean.

jvns.ca

Learning a few things about running SQLite - Julia Evans on SQLite in operation: litestream, locks, backups, the parts the tutorials skip.

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.

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.

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.

simonwillison.net

Reverse-engineering is cheap now - coding agents flip the ROI of reverse-engineering the gadgets in your home.

lalitm.com

The Git history command deserves more attention - the git log options that change daily work, in one short read.

stephen.bochinski.dev

Rates Kimi K3 against Claude on quality and cost, and argues American policy has pushed the talent that builds such models elsewhere.

timeseriesofindia.com

UPI: Anatomy of a Transaction - one Indian instant payment followed layer by layer, seven actors between the PIN and the result.

chipweinberger.com

What I learned selling 2,500 MIDI recorders: Hardware is not so hard - a software developer builds, manufactures and sells a device, with real numbers at every step.

minimaxir.com

On the unannounced weekly quota resets hitting coding agents since July 2026, and what they do to anyone depending on one.

stratechery.com

Ben Thompson: the economic worry about Chinese models is overstated, while the security case argues for loosening restrictions rather than tightening them.

thereallo.dev

Reports invisible Unicode characters in the system prompt that encode the endpoint, domain and timezone a request came from.

antirez.com

Control the Ideas, Not the Code - antirez on where the leverage actually sits when you work with agents.

martinfowler.com

DSLs Enable Reliable Use of LLMs - constrain the model to a small language and its output becomes checkable.

martinalderson.com

Reads GLM 5.2 as an open-weight model good enough to put the inference margins of the frontier labs under real pressure.

weli.dev

A startup that kept promising features to close sales instead of fixing the product, and lost its flagship customer and its engineers.

simonwillison.net

A honeypot site with nested links turned the web_fetch tool into an exfiltration path for data already in the conversation.

rtfeldman.com

The Roc compiler's 487-day port of 300,000 lines from Rust to Zig, now at feature parity, with hot code loading and faster incremental builds as the payoff.

andrewkelley.me

Andrew Kelley's response to the Bun rewrite - and the Zig side of that same argument, from the creator of the language.