We talked about the CryptoGPT idea.

We talked about rewriting our decision-making system in Rust and obtaining probabilistic proofs of one strategy being better than another.

We talked about the technical limitations of the Optimism stack & the potential of Cosmos SDK.

We talked about a new type of content that we can create using ChatGPT.

We've described the Freechain idea.

We talked about our experience of using Haskell for our decision-making system.

We talked about solving user intents & the Suave blockchain.

We talked about using SMT solvers to build better models of reality.

We talked about using a formal language to describe how things work.

We talked about proving theorems for finite data using massively parallel evaluation.