Denver BitDevs

Keagan McLelland (@proofofkeags) will speak on formal verification of Bitcoin using agent based software engineering workflows to unlock a style of programming that is uniquely suited to Bitcoin's values of rock solid core infrastructure

This will be an advanced software engineering topic. Some recommended reading to come prepared:

https://proofofkeags.com/research/2026-05-12-formal-vibefication.html

and

https://vitalik.eth.limo/general/2026/05/18/fv.html