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
Pascal endorses doom scrolling confirmed
I've been thinking about this line from Pascal's Pensées lately. It does feel like a lot of life is simply finding things to avoid having to think about life, how empty and meaningless it can feel, or how hopeless it can be.
February 2, 2026 at 12:57 PM
Pascal endorses doom scrolling confirmed
I hate doing stuff as much as the next person...
In fact I hate doing stuff way more than the next person. Can the next person be the one doing the stuff?
In fact I hate doing stuff way more than the next person. Can the next person be the one doing the stuff?
February 2, 2026 at 12:15 PM
I hate doing stuff as much as the next person...
In fact I hate doing stuff way more than the next person. Can the next person be the one doing the stuff?
In fact I hate doing stuff way more than the next person. Can the next person be the one doing the stuff?
I've started a diary. I wonder if this means fewer posts. Is that what Biggy meant?
February 1, 2026 at 10:06 PM
I've started a diary. I wonder if this means fewer posts. Is that what Biggy meant?
Idea for an online service: a site that takes 2 different books and gives you a reading list that gradually morphs the style and genre of the first book into the second.
E.g. if the first is Agatha Christie and the second is some cookbook, then murder mysteries increasingly about food and chefs.
E.g. if the first is Agatha Christie and the second is some cookbook, then murder mysteries increasingly about food and chefs.
January 29, 2026 at 1:35 PM
Idea for an online service: a site that takes 2 different books and gives you a reading list that gradually morphs the style and genre of the first book into the second.
E.g. if the first is Agatha Christie and the second is some cookbook, then murder mysteries increasingly about food and chefs.
E.g. if the first is Agatha Christie and the second is some cookbook, then murder mysteries increasingly about food and chefs.
The thing you need to know about me baby, is that I only get into the shower if it's at my *exact* body temperature. Sorry if that's a deal breaker.
January 29, 2026 at 10:52 AM
The thing you need to know about me baby, is that I only get into the shower if it's at my *exact* body temperature. Sorry if that's a deal breaker.
Pet peeve: someone makes a parody version of a famous song verse, but doesn't respect the meter.
January 28, 2026 at 12:29 PM
Pet peeve: someone makes a parody version of a famous song verse, but doesn't respect the meter.
Is it better to have some great achievement in something that ends up totally and utterly irrelevant, like phrenology or homeopathy, or to just do nothing noteworthy your whole life?
Please say the latter.
Please say the latter.
January 28, 2026 at 10:50 AM
Is it better to have some great achievement in something that ends up totally and utterly irrelevant, like phrenology or homeopathy, or to just do nothing noteworthy your whole life?
Please say the latter.
Please say the latter.
I wrote a somewhat self indulgent talk about building (verified) systems with LLMs, and now I'm somewhat self indulgently sharing it:
drive.google.com/file/d/1Ot8W...
drive.google.com/file/d/1Ot8W...
drive.google.com
January 27, 2026 at 9:40 PM
I wrote a somewhat self indulgent talk about building (verified) systems with LLMs, and now I'm somewhat self indulgently sharing it:
drive.google.com/file/d/1Ot8W...
drive.google.com/file/d/1Ot8W...
I think people who do therapy secretly *want* this to be true, because it would mean our problems aren't mundane.
But the tragedy of life is that even the horrible stuff is pretty run-of-the-mill.
But the tragedy of life is that even the horrible stuff is pretty run-of-the-mill.
January 27, 2026 at 9:29 PM
I think people who do therapy secretly *want* this to be true, because it would mean our problems aren't mundane.
But the tragedy of life is that even the horrible stuff is pretty run-of-the-mill.
But the tragedy of life is that even the horrible stuff is pretty run-of-the-mill.
Question from @sandmouth.bsky.social : does LPO prove strong normalization of type annotated SKI?
Seems like it does, which surprises me a little.
Seems like it does, which surprises me a little.
January 26, 2026 at 3:20 PM
Question from @sandmouth.bsky.social : does LPO prove strong normalization of type annotated SKI?
Seems like it does, which surprises me a little.
Seems like it does, which surprises me a little.
Reposted by Cody
Was editing and noticed that if you rotate-left "those" you get "ethos". Was curious how many of these are in English. Big dicts have a lot of junk, and most endings in "s" are for plurals. Here's a good list of rotwords.
January 25, 2026 at 4:17 PM
Was editing and noticed that if you rotate-left "those" you get "ethos". Was curious how many of these are in English. Big dicts have a lot of junk, and most endings in "s" are for plurals. Here's a good list of rotwords.
I'm not one to think one country is better than another, but I gotta say French comic stores go pretty hard compared to American ones
January 24, 2026 at 5:58 PM
I'm not one to think one country is better than another, but I gotta say French comic stores go pretty hard compared to American ones
Reposted by Cody
January 23, 2026 at 11:18 AM
Flying out of the US of A for slightly greener pastures in an hour.
Good I feel like a coward. Not sure what the moral course of action is right now.
Fighting the fascists in every possible way, I imagine. Why have we let this happen? Where's the fucking 2nd amendment folk now?
Good I feel like a coward. Not sure what the moral course of action is right now.
Fighting the fascists in every possible way, I imagine. Why have we let this happen? Where's the fucking 2nd amendment folk now?
January 23, 2026 at 12:17 AM
Flying out of the US of A for slightly greener pastures in an hour.
Good I feel like a coward. Not sure what the moral course of action is right now.
Fighting the fascists in every possible way, I imagine. Why have we let this happen? Where's the fucking 2nd amendment folk now?
Good I feel like a coward. Not sure what the moral course of action is right now.
Fighting the fascists in every possible way, I imagine. Why have we let this happen? Where's the fucking 2nd amendment folk now?
The "lens philosophy" seems to rely on an isomorphism between
{ get : s -> a; set : s -> a -> s}
And
for all f, Functor f => (a -> f a) -> s -> f s
Is there a general philosophy for concocting these kinds of isos?
{ get : s -> a; set : s -> a -> s}
And
for all f, Functor f => (a -> f a) -> s -> f s
Is there a general philosophy for concocting these kinds of isos?
January 19, 2026 at 4:25 AM
The "lens philosophy" seems to rely on an isomorphism between
{ get : s -> a; set : s -> a -> s}
And
for all f, Functor f => (a -> f a) -> s -> f s
Is there a general philosophy for concocting these kinds of isos?
{ get : s -> a; set : s -> a -> s}
And
for all f, Functor f => (a -> f a) -> s -> f s
Is there a general philosophy for concocting these kinds of isos?
Intensions we're good, but...
January 18, 2026 at 4:01 PM
Intensions we're good, but...
Reposted by Cody
That's the one! Here's the updated version, w/ links to new repo, etc.
cs.brown.edu/courses/csci...
cs.brown.edu/courses/csci...
Mystery Languages
cs.brown.edu
January 16, 2026 at 1:41 AM
That's the one! Here's the updated version, w/ links to new repo, etc.
cs.brown.edu/courses/csci...
cs.brown.edu/courses/csci...
Humor is awesome in that it turns sadness into joy.
Not *my* sadness, true. But yours...
Not *my* sadness, true. But yours...
January 16, 2026 at 6:46 PM
Humor is awesome in that it turns sadness into joy.
Not *my* sadness, true. But yours...
Not *my* sadness, true. But yours...
I'm like if an idiot had a PhD
January 16, 2026 at 12:22 AM
I'm like if an idiot had a PhD
What do you mean, I "made you asexual"?
January 14, 2026 at 2:40 PM
What do you mean, I "made you asexual"?
God help me I hope I don't become a huge racist asshole when I get older
January 13, 2026 at 6:11 PM
God help me I hope I don't become a huge racist asshole when I get older
New episode, on the Veblen Hierarchy!
Let it not be said that I don't talk about popular mathematics in the zeitgeist.
open.spotify.com/episode/3kbo...
Let it not be said that I don't talk about popular mathematics in the zeitgeist.
open.spotify.com/episode/3kbo...
The Veblen Hierarchy
Spotify video
open.spotify.com
January 13, 2026 at 2:56 PM
New episode, on the Veblen Hierarchy!
Let it not be said that I don't talk about popular mathematics in the zeitgeist.
open.spotify.com/episode/3kbo...
Let it not be said that I don't talk about popular mathematics in the zeitgeist.
open.spotify.com/episode/3kbo...
Reposted by Cody
If you guys start WW3 I'm gonna be SO T-Oed
January 6, 2026 at 11:45 PM
If you guys start WW3 I'm gonna be SO T-Oed