Adrian Sampson

@chefraven my condolences to your daughter!

Suffering acute distress from an email that opened with “hope you had a wonderful summer” in the past tense. Where do I report this?

Terminal output from `sudo apt install neofetch` followed by a `netofetch` screen. The apt output is in Spanish, for some reason.

surprised and delighted that I somehow accidentally configured apt en español #bpif3

now with real SD cards, we are in business! to my utter surprise, tailscale Just Worked™ on RV64?? #bpif3

Terminal output from f3probe showing that a disk’s announced size is 124 GB but has 501 MB of usable space.

and indeed, F3 https://fight-flash-fraud.readthedocs.io reports that these “128 GB” cards have 500 MB of flash. god bless capitalism

Two 128 GB MicroSD cards labeled "SanDian Extreme Pro," emitting extreme knockoff vibes.

I looked a little closer at my SD cards and… I think I see the problem 😳

The greenhouses at the outskirts of Cornell campus, with a sunset behind.

sunset ride

current problem: with all the official images, the boot partition works great but the root filesystem has a bunch of extremely scary fsck errors? the many joys of weirdo aliexpress hardware #bpif3

Just a boring-looking single-board computer with power and UART attached.

As part of an effort to avoid real work, I finally got my little RISC-V board (Banana Pi F3) booting as far as initramfs via UART… looking forward to many more thrilling SD card flashings to get the rest of the way to a working thing!

The shadow of a goofball on a bike.

Two bikers riding on gravel, straight into the sun.

One fresh loaf of seed-covered sourdough bread.

we run sort of a seedy joint around here #breadposting

Lefty staring down a deer in the distance.

staring contest underway

Half a loaf of sourdough bread and a couple of slices.

Lefty’s tail and little feet sticking out of a bush.

I’ve been on “vacation” for a couple of weeks but glad to be back in the land of #breadposting and #caturday

@wingo “what about xor linked lists” was a hilarious proto-meme among my grad school friends. the kind of question you can ask in almost any talk, even without paying attention, just like “does your technique work for weaker memory consistency models”

Rachit with SIGARCH chair Natalie Enright Jerger. His award citation says "for contributions to the design and implementation of safe, productive languages for hardware design."

Surreally, @notypes then hopped over to ISCA to collect his honorable mention for the SIGARCH dissertation award. I can’t think of a more appropriate recognition of the unique way Rachit’s work spans two research traditions. Congratulations, Rachit—it’s extremely well deserved!

The other winner is @harrisongoldstein, who also has a rad thesis about usable PBT you should check out: https://harrisongoldste.in/papers/dissertation.pdf

I am getting a little misty-eyed because Harry is one of the first undergrads I worked with at Cornell. Congratulations, Harry!!

Rachit with Andrew Myers, standing in front of a slide that says how awesome Rachit's research is.

Absurdly proud of @notypes for winning one of two SIGPLAN dissertation awards this year! Check out that award-winning thesis: https://people.csail.mit.edu/rachit/files/pubs/dissertation.pdf (photo credit @avanhatt)

Anyway, I think “MLIR disease” can partially explain what has gone wrong with MLIR-for-ML, per Lattner’s retrospective here: execs believing that MLIR would magically compose lots of little dialects into something useful, and therefore underinvesting in the hard problems […]

MLIR is great in many ways, but there is also an “MLIR disease”: the tendency for people who don’t know much about compilers to believe that MLIR solves the hard parts of compilers, when it in fact solves the easy parts.

A somewhat misshapen (but fresh and hot) sourdough pizza with fake pepperoni, banana peppers, and basil.

A somewhat more regularly shaped sourdough pizza with mushrooms, garlic scapes, and basil.

if you make pizza, the law says you must toot it. sorry, but that’s the law. #breadposting

so, uh, if you know someone with $1.5M to burn who wants to bootstrap an ecosystem of high-level languages that compile to hardware, hit up your boy

Totally unsurprised to have my NSF POSE about Calyx as an open-source ecosystem declined for a second time! I’m kinda proud of the proposal, though, so I guess I’m putting it here to save it from the void https://www.cs.cornell.edu/~asampson/media/calyx-pose-proposal.pdf

A fresh loaf of seed-covered sourdough bread.

Lefty, with her eyes barely open, on her favorite blue pillow.

seedy #breadposting & eepy #caturday

A very nice “hands-on” intro to the Filament HDL as compared to Verilog, by Ethan (a recent undergrad graduate from our lab)! https://gabizon103.github.io/blog/intro-filament/

I’m editing/publishing this myself and I have no idea what I’m doing, so if you have comments about the production values, please send them to Aws https://discuss.systems/@sigplan/114614434408897736

A fresh loaf of sourdough bread.

can’t stop #breadposting

good news! I am so desperate for any scrap of good news! https://www.nytimes.com/2025/05/30/arts/music/taylor-swift-buys-masters.html

The final-project blog posts for my grad compilers course, #cs6120, are trickling out, and some of them are pretty fun! A couple of examples:

Simon Bertron turned quantifier elimination into a source-to-source optimization for Python programs with `any` and `all` […]

Ithaca falls, under a blue sky.

we do got waterfalls here

A guy who looks pretty excited to start a bike race!

A muddy-ass trail if I ever saw one. A substantial percentage of the 40 miles was like this.

A mud-covered gravel bike. My bike still looks like this because I am too tired to clean it.

Troublingly muddy bike shoes.

here we go again