what do y’all think the difference between trash and garbage is?

[michael jackson] I’m on a long flight again, trying to resist seizing control of the PA system to holler “IF YOU ARE WATCHING ‘MICHAEL’ (2026) YOU MUST STOP IMMEDIATELY; I KNOW YOU LOVE YOUR MEMORY OF MJ BUT IT IS SHAMELESS PROPAGANDA DELIBERATELY CENSORED BY THE ESTATE”

I do not know how to take a picture that conveys how brutal this hill was. still had a good time!!!

the trail was just packed with people talking about the #mosstodon hashtag

tentacle debt

I’m still looking for where the Carly Rae Jepsen community is hiding on the Fediverse, so in the meantime I must subject y’all to an excellent new song https://youtu.be/_Xqexqiqkdk

just in time for the solstice, I seem to have sorted out my summertime proofing routine #breadposting

I have been working on a fake Unix shell, which is 50% practical joke and 50% earnest attempt to make computational pangenomics go fast. https://www.cs.cornell.edu/~asampson/blog/flash.html

A Fake Shell for Pangenomics

To make our library for efficient pangenomics more palatable, I made a little Unix shell. It “cheats” when it sees commands that invoke other pangenomic CLI tools and runs built-in functionality instead. The shell is built around an instruction-based IR that can fluidly intermix shell-like I/O (files and pipes) with efficient in-memory data structures. In a debatably fair comparison, the fake shell runs one shell script 48× faster than running it with sh.

cs.cornell.edu

I’m still pretty bad at pizza, as indicated by this gradient from charcoal to edible #breadposting

I got this adorable tiny e-reader the other week, in an effort to replace doomscrolling with reading. It has kinda worked! Looks like they’re running a chunky sale today: https://www.xteink.com

this is not a drill https://stereogum.com/2503007

Carly Rae Jepsen Announces New Double Album 'Day And Night'

Look who’s back! Carly Rae Jepsen, queen of critically acclaimed cult-favorite pop stars, has recently been teasing a return, and it’s about time. Jepsen never stops touring, but she hasn’t dropped a new album since 2022’s The Loneliest Time and its 2023 companion piece The Loveliest Time. She’s back in a few months with a…

stereogum.com

Sad to be missing #pldi2026!! However,

I’m on vacation, so I spent the flight doing the most relaxing thing I could think of (fiddling with my dotfiles)

it seems to finally be summer

seems insensitive of CACM to publicly post someone’s AI psychosis? https://cacm.acm.org/blogcacm/i-spent-a-year-asking-ai-to-solve-maths-hardest-problem-heres-what-happened/

I have had this Lykke Li song low-level stuck in my head continuously for 15 years; I did not expect Drake to be the guy to bring it right back to the surface this week https://youtu.be/vZYbEL06lEU

💡 daily export from Mastodon timeline to ePub, so I can sit on the porch once each evening and read your jokes like a newspaper while the sun sets

This blog post is an extended metaphor that serves as an excuse to complain about Verilog. https://www.cs.cornell.edu/~asampson/blog/buildingblocks.html

Back to the Building Blocks’ Building Blocks

Verilog is the foundation of all hardware design, and it is fatally flawed. We should all be worried about a glut of hardware bugs caused by Verilog’s unpredictable semantics and simplistic type system.

cs.cornell.edu

It’s finally the time of year when it’s 70° somewhere in my house, so things can actually rise properly #breadposting

practicing for the impending pizza season #breadposting

I didn’t do the egg wash that the recipe called far because (a) I am lazy and (b) I don’t have a little silicone brush, but they’re still pretty good! #breadposting

I think it sucks that compute power is apparently measured in watts now! at least report the FLOPS, you weirdos

My toxic trait: “Hey Adrian, what do you think about this technical problem?” “I dunno, seems complicated; we had better be careful about the effort/reward trade-offs” “What if we framed it as ✨designing and implementing a programming language✨?” “I’m in”

[academia doomerism] I just had a lil $20k REU supplement proposal rejected! this used to be a rubber-stamp kinda thing! it really feels like there is no research money anywhere! and all the CFPs are just for appearances!

My big undergrad systems class always has roughly 2 lectures of slack at the end, and this time I’m going to try introducing Rust. It has required telling a few lies but I’m trying to keep them to a minimum……?? https://www.cs.cornell.edu/courses/cs3410/2026sp/notes/rust.html

right back on my #bullshit. #breadposting

first time back out in the woods this year. it is hella not looking like spring yet

it has been [ 0 ] days since Adrian accidentally stayed up late starting a new programming language implementation

it’s cheap humor, but I still think Mail Merge fuckups are funny

what’s going on with me lately is that I got a fancy new stand mixer, which encourages me to bake way more bread than I need #breadposting