scourge of the flute section

Just watched the new Knives Out and I think it's really important you know that the scene in the Seminary's Gym is filmed in the same place Rick Astley filmed the music video for Never Gonna Give You Up. I saw the window tracery and immediately made my friends pause the film so I could tell them.

2025 books read! roughly chronologically ordered by when I read them, but I also wanted to group authors/similar ones together (I haven't actually finished Summer Sons. but I physically have it here with me so I'm sure I will)

what is this loop-de-loop rug and why am I seeing it everywhere

spice cabinet sorting axes: • hue • luminosity • use frequency • remaining amount • container size • grain size • species name • price per gram • distance of cultural origin • distance of manufacturer origin • stroke count of characters in chinese • cinnamon-challenge-style threat level

re floorp specifically though, I looked them up and they have AI on their roadmap docs.floorp.app/docs/roadmaps/ so perhaps not

👉 [email protected]

The ACM Digital Library, where a LOT of computing-related research is published (I'd say at least 75% of my own publications), is now not only providing (without consent of the authors and without opt-in by readers) AI-generated summaries of papers, but they appear as the *default* over abstracts.

tried some Kono 200 but tbh it just looks like an Orwo to me

(covering my left eye) uhhh f, c, ð, v, t, þ

saw Modern Alibi tonight they were v good

v good book, first time I've read SCP stories edited together as one novel

I'm at the types store shopping for types

anisota.net/harvest my emojis are full of despair

my top song of 2025 was We Don't Have Your Wrapped This Year by Get Yours

data Perhaps a = Indeed a | Alas

I'm giving a talk at NJPLS this Friday! But I also submitted this work to OOPSLA so I can't post what it is. If you're not an OOPSLA reviewer you can read the abstract I submitted here! njpls.org/dec2025.html (If you are an OOPSLA reviewer please don't.)

don't freak out but my display name is my publication name for now for a bit that I hope will pay off in a while

no gay men in chinatown 😔

Fields on film 🏴󠁧󠁢󠁳󠁣󠁴󠁿 #35mm 🎞️

bugonia no context spoilers

[at the Thanksgiving parade] Hail our Lady, blessed Virgin Macy, mother of JC Penney

I've been crylaughing at this for a good minute www.tiktok.com/@kratataty/v...

I did a puzzle of the New York subway map!! It's on a large flattened cardboard box bc I don't have a large enough desk lol but the large lid is great as a working tray and I'm thinking of framing this as decor

small bread the size of a large bread en.wikipedia.org/wiki/Panettone

it's too bad they discovered all of the elegant type systems before the 90s because now every type system has an extra context, a signature, a modality, an effect annotation, a coeffect annotation, a dependency annotation, a lifetime, a region, four subscripts, and an obscure greek character variant

just finished reading Luminous by Silvia Park idk what to think of it but I think this book would be up some of yous alley

imo @beliapp.bsky.social should send me an award for this

you can model CBV lambda calculus with an explicit lazy thunk using CBPV's native thunks. can you model CBN with an explicit strict sequencing using CBPV's let binding? yes: ionathan.ch/2025/11/06/s... it turns out instead of the usual CBN translation, you need to use Levy's secret second one

Postcard From the End of the World (digital)

I'm running in your browser

👀 #merch #shop

Something’s wrong with my dog I think it’s gay #art

"you have to admit that copilot is useful for—" no I don't. if vim users don't have to concede that using a mouse is useful then no I don't

it's actually tame impala's monster

zfs stands for ze file système

my five-year plan is a circle actually. year 5 is when I finish building the time machine

I'm part of the LGTM community

Sane Max where they all drive trucks on paved roads at the speed limit

did I ever post my Lean tactic pokémon

I visited the national peanut gallery today and I saw you there

the `Ord` typeclass in Haskell represents types that have been ordained

did you know you can experience a preview edition of all of your married friends talking about their babies by getting together with your coupled friends who own cats

a mega church is what happens when a population is deprived of Broadway musicals

I've decided to load my B&W film into my Canon Sure Shot so that when my kodacolour (!!) film arrives I can shoot on my Minolta Hi-Matic right away but the Sure Shot has motorized advance and I've forgotten how LOUD it is

everything reminds me of her