Thursday, October 29, 2026

Organ Transplant Rule Change

NPR: "Are you an organ donor? Here are some rule changes you may want to know". 

I am signed up as an organ donor, and I am not bothered by these rule changes. I do understand that some prospective donors might be.

Monday, October 26, 2026

Wednesday, October 21, 2026

Space Debris

Market analysis of space debris.

Tuesday, October 20, 2026

New Type Of Diamond

"Scientists Discover a New Cousin of Diamond That Was Thought To Exist Only in Theory"

Monday, October 19, 2026

Creative Use Of Prediction Markets

"LA restaurant group used $60,000 Dodgers bet to hedge playoff risk".

Some key points from the article:

* The group, ⁠which operates 25 bars, many of ​them near the Dodger Stadium, made a $60,000 ​trade on Kalshi if the team did not advance 

* The position returned nearly twice ​the original stake, Kalshi ​said, helping make up for business the ‌bars ⁠would have received from additional playoff games 

* The trade points to a small but growing use ​of prediction ​markets ⁠by businesses seeking protection against risks that conventional ​financial products may not cover

Friday, October 02, 2026

Better Atomic Clock

"Scientists Just Built the World's Most Accurate Clock". (Via H.R.)

Thursday, October 01, 2026

Wednesday, September 30, 2026

Tuesday, September 29, 2026

Monday, September 28, 2026

Pinker On AI Risks

Steven Pinker: "An Open Letter to Scott Alexander". 

tldr; The dangers of AI are real, but doomerism may be counterproductive.

Friday, September 25, 2026

Light Posting

Due to various personal obligations, posting will be light for a few weeks.

Thursday, September 17, 2026

Wednesday, September 16, 2026

Tuesday, September 15, 2026

China And AI

"China dismisses AI slowdown calls and blasts 'fearmongering' from U.S. tech leaders". 

Prediction: China will have nothing to do with any proposed "AI pause". US politicians who think we will reach an international agreement on this are deluding themselves.

Monday, September 14, 2026

Friday, September 11, 2026

Taxonomy of Omnicidal Futures Involving AI

Given all the recent drama about "AI will kill us all!", I thought I'd mention this 2025 paper by Critch and Tsimerman laying out a helpful conceptual framework for discussion: "A Taxonomy of Omnicidal Futures Involving Artificial Intelligence"


Thursday, September 10, 2026

Wednesday, September 09, 2026

Fermat Again

Anthropic: "Formalizing Fermat's Last Theorem"

We are sharing the first complete computer-checked proof of Fermat’s Last Theorem. Claude worked largely autonomously over 11 days to write the proof in the Lean programming language. Below, we describe how the formalization was done and share some thoughts about what this work could mean for research mathematics.