How I used AI to investigate millions of historical records and surfaced a forgotten meteorite report, three lost rhinos, and unrecorded volcano eruptions.

TypeSafe AI is an AI lab building machine-native intelligence infrastructure for automation, designed to make decisions within software. Try our first System One Model, Jev, in early access.

Trying to be original everywhere keeps you from getting anywhere

Plus: learning by doing, newsbits.

Carrier settings from iPhone, Pixel and Galaxy firmware, decoded and compared: APNs, VoLTE, 5G and Wi-Fi Calling per carrier, and what each build changed.

You can still discover stuff, I promise

Recent concerns about a political donation by a Mullvad co-founder have raised questions about the Tor Project's funding relationship with the company. We are not terminating the relationship but are setting clear boundaries on our relationship with Mullvad.

AI makes intellectual contribution superfluous.

Alternatives to FOSS projects choosing to use and/or support LLMs/AI, as well as tips for requesting better policies or forking.

Our new decision-scoring model delivers top performance in latency and quality on structured decision tasks to outperform both LLMs and other decision models.

It turns out that the gander is not actually super keen on what's good for the goose.

Models are getting better and better, while the agents that drive them languish.

At the height of the Somali piracy crisis, with twenty navies patrolling the coast, a Tokyo restaurant owner flew in with four fishing boats and a promise to…

Internal memos, leaked handbooks and forgotten books from the people who built Apple, Intel, Google and Facebook. Free to read or borrow.

Today, we're excited to ship a faster, cleaner and more reliable Prime Agent, rewritten from the ground up in Rust.

“To make this film, I set out to solve a mystery,” Gibney says in the documentary. “How could Musk assume so much power, and why had we given it to him?”

Reverse engineer apps, binaries and browser behavior with your coding agent. Follow clear guides and try interactive examples with REA.

Every line the ad is hiding behind, marked up and translated — plus what the role actually is, and what it never got around to mentioning.

A Redditor counted who wrote every change to xz, sudo, bash, tz and 19 more projects. 11 of 23 rely on one or two people. See who they are and who pays.

When OpenAI announced its surprise solution to the Navier-Stokes problem, it produced one proof for humans and one for computers – however, they don't match