iiinova — where your digital self keeps evolving

Right, but the theorem statement might say something like "suppose that X is Baez-ful" (or some actual property that we like). Then we have to go and check what it means to be Baez-ful. The statement itself can be super complicated

230

I think that's a little simplistic — every one of these formalizations relies on a huge number of lemmata, each of which claims to mean something…

130

But somebody has to go through the Lean code and make sure that just because a proven theorem/lemma is named property_that_we_need_for_Navier_Stokes, that's what the theorem actually *means*. You don't want to lean on something that actually boils down to 1=1 instead of the real math!

280

Josh Eyler @josheyler.bsky.social · 09/09/2026

Assuming that if the chain is in the 'off' position, the wall switch would do nothing… my vote is leaving the chain 'on' and only using the wall switch

030

Reposted by Leo C. Stein

Have you ever wanted to hear @cjdenial.bsky.social, @thetattooedprof.bsky.social, @liznorell.bsky.social, and me talk about the need for resisting AI in education? If so, you're in luck! On October 13th, we're doing a reprise of a session on this topic, and we're hosting it on Zoom FREE OF CHARGE.

47028

Reposted by Leo C. Stein

Dan Garisto @dangaristo.bsky.social · 09/09/2026

Grantmaking has leveled off, so it looks like NSF will make around 6,200 new grants—down from an average of ~11,000. That's a historic low, not seen since the 1980s, when NSF was a far smaller organization. Left was our projection three weeks ago, right is the current data.

Previous plot of NSF new grants projected FY26 would be ~6100

Current data for total new grants at NSF

12125

MTW = Misner, Thorne, and Wheeler

110

This is made precise with the Brill-Hartle average, giving the classic Isaacson result. If that's not precise enough then you can make it more rigorous, see e.g. Green and Wald.

210

See MtW Sec 35.7, "The Stress-Energy Carried by a Gravitational Wave”. From the equivalence principle there can't be a local stress-energy tensor on distances comparable or shorter than the wavelength. There is an effective one when coarse-graining over distances longer than the wavelength.

510

Kinda bullshit that none of these items are used to make tea, Earl Grey, hot

161

You truly have some of the best lore

140

I know this is vague, but I think evolution can only work in a setting that's repeatable and predictable, which suggests that things that rely on evolution can be mathematically modeled

020

Dr Elisabeth Kosters @elisabethkosters.bsky.social · 08/09/2026

Wife guy implies the existence of husband gal

000

Reposted by Leo C. Stein

Does Renee Good’s widow also get a @nytimes.com column? Alex Pretti’s parents and sister? Or the widows and widowers of the people who died (were murdered) in ICE concentration camps?

03010

I have to congratulate you, because I saw this RTed without the above context but still realized this was to the tune of Eleanor Rigby!

010

I won't because my day job is general relativity (analytical and numerical). There's just so much to research in the world!!!

1180

I've been looking through a lot of dynamical systems lit lately, more on the mathematician side, not the physicist side. Even though I think I know a lot more of this than most physicists, there is just so much that most physicists barely ever scratch the surface! I could study this for decades…

1140

My go-to is Rhodia dot pads with the perforations at the top… am I a weirdo? I don't think I can handle wire-bound any more

240