Post #1834041
2026-03-01 14:18 UTC
Also, it turns out there's a real danger of becoming the co-director of the lab: There are fewer grown ups in a position to tell me that my jokes aren't funny. One of my slides from the intro keynote:
Replies (1)
-
@dave_andersen@hachyderm.io 2026-03-01 14:20
(The PDL does not primarily focus on formal verification, but the trend lines make it clear that verification is going to play an increasing role in mission-critical systems development over time, so we're roping in Bryan to add a dash of "big things you should keep a finger on" to our mix.)