iiinova — where your digital self keeps evolving

Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 15/10/2026

my friend’s dog Stella is extremely hard to photograph; I have a hundred blurry pictures of, like, just her tail. finally got a good one

Stella the little brown dog, being herself.

010 1

Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 04/10/2026

Check out Ayaka’s talk on Tuesday afternoon about a performance profiler she made for accelerator design languages. It makes these cycle-count flamegraphs: al.radbox.org/doi/10.1145/3839509

Figure 4 from the paper, which is a flamegraph. The caption says:

Flame graph from running Petal on the program in Figure 2. Elements that occur in parallel are normalized relative to the total length, so that summing up all threads result in the total length of the par block. Elements within the s1 cell are omitted for space.

110 1

Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 27/08/2026

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

000 0

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.

000 0

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 guy walking a bike into an absolutely enchanted forest scene.

012 2

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, sawed in half.

011 1

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 1

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

111 1

Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 07/06/2026

summering intensifies (I got just slightly sunburned)

An extremely rad bike in front of a wooden dinosaur (?) sculpture.

A long, lonely road with some hay bales by the side.

Some guy dangerously operating a phone while riding a bike.

000 0

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 9

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

001 1

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

001 1

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

000 0

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 0

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

041 4

Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 30/03/2026

Analog Library now links to other versions of a DOI, so you can easily get to the PLDI version from the “SIGPLAN Notices” version of a paper you probably don’t want

Screenshot of the Analog Library entry for the Boehm classic on threads & compilers.

102 2

Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 24/03/2026

Analog Library now has a bookmarklet (or a userscript) you can use to bypass Digital Library crud

114 4

Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 21/03/2026

we did go and write a short paper about our very funky generic compiler driver framework, fud2 capra.cs.cornell.edu/latte26/paper/…

Some of the states and ops implemented in fud2,
with a plan highlighted for executing a Dahlia program.
Boxes are states and arrows are ops. Shaded ops indicate
the states that are used in the plan. This plan uses Verila-
tor simulation. An alternate route (not shaded) can use
AMD’s XRT stack for simulation or on-FPGA execution.

000 0

Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 21/03/2026

24 is kind of a lot of papers: it’s the largest LATTE since it started in 2020. This has so far been a high-acceptance-rate, low-key, discussion-first workshop, but maybe we need to do something different next year.

A plot showing the number of accepted position papers at LATTE between 2020 and 2026. This year (24) is higher that the first year (22) and much higher than any year since (10–15).

000 0

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