Sveriges mest populära poddar
Building Better Systems
UtbildningTeknologi

#6: Dan Guido – What the hell are the blockchain people doing, and why isn't it a dumpster fire?

1 tim 1 min•4 februari 2021

Dan Guido, CEO of Trail of Bits, walks us through how they work with customers to make long-term improvements in security and software quality. He also describes what blockchain has done right, and how the rest of the software world should learn from them.

You can watch this episode on our Youtube Channel. 

https://youtube.com/c/BuildingBetterSystemsPodcast

Joey Dodds: https://galois.com/team/joey-dodds/ 

Shpat Morina: https://galois.com/team/shpat-morina/  

Dan Guido: https://www.linkedin.com/in/danguido/

Trail of Bits blog: https://blog.trailofbits.com/

Galois, Inc.: https://galois.com/ 

Contact us: [email protected]

Fler avsnitt av Building Better Systems

Visa alla avsnitt av Building Better Systems
Episode #22: Eric Daimler — Guaranteeing the Integrity of Data Models with Category Theory
•38 min
Episode #21: Nikhil Swamy — Fully In Bed With Dependent Types
•49 min
Episode #20: Ankush Desai — P: The Modeling Language That Could
•46 min
#19: Steve Weis — Security Shouldn't Be the Last Check Box
•42 min
#18: Jordan Kyriakidis — Helping People Write More Useful Requirements
•47 min
#17: Iain Whiteside — The Twists and Turns of Validating Neural Networks for Autonomous Driving (Part 2)
•29 min
#16: Iain Whiteside – Autonomous Driving: Reasoning About the Rules of the Road (Part 1)
•56 min
#15: Dr. Kathleen Fisher – Sparking the New Age of Formal Verification at DARPA
•56 min
#14: Leo de Moura — Combining the Worlds of Automated and Interactive Theorem Proving In Lean
•46 min
#13: Rod Chapman – It's Either Automated or It's Wrong
•44 min

Building Better Systems med Galois, Joey Dodds, Shpat Morina finns tillgänglig på flera plattformar. Informationen på denna sida kommer från offentliga podd-flöden.