Lightnews — Scholar-powered news

Cody

@codyroux.bsky.social

770 followers 370 following 1.3K posts

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

www.kleene.church

Posts Media Videos Starter Packs

Cody @codyroux.bsky.social · 4h

I think that's a crime in most states

Cody @codyroux.bsky.social · 1d

Who doesn't work when spoken aloud?

Cody @codyroux.bsky.social · 1d

”... makes you live in a society..."

Uh oh

1 8

Cody @codyroux.bsky.social · 2d

Ze kaizer!

Cody @codyroux.bsky.social · 2d

It's just good dating advice

Cody @codyroux.bsky.social · 2d

Is your car a train?

darktower.fandom.com/wiki/Blaine_...

Blaine the Mono

Blaine the Mono was a sentient monorail that went insane over the course of its long lifetime. He became suicidal and attempted to kill Roland and his ka-tet in his suicide, but was ultimately defeate...

darktower.fandom.com

Reposted by Cody

Julie Lavender Menace @2tickytacky.bsky.social · 3d

In 1980, my mom invented the double bow for shoe tying and revolutionized babysitting.

30 86

Cody @codyroux.bsky.social · 2d

Insult to injury it's all doctors appointments

1 1

Cody @codyroux.bsky.social · 4d

Oh bother!

1 1

Cody @codyroux.bsky.social · 4d

Little more fruitful activities than understanding in _depth_ why a wrong "intuitive" idea is wrong.

Cody @codyroux.bsky.social · 4d

I recommend clothing.

1 1

Reposted by Cody

Liberal Currents @liberalcurrents.com · 4d

“The problem with billionaires isn’t that they’re hoarding money that would otherwise pay for a Scandinavian social utopia. It’s that their money has become a source of wildly distorted political power that allows a few men with extremist views to wreak havoc on the rest of us.”

Billionaires Are Hoarding Power, Not Money

Billionaire money has become a source of wildly distorted political power that allows a few men with extremist views to wreak havoc on the rest of us.

www.liberalcurrents.com

160 720 2.7K

Cody @codyroux.bsky.social · 5d

It weirds me that you all can't hear even a tiny percentage of what's going on in the old noggin.

Probably for the best though.

Cody @codyroux.bsky.social · 5d

I refuse to love who I love. Hate that guy.

SIDE BANGS @sidebangsmusic.com · 5d

I will always love who I love, can’t help it

Cody @codyroux.bsky.social · 6d

Hirsute is a fur suit end skeet

Reposted by Cody

J. L. Westover @mrlovenstein.bsky.social · 6d

lucky dog

4 240 1.3K

Reposted by Cody

Forrest Plump @nahyoudoit.bsky.social · 6d

Prescription-strength consistency

4 14 47

Reposted by Cody

Uncle Duke @uncleduke1969.bsky.social · 6d

“That there’s a damn shame, Bill. Yeah, no, sorry, I didn’t see anything. I was visiting my sister’s tree over on Morgan. I’ll ask around and let you know if I hear something, though. Geez, what a world, am I right? Anyway, your homeowners policy should cover it, no?”

A squirrel stands next to a partially-chewed pumpkin on a stoop.

7 55 300

Cody @codyroux.bsky.social · 6d

A module signature would be the preferred mechanism IMHO.

Perhaps the most idiomatic use of modules, in fact!

1 4

Reposted by Cody

Gro-Tsen @gro-tsen.bsky.social · 6d

This has an interesting application: if someone speaks of “12.34% of our foobars” (and if they rounded correctly!), then by the computation of the previous skeet, you can deduce that they have at least 154 foobars. Because no fraction with fewer would round to 0.1234.