TezDev Paris 2022 - Benoit Rognier
summary
Company launches in 2013 and still runs universities using Educar online math platforms; joins Tezos ecosystem in 2018 due to an OCaml community push; invests four years building the Archetype language, now used by Ubisoft and Variable; promotes formal verification for smart contracts to prevent loss-of-funds bugs but notes it requires highly skilled engineers and tooling; points to OpenTezos docs and examples as practical entry points for developers.
AI-written summary · about
related talks
48mKeynote & AMA: Dean Tribble, Co Founder and CEO of Agoric
04mInterview
56mBlockchain applications in the banking industry
02h 33mSmart contracts development Lab in pyTEAL
13mArushi Srivastava at The Lead Developer New York 2017
19msub0 Asia 2024 - Gabriel Nicolas Gonzalez (Protofire)
06mInterplay Between Smart & Ricardian Contracts
08mEthereum in the Classroom | Teaching Solidity to High School Students in Buenos Aire...