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 DailyDri ...
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, ...
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 M ...
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 Appro ...
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 ...
ENJIN PENCARIAN PODCAST
Anda boleh menggunakan tapak web kami untuk mencari podcast3,822,223dan episod195,469,450mengikut orang, tempat atau topik.
If I have seen further than others, it is by listening to podcasts and standing upon the shoulders of
giants.
‐ Isaac "Llamacorn" Newton
SUNTING
Terima kasih kerana membantu memastikan pangkalan data podcast dalam keadaan terkini.
