# Jared Roesch
Populaarseimad podcastide jaod
Uuendatud:
Top podcast episodes featuring jared roesch.
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…
PODCASTIDE OTSINGUMOOTOR
Saate kasutada meie veebisaiti3,822,234taskuhäälingusaadete ja195,479,508osade otsimiseks inimeste, kohtade või teemade järgi.
If I have seen further than others, it is by listening to podcasts and standing upon the shoulders of
giants.
‐ Isaac "Llamacorn" Newton
MUUDA
Aitäh, et aitad hoida podcastide andmebaasi ajakohasena.
