Software Unscripted Compiling Smart Contracts with Lucas Rosa
Apr 21, 2024
Compiler engineer Lucas Rosa discusses tradeoffs in language design, property-based testing, syntax familiarity, compile-time evaluation in smart contracts. Talks about community growth, Cardano smart contracts, syntax complexities, managing execution budgets, and fuzzing in programming languages.
Chapters
Transcript
Episode notes
1 2 3 4 5 6 7
Introduction
00:00 • 2min
Exploring Reproducibility Challenges in Implementing a Testing Framework
01:51 • 4min
Community Growth and Collaborative Projects
05:36 • 8min
Building a Developer-Friendly Language for Cardano Smart Contracts
13:55 • 10min
Exploring Programming Languages and Syntax Complexity
23:51 • 23min
Managing Execution Budget in Smart Contracts
46:53 • 9min
Exploring Implementation Changes and Fuzzing in Programming Languages
55:32 • 4min