iiinova — where your digital self keeps evolving

Reposted by Rich Cheng

Matthew Somerville @dracos.co.uk · 07/10/2026

Will “The Lean proof that OpenAI provided isn’t the same as their printed proof, so who knows if any of it is actually right” get as much publicity as the original PR, I wonder. The final 20% is 80% of the work. Whether it’s a website, a Photoshop knock-off, or a Millennium prize problem

Example 3.1 (The NL paper claims a stronger inverse estimate than the cited Lean formalisation). Figure 3 concerns the estimate in Lemma 8.6, equation (8.19), of OpenAI’s Finite time blowup for Navier–Stokes. We compare this estimate with the cited Lean declarations at commit f9e8bc5 (click to see the documentation on Github). The issue is a change in the order of the input derivatives required to bound the output derivatives. In particular, we have the following discrepancy. With m a nonnegative integer, the comparison in Figure 3 is
NL paper, equation (8.19): ∥N−1F∥Cmy ⩽ Cm∥F∥Cm+4y, (3.1)
Lean Estimate: ∥N−1F∥Cmy ⩽ Km∥F∥Cm+5y. (3.2)
Summary: The Lean code produced by OpenAI often has stronger conditions on bounds on the derivatives of various functions than the corresponding results in the NL paper.

073

Reposted by Rich Cheng

The Fig Economy @figgityfigs.bsky.social · 07/10/2026

Sometimes my wife and I like to send each other text messages as though they’re democratic fundraising messages, and I believe she has produced the jewel of the form.

, it's
and I
have some personal news to share with you.
Being a mom is one of the greatest joys of my life, and I feel deeply that we should have salad tonight
This year has been challenging in many ways, and I have immense gratitude for the kindness and support of family, community, and people like you who have continued to stand by me through everything. It means the world, and I wanted you to be among the first to know that squash is in the oven and kale is in the fridge.

As many of you are aware, ve been navigating one of the most challenging periods of my day while waiting for dinner.
Facing baseless federal hunger brought on by not eating since lunch, fighting for the working kids of this country, and now caring for a mean toddler and helping him grow up in a world that isn't always easy. But it has also reminded me exactly why I do this work and who I do it for.
I will never stop working to eat dinner. I will never stop fighting for what is right, even when there is also some feta in the fridge. And I will never stop being so very thankful that you are by my side in this important work and that there is tahini in the pantry for dressing
With love and gratitude,
stop to end

185110081836

Reposted by Rich Cheng

The Interactive Fiction Competition @ifcomp.org · 06/10/2026

The 32nd IFComp is in full swing. Two more weeks left to play and judge this year's delightful games! And hey, why not consider donating to the Colossal Fund?? It's a cash prize pool for the top entries! ifcomp.org

ifcomp.org

The Interactive Fiction Competition

034

Rich Cheng @sedm0784.bsky.social · 05/10/2026

Some good reminiscin’ in the ensuing thread

000

Reposted by Rich Cheng

amy brown 👻 @amybrown.xyz · 04/10/2026

how am I gonna explain to my therapist that 149,000 people on twitter want me dead

tweet that says “we need to go back in time and kill the wendys social media manager from 2017”

302865234

Rich Cheng @sedm0784.bsky.social · 04/10/2026

Feeling pretty silly about having complained about that price now.

100

Rich Cheng @sedm0784.bsky.social · 04/10/2026

I inherited a joke from my father where whenever anyone says “bean soup” I have to say “I don’t care what it’s *bean*. What is it *now*?”

061

Reposted by Rich Cheng

Julie S. Lalonde @julieslalonde.bsky.social · 25/09/2026

Y'all know Bean Soup Theory? How someone can post a recipe for bean soup and the replies will be "BUT WHAT IF I DON'T LIKE BEANS?!" That is sometimes annoying trolling but it's predominantly people failing to understand how to read for context, understand intended audience, etc.

92235171

Reposted by Rich Cheng

The Ken In Yellow @kenlowery.bsky.social · 24/07/2023

Time to log in and read the thoughts of people I've chosen to follow and, curiously, the thoughts of people I was specifically trying to avoid

339563

Reposted by Rich Cheng

jenny tightpants @jtp.bsky.social · 16/09/2026

"the author of that harry potter story leads an insane cult that's captured much of the media in this country" is a different person if you're in the UK or the US

3053861098

Reposted by Rich Cheng

Ketan Joshi @ketanjoshi.co · 08/09/2026

Global data centre investment has already surpassed solar PV, and will soon surpass all renewable investment combined sf-asset-manager.s3.amazonaws.com/97637/1139/8...

Data center investment rises sharply from near zero in 2015 to about $800B in 2025; chart also shows renewables and solar climbing steadily while oil and gas investments fluctuate at higher levels (2015–2025, USD billions).

79476

Rich Cheng @sedm0784.bsky.social · 08/09/2026

But if it does reason about and understand the things it writes about, why does it so frequently say things that are so patently ridiculous or obviously contradictory?

001

Rich Cheng @sedm0784.bsky.social · 08/09/2026

Let’s for a moment take it as read that the model *is* reasoning. Does that mean the model *understands* the puzzle? If no, how can it reason about something it doesn’t understand?

100

Reposted by Rich Cheng

cee @cee.wtf · 04/09/2026

throng.cee.wtf i've invented a new way to browse bluesky

35482191910

Reposted by Rich Cheng

Goodnews @goodnews.computer · 04/09/2026

Take a break from being depressed that everything you love is being destroyed by slop for a moment and let me tell you about the beautiful symbiotic relationship between graffiti writers, train yard workers, and model train enthusiasts.

A hand holding a model train with a replica of the same graffiti on the full scale train car behind it.

A model train with two graffiti pieces on opposite sides.

895453545

Rich Cheng @sedm0784.bsky.social · 05/09/2026

While posting this I discovered this reddit, because of course there’s a reddit. www.reddit.com/r/restofthefuckingowl

000

Rich Cheng @sedm0784.bsky.social · 05/09/2026

I can’t decide whether that’s the joke or not.

100

Rich Cheng @sedm0784.bsky.social · 05/09/2026

I think Jamie Smart is great and The Phoenix is great, but this is extremely Now draw the rest of the owl.

Get Drawing with Jamie Smart!

The tutorial shows how to draw Bunny from Bunny vs. Monkey.

Steps 1–3 are drawing a square and two overlapping hearts: Bunny's face and ears.

Step 4 is pencilling, inking and colouring the entire rest of the character.

100

Reposted by Rich Cheng

Nigel Auchterlounie @n-auchterlounie.bsky.social · 05/09/2026

This wasn’t just a chat bot helping or encouraging a mass shooter. Humans at the company knew and told no one.

033

Reposted by Rich Cheng

HELLGORITHM @hellgorithm.website · 04/09/2026

Even if you already know they do this shit, it’s absolutely fucking _wild_ that they’ve just put it out as a finished product that is basically screaming at the user how bone-chillingly creepy it really is.

031

Reposted by Rich Cheng

Cabel Sasser @cabel.panic.com · 04/09/2026

all around the world, over the course of many years, a bunch of white street and parking lights slowly turned blue/purple, when a special yellow phosphor coating that turned blue light into white gradually delaminated. nobody knew this defect would happen, it just took time. i think that's beautiful

10915

Reposted by Rich Cheng

Daniel Sugarman @danielsugarman.bsky.social · 30/08/2026

The world's most notorious custard-pie thrower is dead. What an obituary. He got Bernard-Henri Lévy seven times.

Known to his army of fans as L’Entarteur or Georges le Gloupier, Godin launched his career as a serial deflator of egos in 1969, when he planted a tarte à la crème on the face of the French novelist Marguerite Duras (“She has a kind of intelligence and cleverness that serves only her own vanity,” he complained), and he went on to “pie” a cast list of celebrities for sins ranging from pomposity to “choosing to function in the service of the capitalist status quo”.

The same could not be said of Bernard-Henri Lévy, one of France’s “new philosophers,” whose provocative views on sex, frequent appearances on television and penchant for white silk shirts unbuttoned practically to the navel, had made him a cult figure – and one of Godin’s most satisfying victims.

Levy once declared: “I am the most gifted writer of my generation,” and often boasted of his reasonableness and tolerance, but he was forced to endure footage being repeatedly shown on French television of himself, covered in cream, during a visit to the Belgian city of Liège, trying to strangle Godin and shouting: “Get up, or I’ll kick your head in.”

Noël Godin was born on September 13 1945 and came to pie-throwing after a rebellious youth in which he scandalised the priests in the confessional by speaking of his “horrible sexual life”, and was thrown out of Liège University after emptying a pot of glue over the head of a law lecturer who had helped write the constitution for the Portuguese dictator António de Oliveira Salazar.

He found work at Friends of Film, an obscure magazine published by the Belgian Catholic League. It had a tiny readership, which was just as well, as Godin made up most of his articles. In one he claimed that Louis Armstrong had once been a cannibal and had invested in a film called The Vegetables of Good Will in which Claudia Cardinale played a giant endive.

In another he conjured up a fictional blind Thai filmmaker named Vivian Pei, describing her film, The Lotus Flower Will Never Again Grow on the Edge of Your Island, in such convincing terms that an Asian film specialist travelled to Thailand in an effort to track her down.

“We’re very careful not to hurt people,’’ he explained. “Well, they are hurt, but always in their amour-propre.”

In 1995 Godin published an autobiography, Cream and Punishment. His other targets over the years included the New Wave director Jean-Luc Godard (who charmed his assailant by hailing the attack as a homage to silent film), the French politician Nicolas Sarkozy, the choreographer Maurice Béjart and the Ryanair chairman Michael O’Leary. He tended not to pick Belgian victims, he explained, because few would notice if he did.

131363640

Reposted by Rich Cheng

Matt is Just Trying His Best @thegrampus.bsky.social · 02/09/2026

Whoever decided to promote Coyote vs Acme by letting Wile E do an AMA using only signs deserves all the praise.

47126123782

Reposted by Rich Cheng

Brendel @brendelbored.bsky.social · 03/09/2026

One thing my cat likes to do is tear open a fresh loaf of bread and remove one slice and then leave it there for me to find to let me know he doesn’t like bread

2466143

Reposted by Rich Cheng

Mark Moxon @markmoxon.bsky.social · 03/09/2026

I am thrilled to announce the release of my latest Elite hack: Two-player Elite for the #BBCMicro This is the original 1980s Acornsoft Elite, but with split-screen, two-player, deep-space combat See the thread for links, downloads and details (1/10) #retrocomputing #retrogaming #elitedangerous

414155

Reposted by Rich Cheng

The Interactive Fiction Competition @ifcomp.org · 01/09/2026

🎉 The 32st Annual #IFComp is live! 71 new interactive fiction entries are ready for you to play and judge. (You only need to rate 5 to cast a ballot!) Dive in at ifcomp.org/ballot!

23022

Reposted by Rich Cheng

Pookleblinky @pookleblinky.bsky.social · 30/08/2026

A person under 25 has literally never seen *any* of these companies doing normal things, innocent things, competent things. It's just "oh yeah, the CSAM pervert company, the other CSAM pervert company, the company that makes games no one remembers, the company that tells you to drink bleach" etc

141859

Reposted by Rich Cheng

Robin Johnson @robinjohnson.bsky.social · 30/08/2026

Well then what's the problem

BBC News headline, reading:
Prisoners freed early are returning to jail at rapid rate, governors tell BBC

052

Reposted by Rich Cheng

Tom Cox @dj-acid-reflux.bsky.social · 28/08/2026

When I used to write for The Guardian, every time I wrote the word “meow” the editors would change it to “miaow”. It used to really get on my wick. Don’t try to make my cats sound like your upper middle class London cats, you fuckers. My cats did not go to your posh cat schools. They say “meow”.

38892114

Rich Cheng @sedm0784.bsky.social · 20/08/2026

Oh man I had completely forgotten about those two together. “But what about scarves? But what about scarves? What about scarves though?” 😂

000

Rich Cheng @sedm0784.bsky.social · 20/08/2026

One time I got on a London bus and when I sat down the seat was wet. I stood up, slightly confused, and touching my now-damp trousers and a lady said “I think someone pissed on that seat.”

011

Reposted by Rich Cheng

MꙬse Allain @mooseallain.bsky.social · 19/08/2026

Things To Do With Potatoes Throw a potato on the ground behind a stranger, then say "Excuse me, you've dropped your potato!". If they deny ownership, pull another potato from your pocket, saying "Well it's definitely not my one". Hide a potato in a pair of shoes at a bowling alley.

2043674

Reposted by Rich Cheng

J.E. Skeets @jeskeets.bsky.social · 19/08/2026

Who had the NBA Dunk of the Year? 💥

11334

Reposted by Rich Cheng

Crockett Houghton @crocketthoughton.com · 18/08/2026

My wife wanted me to try her gluten-free ramen so she extended a fork full of them towards me. I put my hand under them, as one does, so they didn't drip on the table and she dumped the pile of noodles onto my palm, like that's what I wanted, with complete confidence. I love my wife.

993539341

Rich Cheng @sedm0784.bsky.social · 18/08/2026

(or coconut, or guava, or papaya...) is that it has determined that it’s the best fit for the intended meaning, tone, and sentiment of the text. […] the scheme perverts the text it generates.’ 2/2

000

Rich Cheng @sedm0784.bsky.social · 18/08/2026

I think this quote sums up his two very long posts about it: ‘Should the sentence complete to “mango and bananas” or “mango and pineapple”? That’s a good question, and the only acceptable answer for why an LLM should choose bananas instead of pineapple 1/2

100

Rich Cheng @sedm0784.bsky.social · 18/08/2026

His argument is basically: 1. For each word choice, LLMs pick the best word, subject to temperature. 2. Watermarking therefore makes it pick worse words. 3. Therefore the writing is worse. 4. Fuck the EU.

100

Rich Cheng @sedm0784.bsky.social · 15/08/2026

Republicans buy knives, too.

010

Rich Cheng @sedm0784.bsky.social · 26/07/2026

I read a post recentlyish by an artist (I forget the medium) who made her partner a piece—spent weeks (months?) on it—and when she gave it to him he said “thanks”, put it down, and fired up the old PS5

010

Rich Cheng @sedm0784.bsky.social · 21/07/2026

No one wants to knacker their gadgets

010

Rich Cheng @sedm0784.bsky.social · 20/07/2026

I appreciate the dedication to security, #Apple, but I’m not sure if I’m still going to *want* to use my iPad 1 in… uh… 56 years?!

A photo of my 2010 iPad (1st generation) lock screen. A message reads:

“iPad is disabled
try again in 29,485,996 minutes”

001

Rich Cheng @sedm0784.bsky.social · 20/07/2026

Omg why is this so funny?! (Also… the ensuing thread! It’s been a long time since I’ve laughed so much.)

000

Reposted by Rich Cheng

Undead in Chicago (municipal boundary) @mosermostly.bsky.social · 09/07/2026

We should invent a kind of canceling where the guy goes away

8394451867

Reposted by Rich Cheng

b. wolo @bwolo.bsky.social · 20/05/2026

Everyone on bluesky is insane because it's a collection of people who were so addicted to the website twitter that we had to migrate to a separate bootleg version of twitter when it became enshittified. It's like how the US is insane because the early colonists were all religious crackpots.

19614

Reposted by Rich Cheng

Robin Johnson @robinjohnson.bsky.social · 08/07/2026

It's close, but if *everyone* who voted against Farage in Clacton votes for Count Binface, the funniest thing could happen

Pie chart showing the share of votes in the Clacton constituency at the last parliamentary election: Reform 46%, Conservative 28%, Labour 16%, Lib Dem 4%, Green 4%

1121

Reposted by Rich Cheng

badly drawn boo! 🎃👻🧛🏼‍♀️ @soapachu.bsky.social · 02/07/2026

America: "We'll adopt renewables when China sorts out its emissions" China:

2378

Reposted by Rich Cheng

skáld @danglinghemmie.bsky.social · 02/07/2026

carpe diem motherfuckers

513321