On Monday, Dave Pacheco joined @bcantrill.bsky.social and me to reflect on his experience leading a large, complex (very complex) project to build automated update into the Oxide Rack. Hard-won wisdom on leadership and the avoidance of debilitating "organizational procrastination".

Project 2 in my compilers class has students build a compiler from a tiny straight-line arithmetic language to x86-64--includes nice debugging server to help diagnose faults vs. instructor outputs kmicinski.com/cis531-f25/p...

LOL

Finally got around to reading Build Systems à la Carte (dl.acm.org/doi/pdf/10.1...), it's really great (like everyone says). I love papers like this, that take a well-known, messy, unloved area and propose a useful organizing principle for it.

It was me, Radia Perlman is goated

Tom Homan took a bag of cash from an undercover FBI agent the right way. by Ezra Klein

This was a great talk and I'm glad it was recorded and made public. In addition to the technical elements discussed (updates are like the Ship of Theseus of software 😬), the project management aspects of delivering such a huge effort were very insightful.

Yesterday I updated my Rust port scanner, called Eyes, so that the scanning takes places in a library, which the CLI uses. I did that so I could experiment with using pyO3 so Python could call the Rust library. I used the maturin library for the Python interop. I am delighted by how easy it was! 🦀

Great to see a key piece of the AT Protocol ecosystem being structured for long term independence - the PLC Directory of account identifiers will now be managed & maintained by a Swiss Association

Often when sum types (tagged unions/enums with data) come up, folks claim that they're equivalent to multiple implementations of an interface. Beyond the rough ergonomics of the latter, this is not actually true! In reality, *non-exhaustive enums* are equivalent to *sealed interfaces*. Read more:

It’s been over a month but Oxide and Friends has a new episode up on the pod (and another one dropping tomorrow morning)

I 💜'ed this talk at Oxcon last week. As someone who studies'ish SE at CMU, it frames programming in the large (vs small) in such a present, grounded reality.

Next week is the start of @db.cs.cmu.edu's latest seminar series: Future Data Systems @samarchdb.bsky.social and I are hosting speakers from leading systems in the datalake / lakehouse space. Mondays @ 4:30pm ET via Zoom. Open to the public. Videos posted to YouTube: db.cs.cmu.edu/seminars/fal...

On this week's OxF, @bcantrill.bsky.social and I were joined by the Oxide manufacturing team to talk about all that goes into ramping up production, from processes and tooling to expanding the team and refining inefficiencies. We can't build them fast enough, and it's a great problem to have!

Last week, we were treated to an extraordinary talk internally at @oxide.computer. It was at once an expository talk of a complicated software system and an experience talk of developing systems software in the large -- and it was far too good to keep to ourselves! oxide.computer/blog/systems...

I really liked this guide to Z3 in Rust. Great tutorial for how to check constraints or logic programming in Rust. asibahi.github.io/thoughts/a-g...

Papers We Love #nyc kicking off with Michael Vaughn on EXE: Automatically Generating Inputs of Death

Last week, @ganeumann.bsky.social joined @bcantrill.bsky.social and me to discuss his blog post from 2015, examining the work of Carlota Perez on technological revolutions. Common themes: frenzy, bust, and deployment. Is AI a new wave or the culmination of the IT wave of the last 50 years?

Love the recent #rustlang split between serde and serde_core, so that crates like camino and iddqd can depend on serde_core and have their builds be parallelized with serde_derive. This is a long-standing issue Released camino 1.2.0 and iddqd 0.3.13 with deps on serde_core!

serde is improving compiletimes by moving traits into serde_core github.com/serde-rs/ser... crates.io/crates/serde... Spotted in the wild at github.com/tokio-rs/byt...

Repo for my #rustconf talk with links and notes is at github.com/sunshowers/c... -- have a look!

Oxide is entering a whole new era! Wild what a podcasting company can do.

Why Does Power Matter in the Data Center? FAQ Friday #18

Update: It was awesome.

How does Oxide make decisions? FAQ Friday #17

Come work with us!

Today's grad systems course reading: "Implementing Remote Procedure Calls" (Birrell & Nelson 1984). Worth noting that abstractions and infrastructure we take for granted today - e.g., dozens of RPC frameworks were invented only within the last ~40 years: www.cs.cmu.edu/~15712/paper... 1/5

Who is Oxide Built For? FAQ Friday #15

How do parsers work? Check out my latest Programming Language Pragmatics video for an overview of parsing and a deep dive into top-down parsing techniques! youtu.be/f96oRq3deq4

Have you ever considered that your PM is “vibe coding” you

RIP 💙🙏 ”Cross-dressing has been around at least since Shakespeare,” Stamp told People magazine in 1994. ”It would be nice if greater androgyny were the next big social development. It would make relationships easier.”

One day late, but I'm excited to be joining the @oxide.computer team!

doodling: lean type hierarchy

I've been getting a ton of positive feedback about my `jj` tutorial video so I figured I'd share it again across the socials for those who haven't yet seen it. youtu.be/MR6KSB6I_60?...

Some news from @oxide.computer: we got a raise! Our annual salary now stands at $235K. oxide.computer/blog/oxides-...

Register allocation is one of those things that seems like it should take 2 days to implement. Everyone I've ever spoken to about it has found all sorts of surprises that cause those 2 days to balloon. This great post will save future folk much time! bernsteinbear.com/blog/linear-...

RFK Jr. is upset that a recent large Danish study in Annals of Internal Medicine, conducted over 20 yrs in 1 M kids, found no association between aluminum in childhood vaccines & 50 different health conditions. His request for the retraction was rejected. 🧪 www.reuters.com/business/hea...

By popular demand (ht: @paolobarbolini.bsky.social!): @scott.hanselman.com will be joining @ahl.bsky.social and me on the next Oxide and Friends to discuss the promises of tech -- both fulfilled and broken. Join us, Monday, 5p Pacific! discord.gg/QrcKGTTPrF?e...

Oxide and Friends is back with a banger! We raised $100M in our series B, so @sdtuck.bsky.social and @bcantrill.bsky.social answered questions about the round, Oxide, and the future. (not to bury the lede) also the OxF bingo card generator! youtu.be/TMnTC1OhDs8

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

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

🎉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

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