@adrian@discuss.systems
@adrian@discuss.systems avatar

adrian

@adrian@discuss.systems

Carly Rae Jepsen fan account.

This profile is from a federated server and may be incomplete. Browse more on the original instance.

adrian, to random
@adrian@discuss.systems avatar
adrian, to random
@adrian@discuss.systems avatar

introducing Hazel and Harriet (tentative names)

adrian, to random
@adrian@discuss.systems avatar

☕️ 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, to random
@adrian@discuss.systems avatar

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, to random
@adrian@discuss.systems avatar

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, to random
@adrian@discuss.systems avatar

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

adrian, to random
@adrian@discuss.systems avatar

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, to random
@adrian@discuss.systems avatar

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

adrian, to random
@adrian@discuss.systems avatar

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

adrian, to random
@adrian@discuss.systems avatar
adrian, to random
@adrian@discuss.systems avatar

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

adrian,
@adrian@discuss.systems avatar

✅ photo looks like he has never seen a Nokia camera phone before
✅ slogan doesn't actually rhyme
✅ out-of-nowhere Italian loan word
✅ "Attorney Advertising"
✅ the coup de grâce...... Google+ icon

adrian, to random
@adrian@discuss.systems avatar

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

adrian, to random
@adrian@discuss.systems avatar

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,
@adrian@discuss.systems avatar

The main thing people seem to agree on is “well, it’s higher level than a netlist,” which is true but unhelpful. This bit from Wikipedia seems wrong, for example (many netlists definitely have cells and multi-bit registers??).

adrian,
@adrian@discuss.systems avatar

@penguin42 that’s interesting! can you explain more about “you don’t need registers within each block?” I halfway know what you mean but an example could really help

adrian, to random
@adrian@discuss.systems avatar

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, to random
@adrian@discuss.systems avatar

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

adrian, to random
@adrian@discuss.systems avatar

merry to all, and to all a good

adrian, to random
@adrian@discuss.systems avatar

I’ve pivoted to video! (recorded myself doing a mediocre job of manual test-case reduction to help convey to students what that actually entails) https://www.cs.cornell.edu/~asampson/blog/reduction.html

adrian, to random
@adrian@discuss.systems avatar

I have finally gotten around to streaming The Eras Tour… and damn, it is REALLY good. I tried so hard to get tickets last summer and now I regret my failure all over again. go watch this masterpiece, everyone!

adrian, to random
@adrian@discuss.systems avatar

wishing everyone a sleepy ; I hope you weren’t planning on getting anything done

adrian, to random
@adrian@discuss.systems avatar

I blogged about grad school statements of purpose, just in time for it to be mostly useless for its intended audience this cycle. https://www.cs.cornell.edu/~asampson/blog/gradstatement.html

adrian, to random
@adrian@discuss.systems avatar
adrian, to random
@adrian@discuss.systems avatar
  • All
  • Subscribed
  • Moderated
  • Favorites
  • JUstTest
  • thenastyranch
  • DreamBathrooms
  • Durango
  • magazineikmin
  • Youngstown
  • cubers
  • slotface
  • InstantRegret
  • everett
  • rosin
  • kavyap
  • ngwrru68w68
  • osvaldo12
  • anitta
  • tacticalgear
  • khanakhh
  • GTA5RPClips
  • normalnudes
  • mdbf
  • cisconetworking
  • provamag3
  • ethstaker
  • modclub
  • Leos
  • tester
  • megavids
  • lostlight
  • All magazines