Nostr notes by Adrian Sampson

I’m still looking for where the Carly Rae Jepsen community is ...

2026-06-27T01:15:21Z

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

I think it sucks that compute capacity is apparently measured in ...

2026-05-06T18:22:59Z

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

☕️ LATTE, our little workshop on hardware design ...

2026-03-21T14:10:22Z

☕️ 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: https://capra.cs.cornell.edu/latte26/

every year, I get an invitation to a Cornell “Distinguished ...

2026-03-14T13:51:22Z

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

Because I have poor self control, I made a thing to avoid looking ...

2026-03-10T15:51:11Z

Because I have poor self control, I made a thing to avoid looking at those increasingly terrible ACM Digital Library pages. Introducing Analog Library: https://al.radbox.org

I think about the Dafny logo at least once a week ...

2025-11-17T19:57:54Z

I think about the Dafny logo at least once a week

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

2025-07-29T14:38:24Z

In reply to nevent1q…nghv
_________________________

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

current problem: with all the official images, the boot partition ...

2025-07-28T23:25:21Z

In reply to nevent1q…p5m2
_________________________

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

As part of an effort to avoid real work, I finally got my little ...

2025-07-28T22:40:10Z

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 “short” URL domain for Teams links is ...

2025-04-11T14:30:31Z

the “short” URL domain for Teams links is `urlshortener.teams.cloud.microsoft`. never change, Microsoft

soup night #breadposting (may every night be soup night) ...

2024-10-13T23:01:09Z

soup night #breadposting (may every night be soup night)

I should know better, but I have been surprised this semester how ...

2024-10-03T00:34:48Z

I should know better, but I have been surprised this semester how often students’ UB-soaked C homework submissions work differently on their machines vs. our grading machine, despite using exactly the same gcc binary.