Coding agents changed what it costs to build mobile apps twice. Here’s why Shopify is moving from React Native back to Swift and Kotlin.

🚀 Introducing DeepSeek-V4.1-Flash: smarter, faster, more efficient.

🔹 Introducing the smallest model in our new architecture family, with native visual understanding.
🔹 Designed for greater capability, faster inference, higher throughput, and scaling to larger models.

1/6

Writing about the big beautiful mess that is making things for the world wide web.

By now it’s no surprise that Rust is of strategic importance to Microsoft. From bold mission statements when Azure CTO Mark Russinovich outlined our future strategy for native code, to millions of dollars invested by Microsoft into supporting the Rust Project, over the following years. Watch Mark’s keynote from last…

Special relativity simulator in which light crawls along at a human speed, so Lorentz contraction, aberration and Doppler shift happen at walking pace.

I have a little pet theory that software drives people insane.

Not in the "wash your hands every thirty minutes like Howard Hughes" kind of way, but more ...

Mullenweg said in a company Slack message that it was against his will.

Today we’re introducing SWE-2, our most advanced coding model yet. SWE-2 delivers highly competitive agentic coding performance across multiple effort…

Four California buyers sued Sony in 2026, alleging the PlayStation Store's "Buy Now" button does not sell digital games, only licenses them.

9 major streaming services cost $95.91/mo in 2021-03 and $154.41/mo today — up 61%, or $702 a year. Every change sourced.

Rather than simply raising the contrast between colors, the decorrelation method maps the original colors to an expanded range.

It's random, really.

Build durable cloud agents with a managed Codex harness.

A sourced field guide to strange, normal things human bodies do: reflexes, illusions, sounds, tricks and rare abilities. Every entry says how common it is.

Hitachi has introduced its Y-series EcoCute CO2 heat pump water heaters in Japan, with 370-liter and 460-liter models set to launch from November 2026. The upgraded range adds expanded support for daytime electricity tariffs and PV-linked energy management, alongside a five-year manufacturer warranty.

BREAKING: OpenAI might have stolen another major proof.

In a detailed Mastodon post, which I report in full in the comments, Andreas Thom presents several pieces of evidence suggesting that OpenAI may have trained Astra on conversations in which he and Gábor Kun were working on Gromov’s soficity …

Neki, sharded Postgres by PlanetScale, is now available in platform preview.

Stronger, smaller, and easier to run, thanks to an upgraded network architecture, universal binaries, and more!

another researcher accuses OpenAI of training on conversations and then claiming a breakthrough

In this Presidential Lecture, cognitive scientist Douglas Hofstadter examines the role and contributions of analogy in cognition, using a variety of analogie...

Case studies from threat actors disrupted between December 2025 and August 2026 across seven areas of harm, from cyber operations to biological misuse.

Anthropologist Roberto González (Professor, San José State University) examines how America’s military-industrial complex has been rapidly expanding from the Capital Beltway to Silicon Valley. Although much of the Pentagon’s budget is spent on conventional weapons systems, the Defense Department has increasingly sought to adopt AI-enabled systems. Big tech companies, venture capital, and private equity firms benefit from multi-billion dollar Defense contracts, and smaller defense tech startups that “move fast and break things” also receive increased Defense funding. Dr. González's report illustrates how a growing portion of the Defense Department’s spending is going to large, well-known tech firms, including some of the most highly valued corporations in the world.

When OpenAI released their proof that solutions to the Navier-Stokes equations can blow up in finite time, they also released a formal proof in Lean 4.