Him: You better not be a stupidly hammered Peter Falk, John Cassavetes, and Ben Gazzara fucking with Dick Cavett, refusing to talk to him, repeatedly falling over, and giving each other drunken piggybacks when I get there Me: www.youtube.com/watch?v=x-kP...

inspired by CLAUDE.md, I’ve started putting markdown files named after coworkers into work code repos so I can remind them to stop doing shit to the codebase that annoys me for some reason they’re all mad at me now, which means ill be adding commands to JEREMY.md for an attitude adjustment

I do not spend nearly enough time thinking about pneumatic tube systems given how much joy they spark. My New Year’s resolution will be to rectify that.

Day 16: Calling conventions matter! Pass 8 chars as separate args: stack spillage. Pack them in a struct: single register. Sometimes structs are MORE efficient than separate parameters! xania.org/202512/16-ca... youtu.be/Yaw8AMoP4sI #AoCO2025

the tensor product is extremely trivial to define. since it is only characterized up to isomorphism, and since any two vector spaces of the same dimension are isomorphic, the tensor product of V and W is any vector space of dimension dim(V)×dim(W)

if you see this post, your actions are: - if you have a spare buck, give it to Wikipedia, then repost this - if you don't have a spare buck, just repost your action is mandatory for the world's best source of information to survive

Hey y'all! If you, or someone you know, is/are looking for: - Broadcast Engineer - Camera Switching Technician - Graphics Operator Please let me know! I can work internationally! (I am based in the Netherlands) Please let me know! #mutualaid #forhire #transmutualaid #helpsky #broadcast

100% All Achievements xkcd.com/3148/

inhabiting a body is stupid and inconvenient

Birds-eye view of a non-binary person called Skittles riding a bike while wearing a wide-brimmed hat

A monoid M acting on a set X gives rise to a category, call it C(X), where the objects are X and the morphisms from x1 to x2 are all elements m\in M such that m*x1 = x2. For example, C(M acting on {*}) is the category with one object, morphisms labeled by M, and composition is multiplication.

new book on session types just dropped! www.cambridge.org/us/universit...

The Enigma Variations are so funny to me because Elgar wrote a pretty decent one for his wife, and then gave his publisher Nimrod, one of the most brutally heartwrenching pieces of all time. Like listen to variations 1 and 9 and tell me which one sounds like someone you’re in love with 🤷

Trans people are here to stay. No matter what, the world is and will continue to be a better and more beautiful place because it has trans folks in it. We are all going to keep fighting to live in a better world. Donations to the Transgender Law Center are open through the link for another 9 hours!

Is there anything more beautiful than code that just makes sense?

In OCaml, is there a way to write a recursive type as the fixpoint of some explicitly specified functor (in the category-theoretic sense, idk if that aligns with what OCaml calls a functor), in such a way that it plays nicely with pattern matching?

Help how do I use the ocaml debugger I can't even figure out how to set a breakpoint at a specific function :(

Learning Ocaml by reimplementing one of my projects in it; so far I love this it’s like if Python was good 😍

WARNING: This product contains programming languages known to the State of California to cause memory unsafety

Reading through Apple’s arm64 ABI documentation, I’m no longer mad about valgrind not supporting Apple silicon—this shit is *cursed*

The cover for my book on how debuggers work is here! Preorders are still 25% off: nostarch.com/building-a-d...

Unironically: a transpiler is something that transforms like a transpiler *ducks*

Not only is Raghav’s research cool, he is also an excellent teacher! He has been my GTA for two semesters in OOP and has been basically operating as a co-instructor. He also taught data structures on his own in summer. Students in all sections loved and learned a lot from him. You should hire him!!!

Since enough of PL twitter seems to have moved on here: Hi I'm Raghav; I'm a PhD candidate at Purdue and I'm on the faculty job market this year! My research lies at the intersection of PL and security; specifically, I like making privacy-preserving programs more efficient and...

if you have a lot of fun learning how things work and nerding out about the details (debuggers! C++!), I highly recommend Sy's book :D not only do they have a lot of experience in this, but they explain complicated topics really well, which is so rare to find in technical deep dives!

HOMOTOPY THEORIST THANKSGIVING: - ∞-CATEGORICAL turkey - EQUIVARIANT cranberry sauce - BISIMPLICIAL pumpkin pie - MORITA EQUIVALENT mac n cheese - EKMM RING SPECTRUM jreen bean casserole stuffing

I enjoy my work, but I also love my free time outside of work where I play video games🎮, read manga, watch anime, and go bowling🎳.

Hi BlueSky! I'm an Assistant Professor at Purdue doing research in PL/SE. I'm interested in developing software verification techniques that fit into existing development workflows, so we can produce more secure software! I assess techniques with theory & proofs, user studies, & by building tools.🧵

I made a wee starter pack of some of the computing people I follow. I am sure I have forgot tons of people! go.bsky.app/MWGdzxM

Here is my starter pack of PL folks -- please come and join the fun! go.bsky.app/6kzdn3x

Please convince your friends to join this platform (or whatever else other than X) so we can see interesting content that we **actually** want to see

Guess im officially on here now!

I'm on the industry job market in 2024!!! I combine PL and HCI to build the next generation of developer tools, from novel interfaces for AI code validation, to new synthesis techniques. And I'm looking for research and research engineering positions. Please get in touch!

went to the store Warm regards, Jon Bois Executive Producer, Secret Base "Eagles don't flock, you have to find them one at a time." - H. Ross Perot