Cody
banner
codyroux.bsky.social
Cody
@codyroux.bsky.social
Still ultrafinitist, but with a softer side.
https://www.kleene.church/

I do the Church of Logic podcast.
https://open.spotify.com/show/6vEh6ZpQr1Eoeoz8TbsMKx?si=3-hd-mv3ShGe2LFij4MCIQ
Pizza is like sex, even when it smells a bit funky you probably won't get samonella
November 13, 2025 at 3:30 PM
I love this country, but I can't be in the same room as it right now.
November 12, 2025 at 11:15 PM
I can't even imagine how out of touch you have to be to be explained who George Lucas is.

Maybe I'm just old?
November 12, 2025 at 10:24 PM
I brilliantly hide my terrible incompetence behind a veil of false modesty.

Machiavelli was once heard to describe me as "a little intense, jeez."
November 12, 2025 at 5:05 AM
Reposted by Cody
my own explanation of my numerous travel travails is that i am personally cursed. it's a much better explanation than noah's, not least because it can explain american cases as well as international cases
November 11, 2025 at 5:38 PM
Spotify – Web Player
open.spotify.com
November 10, 2025 at 5:40 AM
Mobile mo' problems
November 8, 2025 at 4:53 PM
What ever happened to turtlenecks?
November 7, 2025 at 9:36 PM
Wow hot girl privilege is real
November 6, 2025 at 6:40 PM
Reposted by Cody
Mamdanigrad (formerly New York City), will stand as a shining example to the world of what is possible when the workers unite, and crush the bourgeois class with an iron fist (mild increase in minimum wage, free buses, etc).
November 5, 2025 at 3:21 PM
Date someone who flirts with a child?!
November 5, 2025 at 2:17 PM
Every 3 months, I should be allowed to just veto a radio song.

Off the air for ever.
November 4, 2025 at 3:48 PM
Really hard to tell the difference between "you're doing it wrong" and "you're not doing it like I would"
November 4, 2025 at 3:10 PM
Ok I need to clarify something: there are settings where adding skolem functions is conservative (Herbrand functions, really) but adding an "epsilon" gives you choice (in the object theory, e.g. ZF)?

What's the difference?
November 2, 2025 at 8:55 PM
THOSE MONSTERS
November 2, 2025 at 7:40 PM
A lot of my cooking life is spent placating the smoke detector like an angry god
November 2, 2025 at 5:01 PM
Reposted by Cody
It’s his day.
November 1, 2025 at 1:27 AM
When the page I'm reading takes more that a few seconds to load
October 31, 2025 at 3:11 AM
Reposted by Cody
nobody wants to hear about your problems
October 29, 2025 at 1:11 PM
Reposted by Cody
Oh yes, there are many examples. For example, there is a countably universal partial order and the countable random graph is countably universal, and many other instances. However, there is no countably universal group, as I had found out in this MO question: mathoverflow.net/q/28999/1946.
October 29, 2025 at 1:57 AM
What's the smallest ordinal that can't be order embedded in the reals?
October 28, 2025 at 2:53 PM
Honestly I think the west wing is where the monsters are
Hear me out: A terrifying Halloween haunted house but it's a tour of the east wing of the White House
October 28, 2025 at 12:27 AM
Reposted by Cody
Monsieur le cartographe était probablement un tenant de la proposition de réforme orthographique de Louis de Lesclache (1668), proposition qui n'eut pas le succès escompté
🧵2/2
October 25, 2025 at 9:13 PM
I'm worried that my concern about being uninteresting makes me boring
October 24, 2025 at 9:42 PM
I'm old enough to remember people liking Alf unironically
October 23, 2025 at 11:20 PM