iiinova — where your digital self keeps evolving

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

1643822

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"

191855193

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

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

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

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

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)

5323

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

2612715935204

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

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.

403830409

Reposted by Raghav Malik

Skellyton 🦇 @infinitefinite.blog · 24/04/2025

inhabiting a body is stupid and inconvenient

1019460

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

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

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

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

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!

81633564

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

Raghav Malik @r4ghav.bsky.social · 09/01/2025

Help how do I use the ocaml debugger I can't even figure out how to set a breakpoint at a specific function :(

221

Raghav Malik @r4ghav.bsky.social · 08/01/2025

Learning Ocaml by reimplementing one of my projects in it; so far I love this it’s like if Python was good 😍

2112

Reposted by Raghav Malik

Steve Klabnik @steveklabnik.com · 07/01/2025

WARNING: This product contains programming languages known to the State of California to cause memory unsafety

623453249

Raghav Malik @r4ghav.bsky.social · 15/12/2024

Reading through Apple’s arm64 ABI documentation, I’m no longer mad about valgrind not supporting Apple silicon—this shit is *cursed*

000

Reposted by Raghav Malik

Sy Brand @tartanllama.xyz · 14/12/2024

The cover for my book on how debuggers work is here! Preorders are still 25% off: nostarch.com/building-a-d...

Cover for the book "Building a Debugger" from No Starch Press. A robot sits at a drafting table drawing a complex machine. In the top-right corner of the table, there is a post-it note with a bug drawn on it and crossed out

918136

Raghav Malik @r4ghav.bsky.social · 10/12/2024

Unironically: a transpiler is something that transforms like a transpiler *ducks*

000

Reposted by Raghav Malik

Jenna DiVincenzo @jcenzo.bsky.social · 06/12/2024

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

161

Raghav Malik @r4ghav.bsky.social · 05/12/2024

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

raghav198.github.io

Raghav Malik

1295

Reposted by Raghav Malik

isa @isadora.codes · 27/11/2024

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!

1195

Reposted by Raghav Malik

david (cheryl reeve stan account) @transfersystem.bsky.social · 27/11/2024

HOMOTOPY THEORIST THANKSGIVING: - ∞-CATEGORICAL turkey - EQUIVARIANT cranberry sauce - BISIMPLICIAL pumpkin pie - MORITA EQUIVALENT mac n cheese - EKMM RING SPECTRUM jreen bean casserole stuffing

15511

Reposted by Raghav Malik

Jenna DiVincenzo @jcenzo.bsky.social · 17/11/2024

I enjoy my work, but I also love my free time outside of work where I play video games🎮, read manga, watch anime, and go bowling🎳.

1101

Reposted by Raghav Malik

Jenna DiVincenzo @jcenzo.bsky.social · 17/11/2024

Hi BlueSky! I'm an Assistant Professor at Purdue doing research in PL/SE. I'm interested in developing software verification techniques that fit into existing development workflows, so we can produce more secure software! I assess techniques with theory & proofs, user studies, & by building tools.🧵

109110

Reposted by Raghav Malik

Satnam Singh @satnam6502.bsky.social · 16/11/2024

I made a wee starter pack of some of the computing people I follow. I am sure I have forgot tons of people! go.bsky.app/MWGdzxM

15518

Reposted by Raghav Malik

Isil Dillig @idillig.bsky.social · 16/11/2024

Here is my starter pack of PL folks -- please come and join the fun! go.bsky.app/6kzdn3x

47234

Reposted by Raghav Malik

Isil Dillig @idillig.bsky.social · 14/11/2024

Please convince your friends to join this platform (or whatever else other than X) so we can see interesting content that we **actually** want to see

1223

Raghav Malik @r4ghav.bsky.social · 18/10/2024

Guess im officially on here now!

000

Reposted by Raghav Malik

Kasra @kasraferdowsi.bsky.social · 25/10/2023

I'm on the industry job market in 2024!!! I combine PL and HCI to build the next generation of developer tools, from novel interfaces for AI code validation, to new synthesis techniques. And I'm looking for research and research engineering positions. Please get in touch!

085

Reposted by Raghav Malik

Jon Bois @jonbois.bsky.social · 22/10/2023

went to the store Warm regards, Jon Bois Executive Producer, Secret Base "Eagles don't flock, you have to find them one at a time." - H. Ross Perot

1050736