Functional Geekery Episode 77 - Jared Roesch
In this episode I talk with Jared Roesch. We talk his history of functional programming, work on the Rust compiler, dependent types, the Lean Proving Language, and much, much more.
Our Guest, Jared Roesch
@roeschinc on Twitter
jroesch on Github
Sponsors
This episode is sponsored by DailyDrip.c…
Functional Geekery Episode 86 - Adelbert Chang
In this episode I talk with Adelbert Chang. We talk his introduction to programming, functional programming, expressive type systems, Domain Specific Languages, and more.
Our Guest, Adelbert Chang
@adelbertchang on Twitter
Announcements
Destination Code, a new unconference starting in Utah, is…
Lessons co-founding and operating an AI/ML company during massive market shifts w/ Jared Roesch
As the CTO & Co-Founder @ OctoML, Jared Roesch shares his experience building a ML company in a rapidly changing product market space. Jared also covers shifting from an open-source organization to a more product- and enterprise-focused business. We also discuss product & market strategies for ML b…
OctoAI (Formerly OctoML), CTO - Jared Roesch | Ep 9
🌟 Jared Roesch, CTO of OctoAI (formerly OctoML), joins Thomas Joshi and Pierce Kelaita! 🚀
🌐 In this not-to-be-missed episode, we delve into:
🛠️ The Genesis of OctoAI: Uncover the story behind OctoAI's inception and how systems research is supercharging deep learning.
🔍 A Multidisciplinary Approach…
A Metaprogramming Framework for Formal Verification
Sebastian Ullrich (KIT, Germany), gives the fourth talk in the second panel, Dependently Typed Programming, on the 3rd day of the ICFP conference. Co-written by Gabriel Exner (Vienna University of Technology, Austria), Jared Roesch (University of Washington, USA), Jeremy Avigad (Carnegie Mellon Uni…
PODCAST-SUCHMASCHINE
Auf unserer Website können Sie3,822,234-Podcasts und195,479,508-Folgen nach Personen, Orten oder Themen durchsuchen.
Eine Investition in Wissen bringt die besten Zinsen – deshalb höre ich Podcasts.
‐ Benjamin "Llamacorn" Franklin
BEARBEITEN
Vielen Dank, dass Sie uns helfen, die Podcast-Datenbank auf dem neuesten Stand zu halten.
