Do losers deserve happiness?

Your application isn't real until it has a package manager, and the standard way to install it is via a completely different package manager

reverse karaoke: where famous singers do our jobs for a few minutes

A couple weeks ago I had the great pleasure of inviting Rustan Leino (of Dafny fame) on my podcast, to talk about all sorts of logic stuff! Part II to come soon! open.spotify.com/episode/4d9J...

Every generation thinks it invented absurdism

[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*

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.

first arXiv paper about why magic spells rhyme

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"

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...

In a fair and just society, a porch pirate would be a sex thing and not a crime thing

WITNESS HER

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

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?

I brilliantly hide my terrible incompetence behind a veil of false modesty. Machiavelli was once heard to describe me as "a little intense, jeez."

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

Phil and I talk about filters. open.spotify.com/episode/6psh... RSS: anchor.fm/s/db787130/p...

Mobile mo' problems

What ever happened to turtlenecks?

Wow hot girl privilege is real

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?!

Every 3 months, I should be allowed to just veto a radio song. 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"

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?

THOSE MONSTERS

A lot of my cooking life is spent placating the smoke detector like an angry god

It’s his day.

When the page I'm reading takes more that a few seconds to load

nobody wants to hear about your problems

Oh yes, there are many examples. For example, there is a countably universal partial order and the countable random graph is countably universal, and many other instances. However, there is no countably universal group, as I had found out in this MO question: mathoverflow.net/q/28999/1946.

What's the smallest ordinal that can't be order embedded in the reals?

Honestly I think the west wing is where the monsters are

Monsieur le cartographe était probablement un tenant de la proposition de réforme orthographique de Louis de Lesclache (1668), proposition qui n'eut pas le succès escompté 🧵2/2

I'm worried that my concern about being uninteresting makes me boring

I'm old enough to remember people liking Alf unironically

I guess the good news is there's no way

I believe mostly everyone thinks themselves to be kind and just. Still it's hard to imagine sometimes for some folk.

LADY AT COSTUME PARTY: ooh, I love Garfield! ME (in a lovingly hand-tailored Hobbes costume): *starts weeping* haha yeah i hate mondays

"Hate yourself to success" is actually the name of my self help book

Full comic here: www.smbc-comics.com/comic/signal-4 #smbc

Shakespeare said "a rose by any other name would still smell as sweet", but I notice no one calls bratwurst "diseased ork penis"

I swear I'm normal on the inside! On the outside I have to deal with you cklankers

No matter what happens now that he put tariffs on tea and declared himself King is going to be extremely funny If nothing else than for the historical context of how bad of an idea that traditionally has been in the United States

Because of how bad my memory is, I'm one of the few people who can time travel without causing paradoxes.