Under appreciated casualties of global warming: the songs "California dreamin'" by the Mamas and the Papas and "Hazy shade of winter" by the Bangles

Rewatching Smallville. It's basically a masterclass in bad dialogue. But somehow that's kind of what it has going for it? Like an almost comical lack of subtlety.

Help settle an argument with my wife: does "oven" rhyme with "eleven"?

Imperfections are charming... on attractive people. So are perfections, come to think of it.

Part 2 of Extensionality vs Intensionality in Type Theory with Loic Pujet! I could listen to that gentle voice all day! open.spotify.com/episode/3qVh... I'd love to do an episode where we explore all the anti-classical variants as well.

Loïc Pujet - Type theory and extensionality part II

The Church of Logic · Episode

open.spotify.com

I wonder if being a computer scientist today is like being a dinosaur astronomer. Like, it's exciting to see, but it could destroy us all.

Super pumped to have interviewed Loic Pujet for a new episode! We talked about extensionality in type theory, which comes up a lot in practice (and in theory). open.spotify.com/episode/5B8u... as usual, the RSS: anchor.fm/s/db787130/p...

Loic Pujet - Type theory and extensionality part I

The Church of Logic · Episode

open.spotify.com

In preparation, I'll be watching Spider-man: no way home, Spider-man: there's no place like home and Spider-man: Lost in New York

Keeping out of the sun is a good way to make your skin seem young and your mind seem depressed

Expecting a Text - Gustave Courtois (1882)

Now nostalgia heavy shows are catering to people younger than me.

Pack it up folks, we've solved PL.

Someone on Reddit was explaining how one can date ancient historical works like the Odyssey by checking references in the text to objects or places for which we have an earliest possible date, like when Ulysses gets into his Lamborghini Aventador, which was not produced until approx 2011

The problem with appsec xkcd.com/937/

TornadoGuard

xkcd.com

I've found that treating people as if they were intelligent is actually quite effective. This "50% of people are even dumber than that" George Carlin BS does not make you as cool as you think.

So the Jacobian conjecture is false huh? It's been a disappointing year.

I'm a good programmer because I'm a bad programmer. That clever idea you had that's gonna be unmanageable at 10k lines? I hit that limit at 200 lines.

Man I've been holding in this pee for McConnell's grave for nothing!?

The enema of my enema

Grothendieck's Erdős number is 3. I'm not sure whether I expected this to be higher or lower. mathscinet.ams.org/mathscinet/f...

Tragically, falling into patterns that are hard to break out of, is a pattern that is hard to break out of.

Mark Ham wowed the world with this picture. But then someone wowed me even more by pointing out that the moon always has the same phase when it's in a rainbow! (1/2)

Girls Just Wanna Have that plastic doohickey that allows you to re-seal opened plastic bags

Driving: the most boring of terrifying activities

Hi r/compilers! I've come up with a new language, that aspires to the readability of Python with the performance of C/C++. There's still a lot of work to do, but..

Lol

ALT: Lol

static.klipy.com

Most people live to be older than most people.

How dare I live the dream life of an intellectual from the XVIth century and still be so unsatisfied?

I'm really not crazy about the "fish climbing a tree" metaphor. Sucking at one thing doesn't make me good at another thing.

My examples? Simple, concrete, enlightening. You examples? Convoluted. Ad hoc. Unrealistic.

Apparently the secret to being a musician is practicing until you hate the piece