Raghav Malik's Avatar

Raghav Malik

@r4ghav

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 🫑

115
Followers
141
Following
61
Posts
19.08.2023
Joined
Posts Following

Latest posts by Raghav Malik @r4ghav

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

06.03.2026 20:47 πŸ‘ 436 πŸ” 22 πŸ’¬ 16 πŸ“Œ 0
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"

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"

i just bought some cardamom at the store. they didn’t ask to see my driver's license since i’m a father

04.03.2026 18:41 πŸ‘ 1824 πŸ” 190 πŸ’¬ 21 πŸ“Œ 2
Peter Falk, John Cassavetes, and Ben Gazzara Run Riot | The Dick Cavett Show
Peter Falk, John Cassavetes, and Ben Gazzara Run Riot | The Dick Cavett Show YouTube video by The Dick Cavett Show

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...

12.02.2026 03:20 πŸ‘ 68 πŸ” 6 πŸ’¬ 3 πŸ“Œ 0

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

04.02.2026 17:32 πŸ‘ 799 πŸ” 166 πŸ’¬ 6 πŸ“Œ 6

THEY HAVE
VEGAN MEATBALLS?!?

04.01.2026 18:16 πŸ‘ 5 πŸ” 0 πŸ’¬ 2 πŸ“Œ 0

I thought this was a bit at first :/

31.12.2025 04:28 πŸ‘ 2 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

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.

23.12.2025 07:40 πŸ‘ 62 πŸ” 4 πŸ’¬ 0 πŸ“Œ 0
Calling all arguments β€” Matt Godbolt’s blog Knowing how compilers call functions can help with design - and optimisation

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

16.12.2025 12:59 πŸ‘ 43 πŸ” 5 πŸ’¬ 2 πŸ“Œ 0

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)

02.11.2025 22:13 πŸ‘ 32 πŸ” 3 πŸ’¬ 5 πŸ“Œ 1

gex

01.11.2025 06:19 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

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

26.12.2024 12:03 πŸ‘ 27345 πŸ” 35536 πŸ’¬ 260 πŸ“Œ 397

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

10.10.2025 11:53 πŸ‘ 20 πŸ” 14 πŸ’¬ 1 πŸ“Œ 2

Proposal to replace her name with β€œBear” so that eventually her real name is lost to history

04.10.2025 03:21 πŸ‘ 3 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Using the proper Her to refer to T***** S**** is so funny ily

04.10.2025 03:17 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

I was a pretty big fan of SPLLSH 2024

01.10.2025 20:58 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
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.

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.

100% All Achievements

xkcd.com/3148/

01.10.2025 20:51 πŸ‘ 3852 πŸ” 409 πŸ’¬ 40 πŸ“Œ 40

Wdym? Trees are just contractible graphs right? Or does regular tree mean something different

26.09.2025 18:16 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

This is how I learned what toki pona is and I also hate it

26.09.2025 17:47 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Post image
11.09.2025 22:38 πŸ‘ 17 πŸ” 2 πŸ’¬ 2 πŸ“Œ 0

sorry πŸ₯Ί

19.07.2025 14:06 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Are you from Kuru city or one of the villages?

19.07.2025 03:02 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Hell yeah

17.06.2025 07:39 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

gex

27.04.2025 22:48 πŸ‘ 3 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

Implicit as in not named? I’m not sure I follow

25.04.2025 02:24 πŸ‘ 0 πŸ” 0 πŸ’¬ 2 πŸ“Œ 0

inhabiting a body is stupid and inconvenient

24.04.2025 18:33 πŸ‘ 197 πŸ” 61 πŸ’¬ 11 πŸ“Œ 5
A poorly-drawn circle with a line coming out on two opposing sides

A poorly-drawn circle with a line coming out on two opposing sides

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

23.04.2025 15:30 πŸ‘ 16 πŸ” 1 πŸ’¬ 1 πŸ“Œ 0

Yup, I'd seen the term "action groupoid" before but in kind of different contexts

22.04.2025 22:28 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

OH yeah that makes sense!! So C(X) is just the category of elements of the functor X : BM -> Set

Amazing, thank you!!

22.04.2025 22:21 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

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.

22.04.2025 22:17 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0