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
Reposted by Cody
[New Blog Post] Primitive, Leveled, and Quantifier Union Finds www.philipzucker.com/prim_level_uf/ #logic #egraph
Primitive, Leveled, and Quantifier Union Finds
There is an interesting and simple union find variation that allows primitives into the union find.
www.philipzucker.com
November 29, 2025 at 8:42 PM
[New Blog Post] Primitive, Leveled, and Quantifier Union Finds www.philipzucker.com/prim_level_uf/ #logic #egraph
Made an error in your proof? No problem! That's now a *definition*
November 26, 2025 at 4:08 PM
Made an error in your proof? No problem! That's now a *definition*
The fact that I would shoot myself if I experienced even the slightest embarrassment makes me really good at not accidentally hitting "reply all".
So there is a plus.
So there is a plus.
November 21, 2025 at 9:37 PM
The fact that I would shoot myself if I experienced even the slightest embarrassment makes me really good at not accidentally hitting "reply all".
So there is a plus.
So there is a plus.
Reposted by Cody
first arXiv paper about why magic spells rhyme
November 21, 2025 at 1:30 PM
first arXiv paper about why magic spells rhyme
A deep theorem of computer science states that if the time hierarchy collapses, then P = NP.
November 19, 2025 at 3:27 PM
A deep theorem of computer science states that if the time hierarchy collapses, then P = NP.
Since being on antidepressants, I'm now more "I'm gonna die someday" and less "I'm gonna die someday, thank goodness"
November 18, 2025 at 7:14 PM
Since being on antidepressants, I'm now more "I'm gonna die someday" and less "I'm gonna die someday, thank goodness"
Reposted by Cody
Doctor says, 'Dont worry, parser design is simple. Great programmer Kate Compton has written the parser you seek’
November 16, 2025 at 2:44 PM
Doctor says, 'Dont worry, parser design is simple. Great programmer Kate Compton has written the parser you seek’
Le Roi et L'Oiseau
A delightful animation that dares to ask the bold questions, like "what if OSHA didn't exist?"
m.imdb.com/fr/title/tt0...
A delightful animation that dares to ask the bold questions, like "what if OSHA didn't exist?"
m.imdb.com/fr/title/tt0...
Le roi et l'oiseau (1980) ⭐ 7.7 | Animation, Famille, Fantastique
1h 23m | Tous publics
m.imdb.com
November 15, 2025 at 5:41 AM
Le Roi et L'Oiseau
A delightful animation that dares to ask the bold questions, like "what if OSHA didn't exist?"
m.imdb.com/fr/title/tt0...
A delightful animation that dares to ask the bold questions, like "what if OSHA didn't exist?"
m.imdb.com/fr/title/tt0...
In a fair and just society, a porch pirate would be a sex thing and not a crime thing
November 14, 2025 at 3:17 PM
In a fair and just society, a porch pirate would be a sex thing and not a crime thing
Reposted by Cody
Someone handed this to my grandpa in an Inwood bar, c. 1946
January 24, 2025 at 4:46 PM
Someone handed this to my grandpa in an Inwood bar, c. 1946
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?