{"version":"1.0","type":"rich","provider_name":"Acast","provider_url":"https://acast.com","height":250,"width":700,"html":"<iframe src=\"https://embed.acast.com/$/664fde3eda02bb0012bad909/664fde448c77cc0013b33385?\" frameBorder=\"0\" width=\"700\" height=\"250\"></iframe>","title":"Compiling Smart Contracts with Lucas Rosa","description":"Richard talks with Lucas Rosa, a compiler engineer working on the Aiken programming language for smart contracts, about tradeoffs in language and compiler design, property-based testing, syntax and familiarity, and compile-time evaluation of constants.","author_name":"Richard Feldman"}