Avdi Grimm

18058259864372771.jpg

Good morning

Logic for Programmers The mathematics that will help you in your everyday programming.

I am delighted to announce the v0.11 release of Logic for Programmers! The changelog is ENORMOUS: complete rewrites of databases, decision tables, contracts, and an *entirely new chapter* on proving code correct! Over 20% more content than v0.10, so check it out today!

leanpub.com/logic/

18086769955829054.jpg

Good morning

Like wow, cool, you’re acting surprised that I can meet or exceed the moral standards of the religion that’s spent the last 2000 years trying to wipe out my people

…thank?

actually, no, GFY

18312044728240774.jpg

Good morning

The current "male loneliness"/pushback discourse in my feed is like hearing completely accurate bell hooks quotes about patriarchy except they are read by snarky 90s radio morning show jocks with fart noises and air horns

17919812151012148.jpg

Good morning

There is nothing that gets my red flag meter going quite like men saying things like "it was hard meeting women because I was interested in (insert nerdy thing here)" when I have distinct memories of certain kinds of men in nerdy thing specifically and repeatedly excluding me from nerdy thing.

I was in a group discussing how to get more women to study computer science, when I had a similar experience.

Me and THE other woman there did not like the old campaigns, and a guy went “but you are not real women”!!!!

Hello I am an alien monitoring earth political discourse and I am fascinated by the "liberal" who is *checks notes*: communist, capitalist, pro-war, anti-war, genocidal, anti-genocide, colonialist, antiwestern, queer, phobic, woke, bootlicker, racist, race-traitor, bourgeois, and a dirty hippie

i have been developing a theory of things lately and it's called "big number scary"

not saying it has to be a trend or new, just new to my personal thinking: every time i see a big number now, without contextualizing it, i wonder if someone is trying to use big number scary on me

The people who are most scared are not the ones posting about how scared they are because the people with the most reasons to be scared aren't idiots about opsec. Check on your friends. Esp. the ones with kids.

Last time around, over 10% of the rabbis in the Reform movement went to one of the camps simultaneously to protest. The Reform movement is the largest branch of American Judaism.

Still waiting for any major Christian denomination to have even 1% of its clergy protest Trump’s immigration policies.

I have so many essays in me about the implicit puritanism the Left has failed to deconstruct

like if we must "message" about this, that should be the message. whereas the right wants to put you in a loneliness death spiral where you complain about feminism all day and date a chatbot.

Squirrels make great hats.

Most people don't realize this because their millinery storefronts are very small, and their adsense targeting is so effectively focused. Bonus fact, squirrels are brilliant SEO strategists.

An throne of swords

It was actually me who borrowed @swordsjew.bsky.social's swords and when I land an investor for my new concept in RTO focus-ergonomics I promise to cut her in

Many old-timey aphorisms made more sense before they were corrupted in transmission. For instance "don't scissor while you have the runs"

Don't trust big pharma. Build up your immunity and healthy hormones the way our primal ancestors did: by eating headlice

Autism is caused by prolonged exposure to the EM frequencies emitted by podcast microphones, that's why it's so much more common now

I wonder if there's beer on the sun

Code indentation was invented at IBM as a psyop to make other organization's code run slower

Men who take ice baths in the morning are up to 90% faster at solving trolley problems than men who take lava baths

If you boil socks they won't taste any better but it may lower your risk of disturbing your gut biome

So today I commit to posting only useful and interesting things.

Someone pointed out I posted something that was "not useful or interesting" and it was real wakeup call. A reminder I'm not here as a person, a citizen, a flower-fancier, or a terrified and exhausted solo parent in the scariest era of my life. My job is to say things that are useful and interesting.

18045091730308493.jpg

Good morning

Wait no one told us about 15. Have they been hiding this from us all this time? What OTHER numbers are they keeping from us?

There’s evidence that repeatedly hearing a lie (EVEN WHEN TOLD IT IS A LIE) makes you more likely to believe it, so reposting rightwing videos to dunk on them may actually aid them in propagandizing.

The point of propaganda isn’t to persuade by being compelling—it’s to exhaust your reasoning.

OMG. What a loss.