RationallyDense (they/he/she/any)
rationallydense.bsky.social
RationallyDense (they/he/she/any)
@rationallydense.bsky.social
They also say elsewhere:
May 14, 2025 at 5:03 PM
Option 1: The larger button is larger because it should be preferred on account of using less water.

Option 2: The larger button is larger because it represents more water being used.

I can never decide and I hate it.
May 12, 2025 at 12:43 PM
Check this out. I'm proving false.
May 10, 2025 at 12:33 PM
You described opposition to Harris' genocidal policies as "making the perfect the enemy of the good". You implied she would "try to do something". When you characterized her as not giving us "100%", that implied she was giving a lot more than 0%.
May 6, 2025 at 4:27 PM
The number of people who are deeply offended that her posts might scare the guy who calls everyone a pedophile is very funny.
May 6, 2025 at 2:45 PM
Unfortunately, there is an xkcd for that too.
April 25, 2025 at 3:49 PM
The term "virtue signaling" gets thrown around a lot these days, but it does seem applicable to this particular person.
April 7, 2025 at 4:56 AM
Also, there's nothing to say subclasshook can't change the class you pass to to it. Have fun with it.
April 3, 2025 at 4:18 PM
March 29, 2025 at 12:47 PM
The groveling and begging for attention is embarrassing...
March 26, 2025 at 4:30 AM
March 12, 2025 at 3:51 AM
Behold! The true masters of playing to the whims of autocrats!
January 19, 2025 at 4:30 AM
We already have a Greenland at home.

The Greenland at home:
January 7, 2025 at 11:34 PM
January 4, 2025 at 5:41 PM
Not the crossover we need, but the one we deserve.
January 3, 2025 at 11:39 PM
December 12, 2024 at 7:13 PM
Well, I wrote a proof assistant in LK... Here's an example session:

I still need to implement quantifiers, but I did manage to prove something, which feels really neat.
November 26, 2024 at 7:54 AM
Noticing that No Gods No Mayors is not on this platform. So pinging @postoctobrist.bsky.social for an episode on "the Unabomb".
November 20, 2024 at 6:19 PM
Why do British people believe World War 1 was fought for freedom?
November 4, 2023 at 2:32 AM