Raghav Malik
banner
r4ghav.bsky.social
Raghav Malik
@r4ghav.bsky.social
PhD candidate at Purdue on the job market. I build compilers for privacy-preserving programs. I also play DnD and the violin and sometimes doomscroll on the nLab 🫡
Pinned
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...
Raghav Malik
raghav198.github.io
Reposted by Raghav Malik
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...
Peter Falk, John Cassavetes, and Ben Gazzara Run Riot | The Dick Cavett Show
YouTube video by The Dick Cavett Show
www.youtube.com
February 12, 2026 at 3:20 AM
Reposted by Raghav Malik
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
February 4, 2026 at 5:32 PM
Reposted by Raghav Malik
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.
one great thing about writing a story is that if you want everything to go through a vast pneumatic tube system you can do that
December 23, 2025 at 7:40 AM
Reposted by Raghav Malik
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
Calling all arguments — Matt Godbolt’s blog
Knowing how compilers call functions can help with design - and optimisation
xania.org
December 16, 2025 at 12:59 PM
Reposted by Raghav Malik
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)
Research proposal: give me 3m € and 10y to understand wtf tensor products are so hard to define and yet behave so neatly. Like why isn't there a simpler construction, and how come this unwieldy construction produce this... this... jewel?
November 2, 2025 at 10:13 PM
Reposted by Raghav Malik
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
I’ve never donated to Wikipedia before but I set up a small monthly donation as a fuck you to the world’s richest psychopath.
Elon Musk takes aim at Wikipedia
Musk has denounced Wikipedia as "Wokepedia" on X and urged people not to donate to the platform.
www.newsweek.com
December 26, 2024 at 12:03 PM
Reposted by Raghav Malik
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
October 10, 2025 at 11:53 AM
Reposted by Raghav Malik
100% All Achievements

xkcd.com/3148/
October 1, 2025 at 8:51 PM
Reposted by Raghav Malik
September 11, 2025 at 10:38 PM
Reposted by Raghav Malik
inhabiting a body is stupid and inconvenient
April 24, 2025 at 6:33 PM
Reposted by Raghav Malik
Birds-eye view of a non-binary person called Skittles riding a bike while wearing a wide-brimmed hat
April 23, 2025 at 3:31 PM
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.
April 22, 2025 at 8:58 PM
Reposted by Raghav Malik
new book on session types just dropped!

www.cambridge.org/us/universit...
Session Types | Programming languages and applied logic
www.cambridge.org
April 3, 2025 at 3:54 PM
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 🤷
January 31, 2025 at 2:33 PM
Reposted by Raghav Malik
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!
Together, through the love and support of dozens of wonderful creators and thousands of wonderful viewers & donors, we've been able to raise $140,000 to support trans-led legal advocacy.

Donations are open for another 12 hours— can we reach $150,000?

www.youtube.com/live/iQ1FbkI...
SpireStream For Trans Rights
YouTube video by Sarah Z
www.youtube.com
January 28, 2025 at 11:16 PM
Reposted by Raghav Malik
Is there anything more beautiful than code that just makes sense?
January 21, 2025 at 12:02 AM
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?
January 13, 2025 at 9:39 PM
Help how do I use the ocaml debugger I can't even figure out how to set a breakpoint at a specific function :(
January 9, 2025 at 9:32 PM
Learning Ocaml by reimplementing one of my projects in it; so far I love this it’s like if Python was good 😍
January 8, 2025 at 5:17 PM
Reposted by Raghav Malik
WARNING: This product contains programming languages known to the State of California to cause memory unsafety
January 7, 2025 at 3:17 AM
Reading through Apple’s arm64 ABI documentation, I’m no longer mad about valgrind not supporting Apple silicon—this shit is *cursed*
December 15, 2024 at 6:40 PM
Reposted by Raghav Malik
The cover for my book on how debuggers work is here!

Preorders are still 25% off: nostarch.com/building-a-d...
December 14, 2024 at 12:05 AM
Unironically: a transpiler is something that transforms like a transpiler

*ducks*
December 10, 2024 at 7:59 PM