Exploring...

• 2017-2018: Explored how to systematically design programs. Resources here.
• 2019-2020: Explored how to mathematically verify programs. Resources here.
• 2021-22:
  • Explored emerging assets and business models in the crypto ecosystem via Wicked Craniums.
  • Explored the HoldCo model via Reckless Labs
• 2022-?: Exploring blue-ocean AI use cases via Wise Counsel