# Jared Roesch
ထိပ်တန်း Podcast တခုကိုဖြစ်စဉ်များ
နောက်ဆုံးပေါ်:
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…
PODCAST ရှာဖွေရေးအင်ဂျင်
3,822,234ပေါ့တ်ကာစ်များနှင့်195,479,508အပိုင်းများကို လူများ၊ နေရာများ သို့မဟုတ် အကြောင်းအရာများအလိုက် ရှာဖွေရန် ကျွန်ုပ်တို့၏ဝဘ်ဆိုက်ကို အသုံးပြုနိုင်ပါသည်။
အသိပညာတွင် ရင်းနှီးမြှုပ်နှံခြင်းက အကောင်းဆုံးအကျိုးအမြတ်ပေးသောကြောင့် podcast များ နားထောင်ပါသည်။
‐ Benjamin "Llamacorn" Franklin
ပြင်ဆင်ပါ
ပေါ့ဒ်ကတ်စ် ဒေတာဘေ့စ်ကို နောက်ဆုံးပေါ်အချိန်နှင့်တပြေးညီဖြစ်စေရန် ကူညီပေးသည့်အတွက် ကျေးဇူးတင်ပါသည်။
