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
Raghav Malik
@r4ghav.bsky.social
· Dec 5
Raghav Malik
raghav198.github.io
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...
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...
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
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)
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
- 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
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
- 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
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
- 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
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
- 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
Reposted by Raghav Malik
![Comic. PERSON 1 to person with white hat: I finished all the gen-ed back in 2010, and I’m up to the 400-level courses in most departments. But now one of my advisors is saying I “can’t have more than 20 majors” and “need to graduate next year.” It’s outrageous! [caption] My university is making it really hard to finish a 100% all achievements speedrun.](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:cz73r7iyiqn26upot4jtjdhk/bafkreigl6eeo62a2vwfi5hsaakrhvcqhoh7zpjgqslpteem2vfdmtxh4si@jpeg)
October 1, 2025 at 8:51 PM
Reposted by Raghav Malik
Reposted by Raghav Malik
inhabiting a body is stupid and inconvenient
April 24, 2025 at 6:33 PM
inhabiting a body is stupid and inconvenient
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
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.
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
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.
For example, C(M acting on {*}) is the category with one object, morphisms labeled by M, and composition is multiplication.
Reposted by Raghav Malik
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
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 🤷
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!
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...
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
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!
Donations to the Transgender Law Center are open through the link for another 9 hours!
Reposted by Raghav Malik
Is there anything more beautiful than code that just makes sense?
![def factorial(n):
return eval('*'.join([str(x) for x in range(1,n+1)]))](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:5rowvb4jjbm26fdkx6a5rxls/bafkreienzspeanmljibyxdgcec72xbfzsgpwxudsu5xn4sirqpdcw5kugy@jpeg)
January 21, 2025 at 12:02 AM
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?
January 13, 2025 at 9:39 PM
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 :(
January 9, 2025 at 9:32 PM
Help how do I use the ocaml debugger I can't even figure out how to set a breakpoint at a specific function :(
Reposted by Raghav Malik
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
Learning Ocaml by reimplementing one of my projects in it; so far I love this it’s like if Python was good 😍
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
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*
December 15, 2024 at 6:40 PM
Reading through Apple’s arm64 ABI documentation, I’m no longer mad about valgrind not supporting Apple silicon—this shit is *cursed*
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...
Preorders are still 25% off: nostarch.com/building-a-d...
December 14, 2024 at 12:05 AM
The cover for my book on how debuggers work is here!
Preorders are still 25% off: nostarch.com/building-a-d...
Preorders are still 25% off: nostarch.com/building-a-d...
Unironically: a transpiler is something that transforms like a transpiler
*ducks*
*ducks*
December 10, 2024 at 7:59 PM
Unironically: a transpiler is something that transforms like a transpiler
*ducks*
*ducks*
Reposted by Raghav Malik
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...
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
December 6, 2024 at 6:10 PM
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...
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
December 5, 2024 at 5:32 PM
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...
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...
Reposted by Raghav Malik
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!
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!
My upcoming book that teaches you how to write a native Linux debugger is 40% off today and tomorrow with the code PREORDER!
It teaches you everything from how breakpoints work, to tracing shared library loads, to executing function calls inside the running process, and more
It teaches you everything from how breakpoints work, to tracing shared library loads, to executing function calls inside the running process, and more
Building a Debugger
Download Chapter 3: Attaching to a Process If debuggers seem like magic to you, there is no better way to demystify them than to write your own.
nostarch.com
November 27, 2024 at 5:37 PM
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!
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!
Reposted by Raghav Malik
HOMOTOPY THEORIST THANKSGIVING:
- ∞-CATEGORICAL turkey
- EQUIVARIANT cranberry sauce
- BISIMPLICIAL pumpkin pie
- MORITA EQUIVALENT mac n cheese
- EKMM RING SPECTRUM jreen bean casserole stuffing
- ∞-CATEGORICAL turkey
- EQUIVARIANT cranberry sauce
- BISIMPLICIAL pumpkin pie
- MORITA EQUIVALENT mac n cheese
- EKMM RING SPECTRUM jreen bean casserole stuffing
'Tis the season!
November 27, 2024 at 8:14 PM
HOMOTOPY THEORIST THANKSGIVING:
- ∞-CATEGORICAL turkey
- EQUIVARIANT cranberry sauce
- BISIMPLICIAL pumpkin pie
- MORITA EQUIVALENT mac n cheese
- EKMM RING SPECTRUM jreen bean casserole stuffing
- ∞-CATEGORICAL turkey
- EQUIVARIANT cranberry sauce
- BISIMPLICIAL pumpkin pie
- MORITA EQUIVALENT mac n cheese
- EKMM RING SPECTRUM jreen bean casserole stuffing