A practical introduction to TLA+, why it matters for agentic coding, and how AI could take formal verification from models to machine-checked proofs and ultimately to verified software.

Hello! Recently I needed bike lights for my bike. And I remembered that I already had rechargeable bike lights that I bought ten years ago, that I hadn’t tried in a long time. I tried to recharge them, but after fully charging them, they only worked for maybe…

A scrappy science project led to a significant discovery: two new species of a rare organism that could elucidate a fundamental transition in the history of life on our planet.

AI agents produce slop when not restricted. Here are 10 things to watch out for

A blog about software craft and quality

Front-end antics and typographic mischievousness

In a recent episode of President Curtis , the President struggles with opening a door on two separate occasions. These doors don't work beca...

Aiming for a 10 year life-cycle for smartphones

Identifying them as such only lets companies like OpenAI off the hook.

Decision follows disclosures that OpenAI agents searching government websites had acted in unexpected ways

Anthropic CEO Dario Amodei (Jane Wickline) stops by Weekend Update to discuss A.I.’s threat to humanity.

Saturday Night Live. Stream now on Peacock: https://pck.tv/3n1IyzK

Subscribe to SNL: https://goo.gl/tUsXwM
Stream Current Full Episodes: http://www…

Ember-1 is a new specialized model from Fireworks Research that delivers Kimi K3’s quality with 40% fewer tokens.

It's been a year or two. Disagree or debate me all you want, but soon you'll realize and admit I was right.

Archaeologists excavating in the ancient Hittite capital of Hattusha have uncovered a fragment of the world's oldest peace treaty, signed around 1269 B.C.

Amid growing public health concerns, operators like DraftKings have touted “responsible gaming” tools and prompts. But as I went off the deep end, I found they were no match for the incentives and product design pushing me to keep going.

Recently there’s been a lot of news and questions and discussions floating around I thought I’d create a handy dandy guide to understanding and answering them. “AI is going to destroy the economy!” Read my damn paper. “Why is it so hard to find housing?!?”…

Dr. John Chowning, is a pioneering composer and the inventor of FM synthesis. In this interview, Chowning details his key foundational ‘aha' moments, including using recursive structures in his 1977 composition Stria and accidentally discovering frequency…

Endless lofi beats composed live in your browser, over pixel-art nights in Paris, Tokyo, New York, Hong Kong, Sydney, San Francisco and more. Free, no sign-up.