iiinova — where your digital self keeps evolving

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

Anyone wanna hang in Paris on Friday?

000

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

Pet peeves #5382: people calling an event a "happening"

000

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.

020

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?

010

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.

010

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

010

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

010

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.

010

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

010

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 · 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

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

Pack it up folks, we've solved PL.

350

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

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

020

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

The problem with appsec xkcd.com/937/

xkcd.com

TornadoGuard

010

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

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

001

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.

010

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

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

010

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.

020

Reposted by Cody

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

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 · 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.

010

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?

010

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

I'm really not crazy about the "fish climbing a tree" metaphor. Sucking at one thing doesn't make me good at another thing.

000

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

My examples? Simple, concrete, enlightening. You examples? Convoluted. Ad hoc. Unrealistic.

040

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

Apparently the secret to being a musician is practicing until you hate the piece

010

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

Wait is that to make *other people* happy?

000

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

I want to be the first mathematician to find a prime triplet.

110

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

New episode! Barriers in proofs of P vs NP is one of my favorite topics. Like, it's so difficult to prove we have a *theory* of how hard it is to prove! With @sandmouth.bsky.social open.spotify.com/episode/3o4V...