So called free thinkers after receiving a phd from cornell cs: "I think Dexter's got an old paper about this,"

am I basic? I am basic

well, that’s two years straight of the Super Bowl halftime show bringing me to literal tears

🎵 oops, I did it again 🎶 #breadposting #breadposting

I need to be writing a grant, so of course some baking happened instead #breadposting

I failed to consider the long-term implications of making a double recipe #breadposting #breadposting

@regehr yeah, definitely… for instance, I think it's fascinating that EDA tools look very foreign to me as a software person because they lean so far into a "single executable" thing (for good reason)

Do you know of any papers about compiler *drivers* (e.g., the clang or gcc CLI tools)? Maybe they are too boring to study, or maybe an interesting one would be indistinguishable from a build system.

you can tell I’m at Dagstuhl by how very very tired I look

We have an open PhD position for working on formal verification in Yosys and other open source tools, including Surfer :)

https://aemy.cs.hm.edu/open-positions/2026/01/19/open-source-formal-verification.html

Come join an exciting group here in Munich, we are currently ~15 people working on various aspects of open source chip design, and we are planning to grow even more this year

And a more permanent link with other positions too https://aemy.cs.hm.edu/open-positions/

@dev this morning I plugged my laptop into itself to charge and then was surprised by how slow it went

@kaflurbaleen congratulations!! and farewell to this very cute road bike!

@tobinbaker huh, you make a good point—I hadn't previously thought about what it would take to teach that

@tobinbaker lr & sc are in the original “A” extension; CAS is in Zacas, which I don’t think has made it into any profiles yet? but mainly we just had to pick one

@lindsey @MonniauxD @regehr @smurthys @shriramk absolutely! this is a main motivation for me too—it takes **SO** much less time to draw a thing on my iPad than to fiddle around with lines and rectangles in Keynote that it would be worthwhile even if the results were worse (but I don't think they are)

@lindsey @MonniauxD @regehr @smurthys @shriramk I too have been doing a no-slides thing in a giant intro systems class lately, and I ended up doing the "prose & literate code" style of notes too. that did seem to be a sufficient replacement for slides for most students, with a few exceptions https://www.cs.cornell.edu/courses/cs3410/2024fa/notes/sync.html

@lindsey @regehr aw jeez, good luck, Lindsey!!

@regehr I have much fewer semesters under my belt, but I got to admit to similar feelings

@lindsey @notypes I agree it's tricky... fwiw, I'd kinda frame it as the absence of:

- out-of-bounds accesses
- double frees
- use-after-free errors
- a secret fourth thing involving pointer provenance where you pointer-arithmetic your way into a different allocated region and then access it

and the trouble, of course, is defining that last thing in a reasonably language-neutral way. the other ones seem straightforward to operationalize as "you can only touch allocated bytes"

@ricci this is only a tribute to the greatest mastodon poster in the world