Cody's Avatar

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

810 Followers  |  431 Following  |  1,527 Posts  |  Joined: 28.08.2023  |  1.8744

Latest posts by codyroux.bsky.social on Bluesky

starting a dating site where singles can meet others who also want to dismantle the system of police brutality and the targeted disappearing and killing of immigrants and their allies. it’s going to be called ICEbreakers

16.02.2026 07:55 β€” πŸ‘ 139    πŸ” 40    πŸ’¬ 4    πŸ“Œ 0

"impressive costumes" is a desperate hail mary

16.02.2026 21:31 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

If tomorrow ever arrives!

16.02.2026 18:04 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
Obi Wan GIF ALT: Obi Wan GIF
16.02.2026 08:37 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

It's extra good luck if you're an actor!

15.02.2026 08:25 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Just push the car

14.02.2026 22:46 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Why is it so sexy to be an "international jewel thief"?

If I rummage in someone's drawers to find their grandma's necklace, that makes me an asshole, but if I use the money to buy a plane ticket home, all of a sudden I'm a suave James Bond type?

14.02.2026 22:43 β€” πŸ‘ 2    πŸ” 1    πŸ’¬ 1    πŸ“Œ 0

More like Rude-in

14.02.2026 13:14 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Seen here "pitying the fool"

14.02.2026 13:12 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

I bought 2 containers of self-sealing stembolts for 2 strips of latinum. Did I get ripped off?

11.02.2026 16:19 β€” πŸ‘ 8    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

I'd listen to this.

11.02.2026 15:04 β€” πŸ‘ 6    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Welcome to Tube Talk with ME, your host, Chief Engineer O’Brien!

Next up is a nonstop Rock Block hosted by Morn, but FIRST: your questions!!

ROM! Patch the first hail through.

Hello? Captain Obry Nsux? What is your question? Hello? HELLO??

11.02.2026 15:01 β€” πŸ‘ 51    πŸ” 4    πŸ’¬ 15    πŸ“Œ 0
Preview
Hadwiger–Nelson problem - Wikipedia

One of the most infuriatingly elementary open problems in mathematics is that we don't know the smallest number of colors that is required to color the plane in such a way that no points at distance 1 have the same color β€” the famous β€œHadwiger-Nelson problem”. β€’1/3

10.02.2026 10:57 β€” πŸ‘ 16    πŸ” 5    πŸ’¬ 3    πŸ“Œ 0

God this is the dream

10.02.2026 11:36 β€” πŸ‘ 1    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0

What's cool is that that vs the no kings protests represents the disparity of influence the billionaires have vs the people

08.02.2026 21:03 β€” πŸ‘ 4    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Why is inductive syntax and recursive semantics then?

08.02.2026 20:58 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Kind of weird that |- is naturally an inductive definition, whereas |= is naturally a recursive definition. I wonder if there's something intrinsic there.

Sorry for the people following me for the jokes.

08.02.2026 19:57 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 2    πŸ“Œ 0

What's ironic is that if you wanted to dedicate your whole life to the noble pursuit of destroying the reputation and livelihood of the richest and most powerful men, you'd have a hard time doing better than

07.02.2026 14:22 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Une princesse ne vit guère de presques...

06.02.2026 22:21 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

LOTR, orc version

06.02.2026 22:19 β€” πŸ‘ 10    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0

"movie musical"?

06.02.2026 21:32 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
a group of young men are posing for a picture and one of them is wearing a striped shirt ALT: a group of young men are posing for a picture and one of them is wearing a striped shirt
06.02.2026 18:38 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Or fame, and an entourage of people bending over backwards to accommodate your every whim.

04.02.2026 08:06 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Ξ»

03.02.2026 15:19 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

A real Vegeta vs Freeza situation

03.02.2026 12:57 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

It's all on your shoulders now, Phillipa

02.02.2026 18:29 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Pascal endorses doom scrolling confirmed

02.02.2026 12:57 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

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?

02.02.2026 12:15 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

I've started a diary. I wonder if this means fewer posts. Is that what Biggy meant?

01.02.2026 22:06 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

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.

29.01.2026 13:35 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

@codyroux is following 20 prominent accounts