지산

Oh shit

Did until the Korea move

this hits hard.

truth: I cancelled Spotify, and still own the CSound book.

Our $100M Series B / Oxide Raising our Series B round of financing

Our $100M Series B oxide.computer/blog/our-100...

Our $100M Series B / Oxide Raising our Series B round of financing

🎉We raised $100M USD in our Series B financing. Thank you to USIT for leading this round, to our existing investors for their participation, and to our team, customers, and community for getting us to where we are today!

oxide.computer/blog/our-100...

Is Oxide a private cloud? FAQ Friday #11

candid photo of Harry Dean Stanton smoking a cigarette in costume on the set of 'Alien'

happy birthday to the incomparable Harry Dean Stanton (July 14 1926-Sept 15, 2017) 📽️

Every once in a while, if you’re lucky, you get to share a “new job” update that’s more like a “life goal ✅” update. This is one of those times.

The @oxide.computer podcast has made me better at debugging

“What do you mean normal men?”

Well, here we go. After well over two years, here's a new version of my programming languages book, PLAI (v3.2.5). As always, free of cost! Can't thank enough all the people named in the acknowledgments. Enjoy!
www.plai.org

OTD 1983: Toronto USENIX conference.

Schedule of talks: www.krsaborio.net/un...

When people ask me what music I listen to the most I am going to start just showing them this picture.

I genuinely can't remember a single thing Clarissa explained

I ❤️ baseball and even pay for memberships for fangraphs and effectively wild :)

YouTube video by elevato Kids in the Hall - Directions (I speak no English)

Little known fact: the original LLM was developed back in the 90's by a tiny but innovative Canadian team www.youtube.com/watch?v=6vgo...

The painting of Viggo from Ghostbusters 2

when you know you fucked up at work and then your boss gives you this look

hey, lukas and i gave a talk about salsa in rust-analyzer and i think it’s a good time; check it out

I’ve been going through the rare breed recently. So good

YouTube video by Oxide Computer Company Oxide and Friends 6/9/2025 -- Debugger-driven Development

i had a ton of fun joining @bcantrill.bsky.social , @ahl.bsky.social, and our coworkers Dave Pachecho and John Gallagher on this week's Oxide and Friends, "Debugger-Driven Development" --- check it out if you love ASCII art: www.youtube.com/watch?v=hdqc...

Cat that is probably yawning and stretching it’s forlimb toward the camera but the cat is doing this all in such a way that they look like Hans Gruber falling at the end of Die Hard

Someone somewhere pointed out this cat looks like Hans Gruber at the end of Die Hard and I am reminded of this cat now any time I think of Alan Rickman or Die Hard.

Honored to be speaking at RustConf again this year—this time about some of the thornier challenges we've faced building async services at scale @oxide.computer. The lineup looks fabulous!

Achievement level unlocked. The other day, Andy van Dam walks up to me, puts his hand on my shoulder, and says, "You know, Shriram … that is the [pauses for effect] BEST imitation of @bcantrill.bsky.social … I have EVER heard."

CC @ahl.bsky.social

Crow T Robot from Mystery Science Theater 3000

We already have a Joe Rogan of the left

I love this slide so much (go @shriram.bsky.social)

Programming Language Pragmatics textbook cover, showing a waterfall in a woodland

I'm delighted to announce the 5th edition of Programming Language Pragmatics! I joined Michael Scott as a coauthor. We updated the semantics chapter to use inference rules, & substantially updated coverage of types, OO, codegen, Rust ownership & safe concurrency, async, traits & more!

Brown CS professor Tom Doeppner and me at a dinner honoring Tom on his retirement

Had the great pleasure tonight of being with Brown CS professor Tom Doeppner, who is retiring after an extraordinary 49 years of teaching. Tom -- and his legendary OS course, CS169 -- inspired multiple generations of practitioners. Thank you, Tom!

🚀 I'll be launching the Formal Methods Engineering Lab (manchester-fme.github.io) – and I am hiring!
If you’re interested, feel free to reach out.

YouTube video by current continuation E1: Ranjit Jhala (UCSD)

As part of SIGPLAN blog, @samps.phd (Cornell) and I started an interview series where we talk to luminaries in the field of Programming Languages. Our first one is a super fun conversation with Ranjit Jhala (UCSD). 1h26m of goodness. www.youtube.com/watch?v=goUZ...