Sign in

Raghav Malik

@r4ghav.bsky.social
129 followers 142 following 63 posts

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 🫡

PostsRepliesMedia
Raghav Malik @r4ghav.bsky.social · 01/10/2026
Get in line pal
010 0
Reposted by Raghav Malik
Jeremy Kun @jeremykun.com · 14/08/2026
I'll write a more detailed blog post this weekend, but here's an update on our work on HEIR blog.google/security/how...
blog.google
How Google is Making Private AI Practical with Homomorphic Encryption
Today we're excited to showcase HEIR, the latest powerful tool added to our Private Computing Toolkit. HEIR is an open source compiler that unlocks cryptographically-sec…
4135 0
Raghav Malik @r4ghav.bsky.social · 12/07/2026
wait you like elliptic curves???
0101 0
Reposted by Raghav Malik
Sarah Z @sarahz.bsky.social · 06/03/2026
This is Viggo Mortensen doing a social media takeover for Sarah Z. Did you know I broke my toe kicking the helmet when filming the Two Towers? Back to you, Sarah
1643722 0
Reposted by Raghav Malik
Jon Bois @jonbois.bsky.social · 04/03/2026
i just bought some cardamom at the store. they didn’t ask to see my driver's license since i’m a father
text of official creative commons license: "Jon's cardamom joke © 2026 by Jon Bois is licensed under Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International"
191853193 0
Reposted by Raghav Malik
Sarah Z @sarahz.bsky.social · 12/02/2026
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...
youtube.com
Peter Falk, John Cassavetes, and Ben Gazzara Run Riot | The Dick Cavett Show
YouTube video by The Dick Cavett Show
3696 0
Reposted by Raghav Malik
qdot @buttplug.engineer · 04/02/2026
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
6814176 0
Raghav Malik @r4ghav.bsky.social · 04/01/2026
THEY HAVE VEGAN MEATBALLS?!?
2150 0
Raghav Malik @r4ghav.bsky.social · 31/12/2025
I thought this was a bit at first :/
120 0
Reposted by Raghav Malik
Nicole Heinimann @saltypeppermint.bsky.social · 23/12/2025
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.
0614 0
Reposted by Raghav Malik
Matt Godbolt @matt.godbolt.org · 16/12/2025
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
xania.org
Calling all arguments — Matt Godbolt’s blog
Knowing how compilers call functions can help with design - and optimisation
2425 0
Reposted by Raghav Malik
Rochelle @uberwensch.bsky.social · 02/11/2025
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)
7363 0
Raghav Malik @r4ghav.bsky.social · 01/11/2025
gex
010 0
Reposted by Raghav Malik
Bohdan Pavuk @bpavuk.neocities.org · 26/12/2024
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
2612714135176 0
Reposted by Raghav Malik
alpine @alpine.girlfag.club · 10/10/2025
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
12014 0
Raghav Malik @r4ghav.bsky.social · 04/10/2025
Proposal to replace her name with “Bear” so that eventually her real name is lost to history
030 0
Raghav Malik @r4ghav.bsky.social · 04/10/2025
Using the proper Her to refer to T***** S**** is so funny ily
110 0
Raghav Malik @r4ghav.bsky.social · 01/10/2025
I was a pretty big fan of SPLLSH 2024
010 0
Reposted by Raghav Malik
Randall Munroe @xkcd.com · 01/10/2025
100% All Achievements xkcd.com/3148/
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.
403829409 0
Raghav Malik @r4ghav.bsky.social · 26/09/2025
Wdym? Trees are just contractible graphs right? Or does regular tree mean something different
000 0
Raghav Malik @r4ghav.bsky.social · 26/09/2025
This is how I learned what toki pona is and I also hate it
000 0
Reposted by Raghav Malik
Hila Peleg @hilacodes.bsky.social · 11/09/2025
2172 0
Raghav Malik @r4ghav.bsky.social · 19/07/2025
sorry 🥺
000 0
Raghav Malik @r4ghav.bsky.social · 19/07/2025
Are you from Kuru city or one of the villages?
000 0
Raghav Malik @r4ghav.bsky.social · 17/06/2025
Hell yeah
000 0
Raghav Malik @r4ghav.bsky.social · 27/04/2025
gex
120 0
Raghav Malik @r4ghav.bsky.social · 25/04/2025
Implicit as in not named? I’m not sure I follow
200 0
Reposted by Raghav Malik
Skellyton 🦇 @infinitefinite.blog · 24/04/2025
inhabiting a body is stupid and inconvenient
1019460 0
Reposted by Raghav Malik
Sy Brand @tartanllama.xyz · 23/04/2025
Birds-eye view of a non-binary person called Skittles riding a bike while wearing a wide-brimmed hat
A poorly-drawn circle with a line coming out on two opposing sides
1161 0
Raghav Malik @r4ghav.bsky.social · 22/04/2025
Yup, I'd seen the term "action groupoid" before but in kind of different contexts
010 0
Raghav Malik @r4ghav.bsky.social · 22/04/2025
OH yeah that makes sense!! So C(X) is just the category of elements of the functor X : BM -> Set Amazing, thank you!!
110 0
Raghav Malik @r4ghav.bsky.social · 22/04/2025
I've never been so happy to hear "Grothendieck" omg. Could you say more? I've never really understood the Grothendieck construction except as related to fibrations of categories.
110 0
Raghav Malik @r4ghav.bsky.social · 22/04/2025
If f : X -> Y is an equivariant map of M-sets, it induces a functor f* : C(X) -> C(Y), where f*(x) = f(x), and for m : x1 -> x2, f*(m) = m (this works because `f` is equivariant) So C is a functor from M-sets to Cat. Does C have an adjoint? (Also, is `C` called something else in the literature?)
120 0
Raghav Malik @r4ghav.bsky.social · 22/04/2025
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.
120 0
Reposted by Raghav Malik
Cyrus Omar on sabbatical in Cambridge @neurocy.bsky.social · 03/04/2025
new book on session types just dropped! www.cambridge.org/us/universit...
cambridge.org
Session Types | Programming languages and applied logic
03512 0
Raghav Malik @r4ghav.bsky.social · 04/02/2025
As in, the type `{x: int, y: int}` should be distinct from `{x: int, y: int, z: int = 0}` but if all you're given is a record with `x` and `y` its hard to tell which type to use
000 0
Raghav Malik @r4ghav.bsky.social · 04/02/2025
This doesn’t play nicely with e.g. default parameters though, right?
100 0
Raghav Malik @r4ghav.bsky.social · 31/01/2025
You can model each constructor as a dataclass, and then create a union type of all your constructors. e.g: ``` @dataclass class Zero: pass @dataclass class Succ: n: Nat Nat = Zero | Succ ```
010 0
Raghav Malik @r4ghav.bsky.social · 31/01/2025
This is the one thing I like about “ADTs” in Python actually lol
100 0
Raghav Malik @r4ghav.bsky.social · 31/01/2025
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 🤷
000 0
Reposted by Raghav Malik
Sarah Z @sarahz.bsky.social · 28/01/2025
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!
81630562 0
Raghav Malik @r4ghav.bsky.social · 27/01/2025
do u have an example of what you mean?
000 0
Raghav Malik @r4ghav.bsky.social · 26/01/2025
this feels more like continuations right?
000 0
Raghav Malik @r4ghav.bsky.social · 25/01/2025
I definitely don’t miss writing double column PLDI papers 😅
010 0
Raghav Malik @r4ghav.bsky.social · 13/01/2025
Oh, cool! I understand like maybe half of this code but morally it looks kinda like what I'm trying to do...thanks!!!
000 0
Raghav Malik @r4ghav.bsky.social · 13/01/2025
In particular, I know that I can do the following: type t = A of t | B of t * t but can I instead do something like type 'a s = A of 'a | B of 'a * 'a type t = "fixpoint of s" (while still being able to easily pattern match on terms of `t`)?
110 0
Raghav Malik @r4ghav.bsky.social · 13/01/2025
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?
111 0
Raghav Malik @r4ghav.bsky.social · 10/01/2025
Oh!! I did not, thank you!
010 0