Reposted by Raghav MalikJeremy Kun @jeremykun.com · 14/08/2026I'll write a more detailed blog post this weekend, but here's an update on our work on HEIR blog.google/security/how...blog.googleHow Google is Making Private AI Practical with Homomorphic EncryptionToday 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
Reposted by Raghav MalikSarah Z @sarahz.bsky.social · 06/03/2026This 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 MalikJon Bois @jonbois.bsky.social · 04/03/2026i just bought some cardamom at the store. they didn’t ask to see my driver's license since i’m a father 191853193 0
Reposted by Raghav MalikSarah Z @sarahz.bsky.social · 12/02/2026Him: 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.comPeter Falk, John Cassavetes, and Ben Gazzara Run Riot | The Dick Cavett ShowYouTube video by The Dick Cavett Show 3696 0
Reposted by Raghav Malikqdot @buttplug.engineer · 04/02/2026inspired 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
Reposted by Raghav MalikNicole Heinimann @saltypeppermint.bsky.social · 23/12/2025I 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 MalikMatt Godbolt @matt.godbolt.org · 16/12/2025Day 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 #AoCO2025xania.orgCalling all arguments — Matt Godbolt’s blogKnowing how compilers call functions can help with design - and optimisation 2425 0
Reposted by Raghav MalikRochelle @uberwensch.bsky.social · 02/11/2025the 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
Reposted by Raghav MalikBohdan Pavuk @bpavuk.neocities.org · 26/12/2024if 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 Malikalpine @alpine.girlfag.club · 10/10/2025Hey 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/2025Proposal 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/2025Using the proper Her to refer to T***** S**** is so funny ily 110 0
Reposted by Raghav MalikRandall Munroe @xkcd.com · 01/10/2025100% All Achievements xkcd.com/3148/ 403829409 0
Raghav Malik @r4ghav.bsky.social · 26/09/2025Wdym? Trees are just contractible graphs right? Or does regular tree mean something different 000 0
Raghav Malik @r4ghav.bsky.social · 26/09/2025This is how I learned what toki pona is and I also hate it 000 0
Reposted by Raghav MalikSkellyton 🦇 @infinitefinite.blog · 24/04/2025inhabiting a body is stupid and inconvenient 1019460 0
Reposted by Raghav MalikSy Brand @tartanllama.xyz · 23/04/2025Birds-eye view of a non-binary person called Skittles riding a bike while wearing a wide-brimmed hat 1161 0
Raghav Malik @r4ghav.bsky.social · 22/04/2025Yup, I'd seen the term "action groupoid" before but in kind of different contexts 010 0
Raghav Malik @r4ghav.bsky.social · 22/04/2025OH 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/2025I'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/2025If 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/2025A 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 MalikCyrus Omar on sabbatical in Cambridge @neurocy.bsky.social · 03/04/2025new book on session types just dropped! www.cambridge.org/us/universit...cambridge.orgSession Types | Programming languages and applied logic 03512 0
Raghav Malik @r4ghav.bsky.social · 04/02/2025As 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/2025This doesn’t play nicely with e.g. default parameters though, right? 100 0
Raghav Malik @r4ghav.bsky.social · 31/01/2025You 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/2025This is the one thing I like about “ADTs” in Python actually lol 100 0
Raghav Malik @r4ghav.bsky.social · 31/01/2025The 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 MalikSarah Z @sarahz.bsky.social · 28/01/2025Trans 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 · 25/01/2025I definitely don’t miss writing double column PLDI papers 😅 010 0
Raghav Malik @r4ghav.bsky.social · 13/01/2025Oh, 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/2025In 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/2025In 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