iiinova — where your digital self keeps evolving

Cody @codyroux.bsky.social · 07/09/2026

A new episode! I explain how to construct an oracle such that P != NP relative to it. It's quite a cute construction! open.spotify.com/episode/4W6k...

open.spotify.com

An oracle for P vs NP

The Church of Logic · Episode

021

Cody @codyroux.bsky.social · 03/09/2026

People sometimes think insomnia means you're not tired. Sadly that is not the case. Fight club really increased awareness for insomnia though it has to be said.

Cody @codyroux.bsky.social · 31/08/2026

Shit I've been classified

A reddit screenshot with the text:

- Kind of a anti- manic pixie dream girl
- Depressed ogre nightmare boy?

Cody @codyroux.bsky.social · 28/08/2026

I'd never seen the movie Rocky (1976). What no one tells you is that that one famous montage scene is by far the most weird and jarring bits of the movie. It is bizarre that that is what was remembered.

Cody @codyroux.bsky.social · 26/08/2026

I'm a friendcel. I believe the market is saturated with high value friends leaving boring dudes like me out to dry

Cody @codyroux.bsky.social · 21/08/2026

Under appreciated casualties of global warming: the songs "California dreamin'" by the Mamas and the Papas and "Hazy shade of winter" by the Bangles

Cody @codyroux.bsky.social · 14/08/2026

Rewatching Smallville. It's basically a masterclass in bad dialogue. But somehow that's kind of what it has going for it? Like an almost comical lack of subtlety.

Cody @codyroux.bsky.social · 12/08/2026

Help settle an argument with my wife: does "oven" rhyme with "eleven"?

310

Cody @codyroux.bsky.social · 11/08/2026

Imperfections are charming... on attractive people. So are perfections, come to think of it.

000

Cody @codyroux.bsky.social · 10/08/2026

Part 2 of Extensionality vs Intensionality in Type Theory with Loic Pujet! I could listen to that gentle voice all day! open.spotify.com/episode/3qVh... I'd love to do an episode where we explore all the anti-classical variants as well.

open.spotify.com

Loïc Pujet - Type theory and extensionality part II

The Church of Logic · Episode

111

Cody @codyroux.bsky.social · 08/08/2026

I wonder if being a computer scientist today is like being a dinosaur astronomer. Like, it's exciting to see, but it could destroy us all.

030

Cody @codyroux.bsky.social · 04/08/2026

Super pumped to have interviewed Loic Pujet for a new episode! We talked about extensionality in type theory, which comes up a lot in practice (and in theory). open.spotify.com/episode/5B8u... as usual, the RSS: anchor.fm/s/db787130/p...

open.spotify.com

Loic Pujet - Type theory and extensionality part I

The Church of Logic · Episode

162

Cody @codyroux.bsky.social · 02/08/2026

In preparation, I'll be watching Spider-man: no way home, Spider-man: there's no place like home and Spider-man: Lost in New York

Cody @codyroux.bsky.social · 31/07/2026

Or were you just paid to say this?

Cody @codyroux.bsky.social · 31/07/2026

Keeping out of the sun is a good way to make your skin seem young and your mind seem depressed

000

Cody @codyroux.bsky.social · 29/07/2026

Maybe software engineering becomes something we do a bit more carefully.

Cody @codyroux.bsky.social · 29/07/2026

Bad for the bow. Good for the movie.

030

Cody @codyroux.bsky.social · 29/07/2026

Big Horse trying to sell horse

Cody @codyroux.bsky.social · 27/07/2026

Expecting a Text - Gustave Courtois (1882)

000

Cody @codyroux.bsky.social · 25/07/2026

Now nostalgia heavy shows are catering to people younger than me.

000

First the Jacobian conjecture, now this?!

Pack it up folks, we've solved PL.

350

Someone on Reddit was explaining how one can date ancient historical works like the Odyssey by checking references in the text to objects or places for which we have an earliest possible date, like when Ulysses gets into his Lamborghini Aventador, which was not produced until approx 2011

The problem with appsec xkcd.com/937/

xkcd.com

TornadoGuard

Cody @codyroux.bsky.social · 21/07/2026

I've found that treating people as if they were intelligent is actually quite effective. This "50% of people are even dumber than that" George Carlin BS does not make you as cool as you think.

000

Cody @codyroux.bsky.social · 20/07/2026

Or as a famous Russian author, like Warren Peace.

110

Cody @codyroux.bsky.social · 20/07/2026

So the Jacobian conjecture is false huh? It's been a disappointing year.

001

Cody @codyroux.bsky.social · 20/07/2026

Have you gone to Pixar with that idea yet though?

050

Cody @codyroux.bsky.social · 13/07/2026

I'm a good programmer because I'm a bad programmer. That clever idea you had that's gonna be unmanageable at 10k lines? I hit that limit at 200 lines.

Cody @codyroux.bsky.social · 13/07/2026

Man I've been holding in this pee for McConnell's grave for nothing!?

Cody @codyroux.bsky.social · 13/07/2026

It just feels like their vibes were so different

000

Cody @codyroux.bsky.social · 12/07/2026

Grothendieck's Erdős number is 3. I'm not sure whether I expected this to be higher or lower. mathscinet.ams.org/mathscinet/f...

mathscinet.ams.org

MathSciNet

220

Cody @codyroux.bsky.social · 11/07/2026

Tragically, falling into patterns that are hard to break out of, is a pattern that is hard to break out of.

John C. Baez @johncarlosbaez.bsky.social · 08/07/2026

Reposted by Cody

Mark Ham wowed the world with this picture. But then someone wowed me even more by pointing out that the moon always has the same phase when it's in a rainbow! (1/2)

A closeup of a rainbow with the Moon in it. The Moon is not full, it is gibbous. This photo was taken by Mark Ham. In this photo you can work out exactly where the sun is—behind him over his left shoulder—from both the position of the rainbow and from the phase of the moon.

91006329

Cody @codyroux.bsky.social · 08/07/2026

It was the DENTAL PLAN of times, it was the Lisa needs braces! of times.

Cody @codyroux.bsky.social · 07/07/2026

Girls Just Wanna Have that plastic doohickey that allows you to re-seal opened plastic bags

000

Cody @codyroux.bsky.social · 06/07/2026

Driving: the most boring of terrifying activities

000

Cody @codyroux.bsky.social · 03/07/2026

Hi r/compilers! I've come up with a new language, that aspires to the readability of Python with the performance of C/C++. There's still a lot of work to do, but..

static.klipy.com

Lol

ALT: Lol

280

Cody @codyroux.bsky.social · 01/07/2026

Most people live to be older than most people.

Cody @codyroux.bsky.social · 26/06/2026

How dare I live the dream life of an intellectual from the XVIth century and still be so unsatisfied?