This lecture delves into the creation of the 'Internet Computer' by the ICP protocol, aiming to transform the Internet into a distributed OS hosting software and services. It explores the concept of WebAssembly 'canisters' for secure code execution, consensus algorithms, state machine replication, and challenges in deriving randomness. The talk also covers the 'Beyond Blockchains' perspective by Adi Seredinschi, focusing on verifiable distributed systems and organizations, including Tendermint and Cosmos. Adi discusses consensus algorithms, the Tendermint BFT consensus, system models, rounds, and the Inter-Blockchain Communication (IBC) problem statement.