Abstraction and Learning with Runar Bjarnason

CoRecursive: Coding Stories

محتوای ارائه شده توسط Adam Gordon Bell - Software Developer. تمام محتوای پادکست شامل قسمت‌ها، گرافیک‌ها و توضیحات پادکست مستقیماً توسط Adam Gordon Bell - Software Developer یا شریک پلتفرم پادکست آن‌ها آپلود و ارائه می‌شوند. اگر فکر می‌کنید شخصی بدون اجازه شما از اثر دارای حق نسخه‌برداری شما استفاده می‌کند، می‌توانید روندی که در اینجا شرح داده شده است را دنبال کنید.https://fa.player.fm/legal

TED Tech

1
How AI is saving billions of years of human research time | Max Jaderberg 19:15

21 weeks پیش19:15

پخش در آینده

لیست ها

پسندیدن

دوست داشته شد

19:15

Can AI compress the years long research time of a PhD into seconds? Research scientist Max Jaderberg explores how “AI analogs” simulate real-world lab work with staggering speed and scale, unlocking new insights on protein folding and drug discovery. Drawing on his experience working on Isomorphic Labs' and Google DeepMind's AlphaFold 3 — an AI model for predicting the structure of molecules — Jaderberg explains how this new technology frees up researchers' time and resources to better understand the real, messy world and tackle the next frontiers of science, medicine and more. For a chance to give your own TED Talk, fill out the Idea Search Application: ted.com/ideasearch . Interested in learning more about upcoming TED events? Follow these links: TEDNext: ted.com/futureyou TEDAI Vienna: ted.com/ai-vienna Hosted on Acast. See acast.com/privacy for more information.…

۶ سال پیش 49:29

MP3•خانه قسمت

What is abstraction? Can we have a precise definition of abstraction that, once understood, makes writing software simpler? Runar has thought a lot about abstraction and how we can choose the proper level of abstraction for the software we write. In this interview, he explains these concepts using examples from the real world, from SQL, from effectful computing and many other areas.

We also talk about how to learn and acquire the skills necessary to understand abstract concepts like very polymorphic code and category theory.

Runar also explains his latest project unison computing and how it uses the correct level of abstraction to rethink several foundation ideas in software development.

Links:

Webpage for show

105 قسمت

#News #Tech News #Functionalprogramming #Haskell #Scala #Adam Gordon Bell - Software Developer #Podcasting Education #TypeScript #Code