iiinova — where your digital self keeps evolving

Lord knows how many millions were spent on the recent mega-dump of AI math proofs. A bunch of careless people with no appreciation for what they are doing should not have those kinds of resources

000

Sean Redmond @rdmond.bsky.social · 4h

If the average mathematician makes $100K/year (and I'm sure the average mathematician makes less than that) you could have paid 250 of them to work for a year on a better solution *and* they would have spent that money around town, in their local economies, on groceries and movies

110

Sean Redmond @rdmond.bsky.social · 4h

Terence Tao's salary is public record and he gets paid a ton (good for him) but, if you take the average of the cost estimates ($25M), what OpenAI spent could have funded Tao to do nothing but Navier-Stokes for 40 years

100

Sean Redmond @rdmond.bsky.social · 4h

What's infuriating to me is how much money these Vandals had for their recent vandalism thanks to the slow vandalism of decades of divestment from public institutions and accumulation in private hands. The estimates I've seen for what OpenAI spent on the Navier-Stokes solution are $10-$40 million!

100

Reposted by Sean Redmond

jamelle @jamellebouie.net · 10h

the funny thing about this of course is that "athenian democracy" was a cautionary tale to the framers, who saw it as unstable and prone to demagogues and tyrants like the one rubio works for

1425242829

Reposted by Sean Redmond

Ἡμερολόγιον @hemerologion.bsky.social · 04/10/2026

🏺 There was a special meeting of the Athenian council at Eleusis on this day as part of the Eleusinian Mysteries (τὰ Μυστήρια), and initiates returned to Athens. en.wikipedia.org/wiki/Eleusinian_My…

021

Reposted by Sean Redmond

Ἡμερολόγιον @hemerologion.bsky.social · 04/10/2026

Today (2026-Oct-04) is Boēdromiṓn 23, ὀγδόῃ φθίνοντος Βοηδρομιῶνος, day 82 of 355 in the year 2026/2027.

011

Reposted by Sean Redmond

Ἡμερολόγιον @hemerologion.bsky.social · 03/10/2026

🏺 Today was still part of the celebration of the Eleusinian Mysteries (τὰ Μυστήρια). Everyone who knew what the rites were on this day took that knowledge to their grave. en.wikipedia.org/wiki/Eleusinian_My…

052

Reposted by Sean Redmond

Ἡμερολόγιον @hemerologion.bsky.social · 03/10/2026

Today (2026-Oct-03) is Boēdromiṓn 22, ἐνάτῃ φθίνοντος Βοηδρομιῶνος, day 81 of 355 in the year 2026/2027.

011

Reposted by Sean Redmond

Ἡμερολόγιον @hemerologion.bsky.social · 01/10/2026

🏺 Today was the first full day of celebrations of the Eleusinian Mysteries (τὰ Μυστήρια) that took place in Eleusis. What went on has been kept secret for thousands of years. en.wikipedia.org/wiki/Eleusinian_My…

153

Reposted by Sean Redmond

Ἡμερολόγιον @hemerologion.bsky.social · 01/10/2026

Today (2026-Oct-01) is Boēdromiṓn 20, δεκάτῃ προτέρᾳ Βοηδρομιῶνος, day 79 of 355 in the year 2026/2027.

001

Reposted by Sean Redmond

Ἡμερολόγιον @hemerologion.bsky.social · 30/09/2026

🏺 On this day there was a procession from the Eleusinion in Athens to Eleusis for the Mysteries (τὰ Μυστήρια). It began late in the day and did not arrive in Eleusis (about ten miles from Athens) until nighttime. en.wikipedia.org/wiki/Eleusinian_My…

021

Reposted by Sean Redmond

Ἡμερολόγιον @hemerologion.bsky.social · 30/09/2026

Today (2026-Sep-30) is Boēdromiṓn 19, ἐνάτῃ ἐπὶ δέκα Βοηδρομιῶνος, day 78 of 355 in the year 2026/2027.

001

Reposted by Sean Redmond

Ἡμερολόγιον @hemerologion.bsky.social · 29/09/2026

🏺 The Eleusinian Mysteries (τὰ Μυστήρια) were still going on this day, but we are not sure what happened (they are secret rites, after all). en.wikipedia.org/wiki/Eleusinian_My…

032

Reposted by Sean Redmond

Ἡμερολόγιον @hemerologion.bsky.social · 29/09/2026

Today (2026-Sep-29) is Boēdromiṓn 18, ὀγδόῃ ἐπὶ δέκα Βοηδρομιῶνος, day 77 of 355 in the year 2026/2027.

001

Reposted by Sean Redmond

the Mountain Goats @themountaingoats.bsky.social · 29/09/2026

bluesky does not seem to really be talking about this but today Stevie Wonder unleased 4 songs that didn't make "Songs in the Key of Life." music.youtube.com/playlist?lis...

music.youtube.com

Songs In The Key Of Life - The EP

EP • Stevie Wonder

542059657

Reposted by Sean Redmond

Ἡμερολόγιον @hemerologion.bsky.social · 28/09/2026

🏺 The Epidauria (Ἐπιδαύρια) was celebrated on this day, a festival for Asklepios, the god of healing, and sort of a separate festival within the Eleusinian Mysteries (τὰ Μυστήρια). en.wikipedia.org/wiki/Eleusinian_My…

011

Reposted by Sean Redmond

Ἡμερολόγιον @hemerologion.bsky.social · 28/09/2026

Today (2026-Sep-28) is Boēdromiṓn 17, ἑβδόμῃ ἐπὶ δέκα Βοηδρομιῶνος, day 76 of 355 in the year 2026/2027.

001

Reposted by Sean Redmond

Ἡμερολόγιον @hemerologion.bsky.social · 27/09/2026

🏺 Today was the second day of the celebration of the Eleusinian Mysteries (τὰ Μυστήρια), “halade mustai” (ἅλαδε μύσται, “Initiates to the Sea”). en.wikipedia.org/wiki/Eleusinian_My…

001

Reposted by Sean Redmond

Ἡμερολόγιον @hemerologion.bsky.social · 27/09/2026

Today (2026-Sep-27) is Boēdromiṓn 16, ἕκτῃ ἐπὶ δέκα Βοηδρομιῶνος, day 75 of 355 in the year 2026/2027.

001

Reposted by Sean Redmond

Ἡμερολόγιον @hemerologion.bsky.social · 26/09/2026

🏺 Today was the “agurmos” (ἀγυρμός, “Gathering”), the first day of the celebration of the Eleusinian Mysteries (τὰ Μυστήρια) en.wikipedia.org/wiki/Eleusinian_My…

021

Reposted by Sean Redmond

Ἡμερολόγιον @hemerologion.bsky.social · 26/09/2026

Today (2026-Sep-26) is Boēdromiṓn 15, πέμπτῃ ἐπὶ δέκα Βοηδρομιῶνος, day 74 of 355 in the year 2026/2027.

011

Sean Redmond @rdmond.bsky.social · 23/09/2026

TRS-80 with *cassette tape* for storage

A silver and black TRS-80 computer with a cassette deck next to it (which is the computers storage) and a black and white box in the background labelled "Radio Shack TRS-80 Computer Cassette Recorder"

120

Reposted by Sean Redmond

Doug Gordon @brooklynspoke.bsky.social · 22/09/2026

Obviously the people making a stink about the B65 bus and open streets aren't concerned about sidewalk access or blocked bus stops. A lot of people's "accessibility" concerns only go so far as "Can I access a parking spot in front of my house and every destination in the city?"

2597

Sean Redmond @rdmond.bsky.social · 22/09/2026

100% don't bother reading that Bret Stephens "book awards are DEI now" piece but this from the comments... oh. my. god I want to ask this commenter so many things about their opinions on a) feminists and b) syphilitics

Reader comment from the NYTimes that says "No wonder there aren't any literary greats of the stature of Joyce and Woolf in the 21st century."

100

Reposted by Sean Redmond

Gremliny Nussboo @emilynussbaum.bsky.social · 21/09/2026

I truly don’t understand this “transplant” nonsense. The whole THING about NYC is that ppl come here from other places to mutate into New Yorkers! TO SEE IF THEY CAN BE KING OF THE HILL, TOP OF THE HEAP! Imho a rando who moved here a year ago is the MOST NY person. Welcome Ohio rando, have a bagel

1835844372

Reposted by Sean Redmond

Tim “Positive Subway” Smith @positivesubway.bsky.social · 19/09/2026

If you are writing about this crash and focusing on helmets or the fine print of the Citibike user agreement and not on the likelihood the truck operator either ran a red light or failed to yield then you are doing a terrible job and should reflect on it

The intersection where the crash occurred. There is no protected right turn signal; a bicyclist or pedestrian traveling west or turning on to 1st Ave would have the right of way

1453

Reposted by Sean Redmond

Moby Dick @mobydickatsea.bsky.social · 20/09/2026

But then again, what has the whale to say?

725171

Reposted by Sean Redmond

Ted McCormick @tedmccormick.bsky.social · 19/09/2026

There’s more to be said about the relationship between Pinker-style stardom and the state of academia. Not because academia is Woke, but because star systems loosen rigor at the top while solid scholarship becomes a dead end lower down. Shoddy celebrities and broke PhDs proceed from the same machine

838988

Reposted by Sean Redmond

Moby Dick @mobydickatsea.bsky.social · 17/09/2026

I have another idea for you.

19327

Reposted by Sean Redmond

Asheesh Kapur Siddique @asheeshks.org · 11/09/2026

So rather than increase faculty payroll and lower student:teacher ratios, UMass would rather spend it on Claude. I would argue that a better investment would be hiring 100-200 tenure-line faculty.

10550152

Reposted by Sean Redmond

socraticme.bsky.social @socraticme.bsky.social · 07/09/2026

I worked for 20+ years trying to make education more engaging and personalized and the key isn’t fucking AI, it’s spending enough money that you can cut class sizes in half and then slowing the fuck down so you can have actual conversations. All that costs SERIOUS $$$, so eat AI instead, everyone.

196

Sean Redmond @rdmond.bsky.social · 07/09/2026

I guess there's not always a long German word

120

Sean Redmond @rdmond.bsky.social · 04/09/2026

It's "brew thru" that gets you

A section of quiz results titled "What gave you away," showing the question "What do you call a drive-through liquor store" and the answer "brew thru"

Map of the United States showing that the usage of the term "brew thru" is intensely centered on along the eastern Virginia-North Carolina border

000

Sean Redmond @rdmond.bsky.social · 04/09/2026

Since we're enjoying dialect maps again--a true child of Tidewater

A map of the United States showing that my dialect is broadly southern and centered on the Tidewater region of Virgina

100

Sean Redmond @rdmond.bsky.social · 03/09/2026

The future Armstrong Family Foundation is going to have to be *huge* to whitewash this guy's name. Congratulations in advance to all of the AFF's grantees!

010

Sean Redmond @rdmond.bsky.social · 29/08/2026

"The ways in which..." definitely works like the plural of "how." For something punchier I propose "the howzits that..."

010

Reposted by Sean Redmond

MythologyBot @mythologybot.boodoo.co · 28/08/2026

D791.3 Disenchantment fails because conditions are not fulfilled.

084

Sean Redmond @rdmond.bsky.social · 27/08/2026

Surprising amount of popular support for stealing land from Green-Wood Cemetery. Indie horror movie idea?

000

Sean Redmond @rdmond.bsky.social · 26/08/2026

Lol. They're presenting a second version of the proposal after everybody (very few loud people) complained about how bad the traffic is on this street (which has very little traffic). Version B is basically "keep a travel lane but take away 100 parking spaces." Love it

100

Sean Redmond @rdmond.bsky.social · 26/08/2026

Watching a DOT bike lane proposal presentation and in Zoom you can see that the presenter is using a Dvorak keyboard layout. Hail the nerdliness

141

Reposted by Sean Redmond

Benjamin Balthaser @blbalthaser.bsky.social · 22/08/2026

I just saw someone write that “higher education needs to regain its soul.” Ok, but I’d prefer it regain forty years of public funding, which was cut to pay for prisons & tax giveaways to rich ppl. Grub first, then ethics

1378

Reposted by Sean Redmond

Paradise Lost @paradise-lost.bsky.social · 20/08/2026

Of all this world at once. As when a scout, Through dark and desert ways with peril gone All night; at last by break of cheerful dawn Obtains the brow of some high-climbing hill, Which to his eye discovers unaware III, 544-548

001