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
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
Pizza is like sex, even when it smells a bit funky you probably won't get samonella
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 love this country, but I can't be in the same room as it right now.
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?
Maybe I'm just old?
The “Star Wars” and “Indiana Jones” billionaire filmmaker had been developing the museum for more than a decade, but faced a series of delays.
Billion-Dollar Art Museum Founded By Filmmaker George Lucas Sets September 2026 Opening
The “Star Wars” and “Indiana Jones” billionaire filmmaker had been developing the museum for more than a decade, but faced a series of delays.
www.forbes.com
November 12, 2025 at 10:24 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?
Maybe I'm just old?
I brilliantly hide my terrible incompetence behind a veil of false modesty.
Machiavelli was once heard to describe me as "a little intense, jeez."
Machiavelli was once heard to describe me as "a little intense, jeez."
November 12, 2025 at 5:05 AM
I brilliantly hide my terrible incompetence behind a veil of false modesty.
Machiavelli was once heard to describe me as "a little intense, jeez."
Machiavelli was once heard to describe me as "a little intense, jeez."
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
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
What ever happened to turtlenecks?
November 7, 2025 at 9:36 PM
What ever happened to turtlenecks?
Wow hot girl privilege is real
November 6, 2025 at 6:40 PM
Wow hot girl privilege is real
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
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).
Date someone who flirts with a child?!
November 5, 2025 at 2:17 PM
Date someone who flirts with a child?!
Every 3 months, I should be allowed to just veto a radio song.
Off the air for ever.
Off the air for ever.
November 4, 2025 at 3:48 PM
Every 3 months, I should be allowed to just veto a radio song.
Off the air for ever.
Off the air for ever.
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
Really hard to tell the difference between "you're doing it wrong" and "you're not doing it like I would"
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?
What's the difference?
November 2, 2025 at 8:55 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?
What's the difference?
THOSE MONSTERS
I recently learned that some mathematicians deny the existence of large numbers.
www.youtube.com/watch?v=4cFg...
www.youtube.com/watch?v=4cFg...
These Mathematicians Don’t Believe Large Numbers Exist. I’m Serious.
YouTube video by Sabine Hossenfelder
www.youtube.com
November 2, 2025 at 7:40 PM
THOSE MONSTERS
A lot of my cooking life is spent placating the smoke detector like an angry god
November 2, 2025 at 5:01 PM
A lot of my cooking life is spent placating the smoke detector like an angry god
Reposted by Cody
It’s his day.
November 1, 2025 at 1:27 AM
It’s his day.
When the page I'm reading takes more that a few seconds to load
October 31, 2025 at 3:11 AM
When the page I'm reading takes more that a few seconds to load
Reposted by Cody
nobody wants to hear about your problems
October 29, 2025 at 1:11 PM
nobody wants to hear about your problems
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
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.
What's the smallest ordinal that can't be order embedded in the reals?
October 28, 2025 at 2:53 PM
What's the smallest ordinal that can't be order embedded in the reals?
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
Honestly I think the west wing is where the monsters are
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
🧵2/2
October 25, 2025 at 9:13 PM
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
🧵2/2
I'm worried that my concern about being uninteresting makes me boring
October 24, 2025 at 9:42 PM
I'm worried that my concern about being uninteresting makes me boring
I'm old enough to remember people liking Alf unironically
October 23, 2025 at 11:20 PM
I'm old enough to remember people liking Alf unironically