adrian

adrian, 18 days ago to random

I know how dumb this sounds, but I think it’s overwhelming how many more 64-bit numbers there are than 32-bit numbers. it’s, like, a lot.

adrian, 21 days ago to random

obligatory annual silly-clothes selfie

justinesherry, 23 days ago to random

Lots of discussion about how Google has become garbage at pulling up helpful information... how are the alternatives doing? Does anyone actually use another search engine and like it? What do you like about it?

adrian, 28 days ago to random

Harriet and Hazel on a stump.
Hazel with her mom, Esmerelda.

adrian, 1 month ago to random

introducing Hazel and Harriet (tentative names)

adrian, 1 month ago to random

☕️ LATTE, our little workshop on programming languages for hardware design, is coming up this weekend. The program is looking wild: https://capra.cs.cornell.edu/latte24/

It’s a hybrid thing, so consider joining us on Zoom. Everyone loves a weekend Zoom. https://cornell.zoom.us/meeting/register/tJYlceCgpjkvEtcBL_b7hFWpbShI_Je4mSU8

adrian, 1 month ago to random

if I ever have kids, we’re not doing Santa or the Easter bunny or any of that fake shit, but they will learn about both the tooth fairy and her shadier and higher-stakes cousin, the kidney fairy

adrian, 2 months ago to random

this weekend concluded a 2-year project to replace our horrible flimsy range featuring a broken burner and a dead oven igniter. we have finally joined the induction cult. and the oven’s inaugural #breadposting seems to have succeeded

One dozen fresh sourdough everything bagels.

adrian, 2 months ago to random

our terrible oven may have baked its last loaf, but our neighbor stepped in to save tonight’s #breadposting

adrian, 3 months ago to random

Delighted to learn from the orange-site comment on our GitHub repo that “developing hardware is a solved problem” and “has been for decades”; this will save us a lot of work!!

adrian, 3 months ago to random

Please submit all your best work to ASPLOS 2025. (All of it.) https://www.asplos-conference.org/asplos-2025-call-for-papers/

adrian, 4 months ago to random

I pita the fool
wallowing in self pita
having a pita party
for pita’s sake
#breadposting

adrian, 4 months ago to random

#breadposting × 12

adrian, 4 months ago to random

this billboard went up near the farm recently and I can’t stop thinking thinking about it. so much going on

adrian, 5 months ago to random

just ran a command ending in | xargs sudo rm -rf, wiping the sweat off my brow as I hit enter

adrian, 5 months ago to random

Does anybody have a reference they like for a definition of RTL (register-transfer level, i.e., the fundamental abstraction underlying Verilog and other HDLs)?

I feel like I know what RTL is, but I have trouble articulating it precisely—and most sources out there have a similar “I know it when I see it” tone. I would love to see a satisfying (informal but rigorous) semantic definition.

adrian, 5 months ago to random

Does anybody like their department’s intro computer systems course? Like, wherever undergrads first see C, assembly, pointers, memory allocation, parallelism, caches, virtual memory, whatever. Can you share a link to the course contents?

adrian, 5 months ago to random

I don’t like Christmas music but I respect “God Rest You Merry, Gentlemen,” the only carol that dares to acknowledge Satan

adrian, 5 months ago to random

merry #breadposting to all, and to all a good #breadposting