I want to make a Blue Prince mod where the parlour room has at least one box whose MLTT expressions all type check, and at least one box none of whose MLTT expressions type check

Went to an anti AI datacentre protest march today and a friend of mine got a picture that summed it all up

start doing computer science <3

NJPLS starts NOW!!

Introduce yourself with 10 bands/musicians you've seen live! • Friday Pilots Club • iDKHOW • Kevin Walkman • The Happy Fits • Modern Alibi • The Wrecks • Weathers • Will Joseph Cook • Boys Go To Juipiter • fun.

grass grows, birds fly, sun shines- and

Blue Prince (2025)

this is maybe incredibly niche and philly-local but even though supposedly Metropolitan Bakery sold their factory and recipes to Merzbacher's who are still selling their bread under the Metropolitan brand I swear the same multigrain loaf I used to get doesn't even SMELL the same

Sometimes art is so breathtaking and poignant it defies all expectation

and all that jazz

> the region sees the highest per-capita water usage in the country, and officials say large infrastructure projects and residents actively conserving water are both needed over the next century. www.cbc.ca/news/canada/...

despite organizing files being one of its major use cases, databases is actually all math

oh

When Spring arrives, and brings back the colour #35mm 🎞️

it's intl labour day and may day I didn't end up going to the rally but I did see a big rat which I understand is a union mascot

The NJPLS talk schedule is out! njpls.org/may2026.html

Why has @Coldforce.bsky.social been suspended? I don't see anything in the ToC about assassination attempts, as long as threats aren't made on site.

TODAY is the last day to register for NJPLS!! njpls.org/may2026.html

*imagining a NB acadien man w a chiac accent* i think i hauve Coυid

Rochester NY 📍📸

help

wtf why are my fotos horizontal rotierender

here's some photos of me

I heard images weren't loading

This Is Just To Say I have turned off the AI features that were in the update and which you were probably hoping to monetize Fuck you they were stupid so unnecessary and so annoying

I'm back on my street in Manayunk

AI is profoundly unpopular. A recent NBC News poll found that among 18-34 year-olds, AI's net favorability rating is -44. *Negative 44*. Those are basically serial killer numbers. It's not much better among women 18-49. (Men over 50 and upper class are the only ones who like AI, and just barely.)

One week left to NJPLS deadline next Friday!

thinking abt how you could acronymize "foreign function interface" with ffi U+FB03 ʟᴀᴛɪɴ ꜱᴍᴀʟʟ ʟɪɢᴀᴛᴜʀᴇ ꜰꜰɪ

to be completely honest if I had an overheating phone and you told me it was IP68 waterproof I would have tried running it under the sink too

hewwo??

From Chinatown

gonna quote post every time I see Kevin Walkman perform lol this was his latest single, Billy Doesn't Want U I didn't record it but it's always a banger when he sings I'm Not Crazy tho

saw idkhow on tour again tonight yay I love the little tada hands Dallon does at the end of this clip, I didn't notice it when recording

procrastinated on writing my paper in LaTeX so I wrote a blog post about LaTeX ionathan.ch/2026/04/08/L...

the tuna casserole that Artemis II had for lunch is also the furthest that fish has travelled from earth

Absolutely incredible Nutella ad.

I called it lmao

yaaay I'm on northsky now!

I was looking through AMS Binary Relations and I found you there

are there any more things like this

One month left to register or submit a talk proposal for NJPLS @ Penn this May! The deadline is 𝗙𝗿𝗶𝗱𝗮𝘆, 𝟮𝟰 𝗔𝗽𝗿𝗶𝗹.

i mostly agree with this although i would also add that i just find llms incredibly annoying to deal with ionathan.ch/2026/03/18/L...

Folks—I'll get to the point. Something incredible just happened.

milk of magnesia comes from magnetic cows