Senior Content Engineer at Lingo.dev. Full-time, remote.

The $k$-server conjecture states that a deterministic online algorithm can achieve competitive ratio $k$ on every metric space. We prove the conjecture. Specifically, we show that the work...

A more circular economy is not only important for the environment. It can also strengthen consumer rights and improve societal resilience. In this report, we show how consumer policy can make circular choices easier, safer and more attractive for consumers.

Trains were cancelled or delayed on Tuesday after objects were found on tracks at multiple locations.

Twenty-five years since 9/11, tech and political shifts have increasingly pitted mass surveillance against constitutional rights.

E-ink bird frame for Raspberry Pi - real-time bird detection by audio, fully local AI, rendered as real, hand-cut 1800s bird illustrations. - arnegiacomo/fugleramme

One file, entire app. Share like a document, open like an app.

Mozilla has released Firefox 156. The new version speeds up the PDF viewer and optimizes memory and CPU usage.

Turn words, sketches and references into editable 3D models. Explore Cartesian by Formas for architecture and product design. Join the preview waitlist.

Swift 6.4 is now available. Swift aims to be a great choice across the stack, from apps and servers to systems code, embedded devices, and the browser. This release deepens that support, and makes everyday code easier to write. Highlights include:

I've been a pretty die hard Linux user for the past decade or so, it was a huge
part of my identity. Owning a shitty beaten up thinkpad and budget Android
...

Apple recently announced an upcoming feature for their new Apple Watches called “Audio Intelligence,” which will always be listening to a...

After an OpenAI model hacked it, Hugging Face wants the agents' full execution traces and $100mn of compute. OpenAI has not agreed to either demand.

We gave Strix a domain. In 25 minutes, it found a live token with admin access to Baseten's product, deployment, and CLI repos in a public Docker image.

A small neural network that decides whether a number is Numberwang. - GraafHenk/numberwang

Track the 2026 oil supply crisis with charts of fuel prices, oil reserves, and effects on the economy. Explore how long stored oil could last under three scenarios. Day 199, data as of Sep 15, 2026.

Jean-Pierre Serre is a French mathematician who has made important contributions to algebraic topology, algebraic geometry, and algebraic number theory. He was a member of Bourbaki.