New on my blog: Formalising a new proof that the square root of two is irrational lawrencecpaulson.github.io/2023/01/18/Sqr…

The completist in me is disproportionately delighted that the eBook for SCALE has finally made its way to the Barnes and Noble Nook store, but if you’re one of the 0.1% of my readers who buy your eBooks there, I hope you’ll be happy too. barnesandnoble.com/w/scale-greg-e…

“Echidnas blow snot bubbles and perform belly flops to stay cool in the heat, researchers find” abc.net.au/news/2023-01-1…

Bold claim

Examples of simple proofs using the axiom of choice, when there is also a (more complex) proof not using choice. mathoverflow.net/a/438994/1946

uhm might try that

Moderna has said it will likely charge $130 for its Covid vaccine. Taxpayers, through the US government, gave $2.5 billion to develop the Moderna vaccine. It was nearly entirely funded by taxpayers. And it costs only around $3 to produce. Unusual.

adittya chaudhuri(@[email protected]) I believe the answer is yes. Take any two composable morphisms f : x → y and g : y → z. Let D be the subcategory generated by f and g. If D≠C, then we know D and thus know the composite g∘f! So we must only handle the case that C is generated by two composable morphisms. ...

Whenever reviewers/editors suggest drastically reducing the # of references, or shortening content to fit "length limits" (for a digital end product!), I get closer to the ledge that was established by preprints. Why spend time begging to be allowed to include citations

Now bet you don't know this little nugget of historical information - J. J. Sylvester, #otd in 1842 resigned from the University of Virginia, after wounding a student who was reading a newspaper in class. Student recovered, Sylvester...

This is why you don't want to read books using the Kindle model. Ultimately a company controls what you read and can rewrite history in real time.

I want a camera that takes pictures by evolving moths with photorealistic images on them

Starship is stacked & ready to launch next week, pending regulatory approval

Literally nowhere in WaPo's story does it say that the ruling was a unanimous 9-0 decision against the EPA but with different concurring opinions that split 5-4. They reported it as if it was a 5-4 decision. Regime propaganda.

Today we filed an official complaint against Hurricane Electric (Hurricane Electric) with the Attorney General Nick Brown (Attorney General of Washington State) over their censorship of legal and protected speech. We have also reached out to the EFF who has previously shown support in protecting the foundation

The LessWrong folks are NOT ok

Starship is ready to launch, awaiting FAA license approval

The narrative: The facts:

Patty Meatloaf You have been instructed, thousands of times, to not reply to my Twitter Enjoy prison

WATCH: Large meteor streaking across the sky in Portugal