I've started a diary. I wonder if this means fewer posts. Is that what Biggy meant?

Idea for an online service: a site that takes 2 different books and gives you a reading list that gradually morphs the style and genre of the first book into the second. E.g. if the first is Agatha Christie and the second is some cookbook, then murder mysteries increasingly about food and chefs.

The thing you need to know about me baby, is that I only get into the shower if it's at my *exact* body temperature. Sorry if that's a deal breaker.

Pet peeve: someone makes a parody version of a famous song verse, but doesn't respect the meter.

Is it better to have some great achievement in something that ends up totally and utterly irrelevant, like phrenology or homeopathy, or to just do nothing noteworthy your whole life? Please say the latter.

I wrote a somewhat self indulgent talk about building (verified) systems with LLMs, and now I'm somewhat self indulgently sharing it: drive.google.com/file/d/1Ot8W...

I think people who do therapy secretly *want* this to be true, because it would mean our problems aren't mundane. But the tragedy of life is that even the horrible stuff is pretty run-of-the-mill.

Question from @sandmouth.bsky.social : does LPO prove strong normalization of type annotated SKI? Seems like it does, which surprises me a little.

Was editing and noticed that if you rotate-left "those" you get "ethos". Was curious how many of these are in English. Big dicts have a lot of junk, and most endings in "s" are for plurals. Here's a good list of rotwords.

I'm not one to think one country is better than another, but I gotta say French comic stores go pretty hard compared to American ones

Balcony https://botfrens.com/collections/12055/contents/938527

Flying out of the US of A for slightly greener pastures in an hour. Good I feel like a coward. Not sure what the moral course of action is right now. Fighting the fascists in every possible way, I imagine. Why have we let this happen? Where's the fucking 2nd amendment folk now?

The "lens philosophy" seems to rely on an isomorphism between { get : s -> a; set : s -> a -> s} And for all f, Functor f => (a -> f a) -> s -> f s Is there a general philosophy for concocting these kinds of isos?

Intensions we're good, but...

That's the one! Here's the updated version, w/ links to new repo, etc. cs.brown.edu/courses/csci...

Humor is awesome in that it turns sadness into joy. Not *my* sadness, true. But yours...

I'm like if an idiot had a PhD

What do you mean, I "made you asexual"?

God help me I hope I don't become a huge racist asshole when I get older

New episode, on the Veblen Hierarchy! Let it not be said that I don't talk about popular mathematics in the zeitgeist. open.spotify.com/episode/3kbo...

Cantor-Bernstein:

If you guys start WW3 I'm gonna be SO T-Oed

Dow Jones? A religion. Mormonism? A stock market.

This seems like a great idea

dante made up an entire fake trip through hell just so he could talk about how he coincidentally saw every single one of his enemies there receiving graphically specific and tailor-made punishments

Just once I want to see a movie where the hero gets shot in the leg and it fucks them up like it would in real life.

When i was a young man, I knew exactly what I wanted and worked hard towards that goal. And still failed.

Arguing about compassion to selfish people is a category error

Aah Seattle

New, from me: The NYT reporter who specializes in profiles of beleaguered right-wingers on campus went to New College...and found out that things were going ok! So let me explain some pretty massive errors of omission: 🧵 donmoynihan.substack.com/p/the-nyt-re...

Super pumped to get socks this Xmas. The death of my inner child.

Toposlogicon

The world forgets that Grace Jones and Dolph Lundgren had a relationship, but sadly decided not to grace us with a child with the most powerful jawline this weary world could bear.

"This video could have been a blog post", I post during a meeting that could have been an e-mail

Google Gemini Pro: please generate a map of the western united states showing cities of over 250K population

It's the smugness that gets me

Helpful

That's right, the crime of being too sexy!!

I'll take her do-over if she doesn't want it

Weird how much of it is just showing up.

Sometimes I feel it's weird that the person we want to have sex with all the time also needs to be the person we wanna be filing taxes with. Seems like different skill sets

Someday I'll write a book called "The Joy of LaTeX" and it'll just be blank pages.

Of the Earth's current population estimate of around 8.3 billion people, you are one of them.

😏

Rarely have I seen a less helpful article: en.wikipedia.org/wiki/Ramific...

Ok but the thing is I've never been content in my life

Getting popped in the hood for calling it a "rap band"

Here's part II of my chat with Rustan Leino! We get into some of the nitty-gritty of program proof techniques... open.spotify.com/episode/3HJP...

Just when you thought you had 'em figured out.