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…
ПОДКАСТ ТЪРСАЧКА
Можете да използвате нашия уебсайт, за да търсите3,822,234подкасти и195,479,508епизоди по хора, места или теми.
Инвестицията в знания носи най-добра доходност, затова слушам подкасти.
‐ Benjamin "Llamacorn" Franklin
РЕДАКТИРАНЕ
Благодарим Ви, че помогате да поддържаме базата данни за подкастове актуална.
