Show newer

I hate this time change because it's already 11pm and I know I'm gonna feel like shit tomorrow morning

I can't be the only person who confuses the Dagstuhl Seminar with the Dagwood Sandwich

Who called it a bank and not a money timeshare

I don't remember when I first heard this, but semi-regularly I'm reminded that often, given the right data structure for a problem, the correct algorithm just sorta falls out

we put too much emphasis on saving daylight time and not enough on spending it

Armv7 ARM establishes 3 co-equal branches of control flow:

• 𝙱, 𝙱𝙻, 𝙱𝙻𝚇 (𝚒𝚖𝚖)—direct
• 𝙱𝚇, 𝙱𝙻𝚇 (𝚛𝚎𝚐)—indirect, change ISAₒₚₜ
• 𝙱𝚇𝙹—fuck things up

Framers structured Arm this way to prevent one branch from becoming too powerful, & create checks+balances

I don't really know what I'm doing but maybe this will turn out to be an ok minestrone

I don't know what to make of this recently-read list

I am so tired and confused

It's grad visit day, the day when I want to hide

Wait that's every day

I've been collecting the yellow reflectors that the snowplows have spatula'd from the roadway, thinking I would put them on the cargo bike to increase visibility, but upon further consideration I think it would be bad to put lane markers on a bicycle since it might make drivers think *I'm* the mid-line

Show older
types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.