TLDR 2026-10-23

Claim your free months [6] | See if your plan qualifies

THE SIGNAL CHATS THAT COST OPENAI RESEARCHERS THEIR JOBS

Three OpenAI safety researchers were fired after security officers discovered Signal chats with disappearing messages turned on on their personal devices. OpenAI claimed the researchers were fired for violating clear policies for handling sensitive information and not for raising safety concerns or speaking out. The researchers had spent recent months at the company pushing for more industry collaboration on safety. They claim their firings will serve as an excuse for OpenAI to close a channel to independent third-party insight.

AMAZON'S NEW TABLET IS A CREDIBLE IPAD RIVAL FOR MUCH LESS MONEY

The Alexa Tablet lineup offers a more open approach to software than Amazon's previous Fire brand that lets consumers use the devices like any other Android tablet. Users can download apps from the Google Play Store and access popular services like Gmail and YouTube. Amazon previously restricted access to its own app marketplace. The 12-inch Alexa Tablet Pro is well constructed and has a smooth 12-hertz display, making it competitive with Apple's iPads.

SPACEX IN TALKS TO ACCESS 80,000 CELL SITES FOR NEW NETWORK

SpaceX is in talks with Crown Castle Inc., one of the largest owners of cellular towers in the US, as part of its plans to secure a minimum of 80,000 cell sites across the country. Crown Castle is likely also in talks with Amazon and other satellite-based telecom providers regarding leasing deals. Elon Musk has openly discussed creating a standalone wireless carrier from scratch. SpaceX recently acquired low-band spectrum and has received approval to launch 15,000 satellites to provide mobile service directly to phones.

MODERNA AND MERCK SAY THEIR MRNA CANCER VACCINE CUT DEATH, RECURRENCE BY 42%

Moderna and Merck's personalized mRNA vaccines against melanoma demonstrate how mRNA technology has the potential to fundamentally challenge how cancer is treated. The vaccine's success offers a new paradigm for cancer therapies. The companies are already engaging with regulatory authorities to get the vaccine approved.

LLMS ARE MAKING FORMAL SOFTWARE VERIFICATION FEASIBLE AT A MUCH LARGER SCALE

We need ways to prove that code is free from bugs. Formal software verification, which could provide this guarantee, has always required years of expert effort, but LLMs can now produce formal proofs at large scale. This enables new software development workflows that include proven security guarantees. Formal verification will likely become an essential part of secure software development as model capabilities continue to improve.

ANTHROPIC BUILDS ITS OWN SOURCE CONTROL SYSTEM

Anthropic employs around 3,500 staff, but its coding output is closer to that of a company with 35,000 to 70,000 staff. Big tech companies like Google and Meta moved off Git a long time ago because it did not scale for them. Both built their own custom solutions, just like Anthropic did with Scion. This post provides some details about how Anthropic's custom source control system works.

‘IF ANYTHING HAPPENS TO THIS GUY … EVERYONE IS SCREWED'

Ondřej Surý is one of the volunteers who helps maintain and automate patches for PHP. He alone is responsible for most of the world's distribution of PHP. His work, along with just a handful of others, has allowed countless websites and organizations to fix the recently revealed PHP vulnerabilities quickly. He's become arguably the unsung hero of the entire internet, despite the fact that the only compensation he receives for his work is from donations. This article features an interview with Surý where he discusses the unfolding AI-cybersecurity crisis, how the internet's infrastructure is maintained by small crews of volunteers, and how it feels to save the web.

AN ARTIST'S TAKE ON AI IN MATH

Mathematics seems to be a field where the outputs are celebrated less as examples of subjective expression and more as advancements in knowledge and understanding. A mathematician's work may be informed by their experience, but that's not what gives their contributions value. Mathematical knowledge remains objectively true whether it is observed by humans or sea sponges or computer programs.

SOFTWARE IS SLOW BECAUSE OF BAD DESIGN, NOT SLOW LANGUAGES

Most programs can't be meaningfully sped up by rewriting them in C or Rust.

JPEG XL, WELCOME TO THE WEB!

JPEG XL is the end-game universal image format because it has excellent compression efficiency, a universal feature set, wide color depth, gamut, and native HDR, lossless JPEG transcoding, high-speed parallel software encoding and decoding, and an open-source, permissive license.

WARHOUND RAISES $200M TO ENGINEER WAR DOGS AND ARM THEM WITH ANDURIL GEAR

The US has become increasingly reliant on foreign nations for dogs that play an important role in the US military and law enforcement.

subscription. Claim your free months

SUPERVISORY ENGINEERING WORK

Supervisory engineering work is a different job from software engineering and so requires a different system around it.

FINANCE IN THE INTELLIGENCE ERA

Finance companies in the AI era need to be built around continuous decisions, portable assets, and delegated distribution.

I'M NOT DOING 996

We are the ones who get to decide what to do with all of the productivity that AI creates.