cover art for Compiling Smart Contracts with Lucas Rosa

Software Unscripted

Compiling Smart Contracts with Lucas Rosa

Season 1, Ep. 89
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.

More episodes

View all episodes

  • 97. Distributed Functions with Jonathan Magen

    Richard talks with distributed systems scientist Jonathen Magen about functional programming in distributed systems, including languages like Gleam, Elixir, Ballerina, and Jolie. They also talk about type inference, big data, and a few other topics.Jonathan Magen: or languages mentioned:https://ballerina.iohttps://www.jolie-lang.orghttps://gleam.runhttps://elixir-lang.orgRichard's talk: Why Static Typing Came Back -
  • 96. Undo-Redo and Persistent State with Tom Ballinger

    Richard talks with Tom Ballinger about undo and redo in the context of REPLs and running effects, stateful systems in general, hot code loading, and database query planning.
  • 95. Smalltalk's Past, Present, and Future with Juan Vuletich

    Richard talks with Juan Vuletich, creator of Cuis Smalltalk, about the past, present and future of Smalltalk - including quite a bit of interesting history and programming philosophy!
  • 94. From Game Dev to Web Dev

    Richard talks with Wolfgang Schuster about his experiences first as a professional game developer, and then later as a professional Web developer. Theytalk about the differences in programming practices he's seen between the two, including things like automated testing, dependency management, and releases.
  • 93. Fuzz Testing with Brendan Hansknecht

    Richard talks with Brendan Hansknecht, an AI compiler engineer at Modular, about various testing techniques, including fuzzing, property-based tests, database tests, tests involving network requests, and more!
  • 92. A Haskeller Tries Smalltalk with Ian Jeffries

    Richard talks with Ian Jeffries about his experiences as a Haskeller exploring modern Smalltalk (arguably the original object-oriented programming language), including both the historical context of where Smalltalk came from as well as what it's like using it in a modern context.
  • 91. Comparing F#, Elm, and Haskell with Michael Newton

    Richard talks to Michael Newton, a programmer working as a consultant and trainer who has used several different functional programming languages in professional settings. They talk about the differences Michael has found between using F sharp, Haskell, and Elm, and especially how those differences apply in the context of professional production programming.
  • 90. Native UIs without Electron - with Nathan Sobo

    Richard talks with Nathan Sobo, founder of Zed Industries (which creates the high-performance Zed code editor) about his time as an early developer on the Atom code editor, including how that project led to Electron. They then discuss how the Zed team has created GPUI, which uses native operating system APIs for events and goes straight to the graphics card for rendering.