Fermat's Last Theorem is go!

leanprover-community.github.io/blog/posts/FLT…

i want to die

Women's prime-age employment rates rose to another all-time high of 75.5% last month!!

In general I think moderate democrats who think the police are good faith actors who simply need to be paid more need to reckon with the extent to which the police are a bunch of Nazi thugs

There's plenty of uncertainty on these kinds of questions, but the best evidence we have points clearly to 'wrongly.' Dems would've done worse without BLM 2020 protests.

papers.ssrn.com/sol3/Papers.cf…

nber.org/papers/w32342

The weather is fantastic, a great day to get bunch

Victory Alert: AB 2503, our bill to streamline rail electrification, has passed the Assembly floor! Now it's onto the Senate!

lost styles of advertising and propaganda: pollutioncore

This is great but it’s missing something. That the Israeli right knows one way or another anything Biden does helps Trump who will give them what they want anyway.

Here. I wrote about why I think American diplomatic policy towards Israel has failed since October 7th.

othermeans.io/p/slouching-to…

met nearly infinitely more efficient than the SFPD at 1/3 the price. the best argument for britain I've ever seen

> Nix is a tool-assisted yak-shaving (100%) speedrun bot

I don't know if this sentence is staring deep into Nix's soul or *my* soul, but either way it's profoundly true. I can't help but be a bit embarrassed reading it it's so true.

We need an inaugural outdoor park/block party to give congestion pricing the warm welcome it deserves

me and the boys are rolling our pickup trucks into Manhattan on June 30 to send a message to the New Yorker elite: we believe in a well funded transit system and be honored to be the first to pay congestion pricing 🫡

As you all know, I’m typically very pro-EU/EZ, but there is something epically funny about an EU Commission led by a CDU pol accusing China of engaging in insufficient fiscal stimulus to spur local demand and relying too much on exports to spur recovery from a financial crisis.

Re the open letter critical of Nix's governance (save-nix-together.org) and the Nix team (I have little insight into controversies elsewhere), I agree with everything Robert Hensing wrote in mastodon.social/@roberth@funct…

I'm curious what Big Three management thinks of the UAW's expansion into VW (and beyond). There are plenty of reasons they should actually be for it.

wow - NYT reporter says their nonstop coverage of Biden’s age is retribution for not giving their boss an interview:

“It’s A.G. He’s the one who is pissed [that] Biden hasn’t done any interviews and quietly encourages all the tough reporting on his age.”
politi.co/4b9avJs

There's a lot I disagree with Macron on, and in general when French people bemoan some culture of theirs disappearing I grimace, but in this case I agree this is a good thing to do. Europe has turned 18 and needs to move out of America's house, for mutual benefit.