Denver BitDevs

​Keagan McClelland (@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

This specific session will be recorded (but not live) and posted to The Space YouTube account.