Sign in

Adrian Sampson

@adrian.discuss.systems.ap.brid.gy
65 followers 3 following 283 posts

Carly Rae Jepsen fan account. 🌉 bridged from ⁂ discuss.systems/@adrian, follow @ap.brid.gy to interact

PostsRepliesMedia
Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 26/09/2026
just #breadposting through it all
One fresh loaf of sourdough bread.
011
Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 19/09/2026
a real crunchy boi this week #breadposting
A fresh loaf of sourdough bread.
001
Reposted by Adrian Sampson
Per Vognsen @pervognsen.mastodon.social.ap.brid.gy · 14/09/2026
I was already controlling for performance anomalies related to layout within the executable. But I have a repro where making a byte-exact copy of an executable occasionally (about 10%) of the time will create a program that runs significantly slower (5-10%) than the original because of where it […]
mastodon.social
Original post on mastodon.social
000
Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 13/09/2026
I got a mosquito bite on my eyelid, which is proof that god doesn’t exist
001
Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 11/09/2026
it has been a #breadposting kind of week
A fresh loaf of sourdough bread.One dozen sourdough everything bagels.
002
Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 10/09/2026
sorry to the asplos pc for submitting 3 papers 😬
000
Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 27/08/2026
what do y’all think the difference between trash and garbage is?
No household trash or garbage, please.
000
Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 10/08/2026
[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”
000
Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 24/07/2026
I do not know how to take a picture that conveys how brutal this hill was. still had a good time!!!
A really, really steep hill. You’ll just have to trust me.The shadow of a cool gravel bike.A weird bike dork trying to smile.
000
Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 06/07/2026
the trail was just packed with people talking about the #mosstodon hashtag
A seriously rad gravel bike in front of some dramatic trees.A big ol' mossy rock. Also some ferns.A guy walking a bike into an absolutely enchanted forest scene.Some weird moss growing on a tree.
012
Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 27/06/2026
tentacle debt
000
Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 27/06/2026
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 youtu.be/_Xqexqiqkdk
001
Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 25/06/2026
just in time for the solstice, I seem to have sorted out my summertime proofing routine #breadposting
One fresh loaf of sourdough bread.One fresh loaf of sourdough bread, sawed in half.
011
Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 25/06/2026
I have been working on a fake Unix shell, which is 50% practical joke and 50% earnest attempt to make computational pangenomics go fast. www.cs.cornell.edu/~asampson/blog/f…
cs.cornell.edu
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.
221
Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 24/06/2026
I’m still pretty bad at pizza, as indicated by this gradient from charcoal to edible #breadposting
Four pizzas. The first is a blackened mess, and they look gradually more delicious from there.One fresh sourdough pizza, with mushrooms and banana peppers.
111
Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 23/06/2026
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: www.xteink.com
“The Idiot” on an Xteink X3.The Xteink X3, in profile to show how itsy-bitsy it is.
111
Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 23/06/2026
this is not a drill stereogum.com/2503007
stereogum.com
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…
010
Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 18/06/2026
Sad to be missing #pldi2026!! However,
A reservoir, from high above.A gravel bike on a winding dirt road.Los Angeles.A chill situation where two dirt roads recede into the mountains in the distance.
020
Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 13/06/2026
I’m on vacation, so I spent the flight doing the most relaxing thing I could think of (fiddling with my dotfiles)
010
Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 05/06/2026
it seems to finally be summer
A gaggle of cyclists on a dirt road.The evening sun peeks through some shrubbery.A couple of bikes on a lonely road at almost-sunset.
210
Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 31/05/2026
seems insensitive of CACM to publicly post someone’s AI psychosis? cacm.acm.org/blogcacm/i-spent-a-yea…
It started almost by accident. At my startup Dwelly, I constantly push the limits of what AI tools can actually do. One day I just typed into a chat: “Can you prove P ≠ NP?”—referring to the problem the math community has been stuck on for decades.Where I Am Now

I have a complete formalization of the P ≠ NP problem. All major publications have been analyzed and translated into code. I have an overall proof structure and a small number of clearly identified gaps: assumptions under which the problem is already solved. My current focus is turning those assumptions into proven statements.
029
Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 30/05/2026
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 youtu.be/vZYbEL06lEU
000
Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 28/05/2026
💡 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
110
Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 26/05/2026
This blog post is an extended metaphor that serves as an excuse to complain about Verilog. www.cs.cornell.edu/~asampson/blog/b…
cs.cornell.edu
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.
138
Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 22/05/2026
It’s finally the time of year when it’s 70° somewhere in my house, so things can actually rise properly #breadposting
One fresh loaf of sourdough bread.
001
Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 19/05/2026
practicing for the impending pizza season #breadposting
One melty slice of sourdough pizza. And a sunset.A very hot and misshapen sourdough pizza.
001
Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 16/05/2026
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
A plate full of sourdough dinner rolls.
001
Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 06/05/2026
I think it sucks that compute power is apparently measured in watts now! at least report the FLOPS, you weirdos
000
Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 05/05/2026
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”
220
Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 29/04/2026
[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!
000
Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 27/04/2026
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……?? www.cs.cornell.edu/courses/cs3410/2…
cs.cornell.edu
Rust - CS 3410 Spring 2026
000
Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 25/04/2026
right back on my #bullshit. #breadposting
One dozen fresh sourdough everything bagels.
000
Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 24/04/2026
first time back out in the woods this year. it is hella not looking like spring yet
Just the sun coming through some trees.A guy on a bike in the woods.Some tall, skinny, bare little trees.
000
Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 22/04/2026
it has been [ 0 ] days since Adrian accidentally stayed up late starting a new programming language implementation
010
Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 21/04/2026
it’s cheap humor, but I still think Mail Merge fuckups are funny
Dear Professor Professor,
I hope this email finds you well! I'm reaching out because I noticed you teach Computer Science courses at
internet_sources/michpdev_EmailWebScraper/professors.csv.
000
Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 10/04/2026
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
Two fresh loaves of sourdough bread.
041
Reposted by Adrian Sampson
Mel :blobcatgiggle: @mlyoung.tech.lgbt.ap.brid.gy · 02/04/2026
new blog post! after a long hiatus :blobcat: mlyoung.cool/blog/design_conductor_…
mlyoung.cool
The "Design Conductor" paper is bunk
A paper about an 'agent' 'autonomously' building a 1.5 GHz 'Linux-capable' CPU turns out to be full of misinformation and unfair comparisons. I.e., it's bunk. I break down why.
103
Reposted by Adrian Sampson
Per Vognsen @pervognsen.mastodon.social.ap.brid.gy · 27/03/2026
@adrian This reminds me, I currently have separate Firefox add-ons for old.reddit.com and nitter.net redirects. There should really just be a generic regex-based redirect add-on. And indeed there is […]
mastodon.social
Original post on mastodon.social
000
Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 21/03/2026
☕️ LATTE, our little workshop on hardware design languages/compilers/etc., has 24 (!) rad-looking position papers this year. It’s on Monday, and you can attend on Zoom or in Pittsburgh: capra.cs.cornell.edu/latte26
capra.cs.cornell.edu
LATTE ’26
114
Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 20/03/2026
spending all day carefully crafting a to-do list, sequencing it for optimal productivity, polishing off the finishing touches just in time for bed
000
Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 14/03/2026
what we have here is gluten inflation #breadposting #breadposting
Two fresh loaves of sourdough bread.
001
Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 14/03/2026
every year, I get an invitation to a Cornell “Distinguished Chair Holders Luncheon,” which I have never attended, but this is what I imagine it looks like
A luncheon for people who hold distinguished chairs.
028
Reposted by Adrian Sampson
Stefano Volpe :spinny_fox: @foxy.blahaj.zone.ap.brid.gy · 10/03/2026
@adrian@discuss.systems neat! I love alternative front-ends. I added this to my redirects on Redirector. Include pattern: dl.acm.org/doi/* Redirect to: al.radbox.org/doi/$1
001
Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 10/03/2026
Because I have poor self control, I made a thing to avoid looking at those increasingly terrible ACM Digital Library pages. Introducing Analog Library: al.radbox.org
al.radbox.org
Analog Library Premium Edition™
41919
Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 09/03/2026
My most difficult teaching moment, you ask? Last week, I live-coded an assembly program that eventually added 42 and 27 in front of 300 students, and when the simulator showed register a0 containing 69, I only had a split second to decide whether to say “nice”
010
Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 05/03/2026
Delighted to announce that both of our PLDI submissions have been rejected! ✨
100
Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 01/03/2026
it has been a busy week #breadposting #breadposting
One dozen fresh everything sourdough bagels.Two fresh loaves of sourdough bread.
010
Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 25/02/2026
Thank *you*, weird web form. I agree.
Thank you

What happens next

You do not need to do anything
000
Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 20/02/2026
anyway, I thought I’d try a sandwich loaf and I may have overshot a bit on height 😳 #breadposting
A fresh loaf of rectangular whole-wheat-ish bread.
000
Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 20/02/2026
I put a “find the three memory-safety bugs in this C program” question on my exam, and of course there are (at least) four bugs 🤦
300