#241 Eric Larchevêque: Ledger – How to Build an Industry-Leading Cryptocurrency Security Company

Eric Larchevêque joins us to discuss the meteoric rise of Ledger from a ten person team to now nearly 150 people on three continents. This fascinating discussion is a master class in product development, scaling at lightning speed, and staying true to your vision when everyone is pushing you to change course.

By |2018-06-27T22:28:39+02:00June 27, 2018|Syndicated Content|Comments Off on #241 Eric Larchevêque: Ledger – How to Build an Industry-Leading Cryptocurrency Security Company

#241 Eric Larchevêque: Ledger – How to Build an Industry-Leading Cryptocurrency Security Company

Support the show, consider donating: BTC: 1CD83r9EzFinDNWwmRW4ssgCbhsM5bxXwg ETH: 0x8cdb49ca5103Ce06717C4daBBFD4857183f50935 Before founding what is now one of the most successful companies in the cryptocurrency industry, Eric Larchevêque and his co-fo...

By |2018-06-27T21:28:39+02:00June 27, 2018|Syndicated Content|Comments Off on #241 Eric Larchevêque: Ledger – How to Build an Industry-Leading Cryptocurrency Security Company

#239 Grigore Rosu: The K Framework – A Framework to Formally Define All Programming Languages

We are joined by Grigore Rosu, Prof. of computer science at UIUC [University of Illinois at Urbana-Champaign] for a deep dive into the K framework. The K framework is mathematic logic and language that enables language developers to formally define all programming languages; such as C, Solidity and JavaScript. This technology has massive implications for smart contract programming language development, and formal verification efforts in the blockchain space.

By |2018-06-12T21:35:36+02:00June 12, 2018|Syndicated Content|Comments Off on #239 Grigore Rosu: The K Framework – A Framework to Formally Define All Programming Languages

#239 Grigore Rosu: The K Framework – A Framework to Formally Define All Programming Languages

Support the show, consider donating: BTC: 1CD83r9EzFinDNWwmRW4ssgCbhsM5bxXwg ETH: 0x8cdb49ca5103Ce06717C4daBBFD4857183f50935 In the past few years, we witnessed the development of multiple smart contract languages – Solidity, Viper, Michelson, Sc...

By |2018-06-12T20:35:36+02:00June 12, 2018|Syndicated Content|Comments Off on #239 Grigore Rosu: The K Framework – A Framework to Formally Define All Programming Languages
Go to Top