Adrian Sampson

1.3K Followers
454 Following
2K Posts
Carly Rae Jepsen fan account.
pronounshe/him
affiliationCornell
homehttps://www.cs.cornell.edu/~asampson
Carly RaeJepsen
seems insensitive of CACM to publicly post someone’s AI psychosis? https://cacm.acm.org/blogcacm/i-spent-a-year-asking-ai-to-solve-maths-hardest-problem-heres-what-happened/
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 https://youtu.be/vZYbEL06lEU
Lykke Li - I Follow Rivers (Director: Tarik Saleh)

YouTube
the social media client for my dotage
đź’ˇ 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

@adrian I feel this. I am currently working on our SystemVerilog Frontend for @verijit and I was surprised how differently you think about Verilog when designing hardware vs when writing a simulator. I mean I knew in theory that Verilog is event driven, but the common subset people actually use does conveniently not run into this much.

I feel like I am actually writing half a synthesis toolchain to make our simulator fast. We gained an entire new intermediate representation for this reason.

This blog post is an extended metaphor that serves as an excuse to complain about Verilog. https://www.cs.cornell.edu/~asampson/blog/buildingblocks.html
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.

It’s finally the time of year when it’s 70° somewhere in my house, so things can actually rise properly #breadposting

I have been given the opportunity to possibly do a #rust course for last year bachelor students in the fall. I probably shouldn't re-invent the wheel here, so has anyone I know done this before and have some course material available that I could look at for ~~stealing~~ inspiration?

Boosts welcome

practicing for the impending pizza season #breadposting
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