Podbean logo
  • Discover
  • Podcast Features

    Your all-in-one podcasting solution.
    Blog to Podcast

    Turn your blog into an engaging podcast.
  • Livestream

    High-performing audio live, without limits.
    Podcast Studio

    Easy-to-use audio recorder app.
  • Podbean AI

    AI-Enhanced Audio Quality and Content Generation.
    Podcast App

    The best podcast player & podcast app.
  • Ads Marketplace

    Join Ads Marketplace to earn money
    through sponsorship on your podcast.
    PodAds

    Manage your ads with dynamic ad insertion capability.
  • Apple Podcasts Subscriptions Integration

    Effortlessly publish and manage exclusive episodes for your
    Apple Podcasts subscribers directly from Podbean.

  • Live Streaming

    Receive livestream rewards from your audience and earn
    recurring income from your Fan Club membership.

  • All Arts Business Comedy Education
  • Fiction Government Health & Fitness History Kids & Family
  • Leisure Music News Religion & Spirituality Science
  • Society & Culture Sports Technology True Crime TV & Film
  • Live
  • How to Start a Podcast
  • How to Start a Live Podcast
  • How to Monetize a podcast
  • How to Promote Your Podcast
  • How to Use Group Recording
  • Log in
  • Start your podcast for free
  • Podcasting
    • Podcast Features
    • Livestream
    • Podbean AI
    • Blog to Podcast
    • Podcast Studio
    • Podcast App
  • Monetization
    • Ads Marketplace
    • Apple Podcasts Subscriptions Integration
    • Live Streaming
    • PodAds
  • Advertisers
  • Enterprise
  • Pricing
  • Discover
    • Log in
    Sign up free
Software Unscripted

Software Unscripted

Technology

Compiling Smart Contracts with Lucas Rosa

Compiling Smart Contracts with Lucas Rosa

2024-04-21
Download Right click and do "save link as"
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.

Hosted on Acast. See acast.com/privacy for more information.

view more

More Episodes

AI in Programming Education with Will Sentance
2024-10-16
Software for Elite Athletes with Kyle Boddy
2024-09-26
Mojo with Chris Lattner
2024-08-30
Tooling-Aware Language Design with Eli Dowling
2024-08-21
The CrowdStrike Incident with Kelly Shortridge
2024-08-11
Distributed Functions with Jonathan Magen
2024-07-18
Undo-Redo and Persistent State with Tom Ballinger
2024-07-12
Smalltalk's Past, Present, and Future with Juan Vuletich
2024-06-24
From Game Dev to Web Dev
2024-06-16
Fuzz Testing with Brendan Hansknecht
2024-06-04
A Haskeller Tries Smalltalk with Ian Jeffries
2024-05-25
Comparing F#, Elm, and Haskell with Michael Newton
2024-05-13
Native UIs without Electron - with Nathan Sobo
2024-05-04
Gleam 1.0 with Louis Pilfold
2024-04-02
Compilers and Overly Complex Web Development with Thorsten Ball
2024-03-17
Incremental Compilation with Alex Kladov
2024-03-03
Programming and Industrial Design with Greg Wilson
2024-02-14
Lambda Set Defunctionalization with Ayaz Hafiz
2024-01-25
Implementing Databases with Glauber Costa
2024-01-23
  • ←
  • 1
  • 2
  • 3
  • 4
  • 5
  • →
0123456789101112141516171819

Get this podcast on your
phone, FREE

Download Podbean app on App Store Download Podbean app on Google Play

Create your
podcast in
minutes

  • Full-featured podcast site
  • Unlimited storage and bandwidth
  • Comprehensive podcast stats
  • Distribute to Apple Podcasts, Spotify, and more
  • Make money with your podcast
Get started

It is Free

  • Podcast Services

    • Podcast Features
    • Pricing
    • Enterprise Solution
    • Private Podcast
    • The Podcast App
    • Live Stream
    • Audio Recorder
    • Remote Recording
    • Podbean AI
  •  
    • Create a Podcast
    • Video Podcast
    • Start Podcasting
    • Start Radio Talk Show
    • Education Podcast
    • Church Podcast
    • Nonprofit Podcast
    • Get Sermons Online
    • Free Audiobooks

  • MONETIZATION & MORE

    • Podcast Advertising
    • Dynamic Ads Insertion
    • Apple Podcasts Subscriptions
    • Switch to Podbean
    • YouTube to Podcast
    • Blog to Podcast
    • Submit Your Podcast
    • Podbean Plugins
    • Developers

  • KNOWLEDGE BASE

    • How to Start a Podcast
    • How to Start a Live Podcast
    • How to Monetize a Podcast
    • How to Promote Your Podcast
    • How to Use Group Recording
    • Podcast Advertising 101

  • Support

    • Support Center
    • What’s New
    • Free Webinars
    • Podcast Events
    • Podbean Academy
    • Podcasting Smarter
    • Badges
    • Resources

  • Podbean

    • About Us
    • Podbean Blog
    • Careers
    • Press and Media
    • Green Initiative
    • Affiliate Program
    • Contact Us
  • Privacy Policy
  • Cookie Policy
  • Terms of Use
  • Consent Preferences
  • Copyright © 2015-2024 Podbean.com