found a great new podcast: #buildingbettersystems !
super interesting talk about the intersection of systems engineering and formal verification!

especially enjoyed getting a glimpse of everyday work in that field!

https://open.spotify.com/episode/7xjnD7u1ZHSTTC9jJI2oNV?si=9955a901da9f4cd2

Comments

Posting Rules

  • Be respectful to others
  • No spam or self-promotion
  • Stay on topic
  • Follow Bluesky's terms of service