#5: Talia Ringer – Proof Engineering For The People Building Better Systems podcast

Artwork

Tech Podcasting Education Government Galois Inc Joey Dodds Shpat Morina

محتوای ارائه شده توسط Galois Inc., Joey Dodds, and Shpat Morina. تمام محتوای پادکست شامل قسمت‌ها، گرافیک‌ها و توضیحات پادکست مستقیماً توسط Galois Inc., Joey Dodds, and Shpat Morina یا شریک پلتفرم پادکست آن‌ها آپلود و ارائه می‌شوند. اگر فکر می‌کنید شخصی بدون اجازه شما از اثر دارای حق نسخه‌برداری شما استفاده می‌کند، می‌توانید روندی که در اینجا شرح داده شده است را دنبال کنید.https://fa.player.fm/legal

Building Better Systems « »
#5: Talia Ringer – Proof Engineering for the People

3+ y ago 30:17

اشتراک گذاری

MP3•خانه قسمت

محتوای ارائه شده توسط Galois Inc., Joey Dodds, and Shpat Morina. تمام محتوای پادکست شامل قسمت‌ها، گرافیک‌ها و توضیحات پادکست مستقیماً توسط Galois Inc., Joey Dodds, and Shpat Morina یا شریک پلتفرم پادکست آن‌ها آپلود و ارائه می‌شوند. اگر فکر می‌کنید شخصی بدون اجازه شما از اثر دارای حق نسخه‌برداری شما استفاده می‌کند، می‌توانید روندی که در اینجا شرح داده شده است را دنبال کنید.https://fa.player.fm/legal

Talia Ringer, a Ph.D. candidate at University of Washington, explains how they do deep people-centric PL research. We discuss proof repair, UX for software correctness, and how to ask users of tools for feedback to react to.

You can watch this episode on our Youtube Channel.

Joey Dodds: https://galois.com/team/joey-dodds/

Talia Ringer: https://dependenttyp.es/

Contact us: podcast@galois.com

Galois, Inc.: https://galois.com/

… continue reading

22 قسمت

#Tech #Podcasting Education #Government #Galois Inc #Joey Dodds #Shpat Morina

Artwork

#5: Talia Ringer – Proof Engineering for the People

Building Better Systems

published 3+ y ago

اشتراک گذاری

MP3•خانه قسمت

محتوای ارائه شده توسط Galois Inc., Joey Dodds, and Shpat Morina. تمام محتوای پادکست شامل قسمت‌ها، گرافیک‌ها و توضیحات پادکست مستقیماً توسط Galois Inc., Joey Dodds, and Shpat Morina یا شریک پلتفرم پادکست آن‌ها آپلود و ارائه می‌شوند. اگر فکر می‌کنید شخصی بدون اجازه شما از اثر دارای حق نسخه‌برداری شما استفاده می‌کند، می‌توانید روندی که در اینجا شرح داده شده است را دنبال کنید.https://fa.player.fm/legal

Talia Ringer, a Ph.D. candidate at University of Washington, explains how they do deep people-centric PL research. We discuss proof repair, UX for software correctness, and how to ask users of tools for feedback to react to.

You can watch this episode on our Youtube Channel.

Joey Dodds: https://galois.com/team/joey-dodds/

Talia Ringer: https://dependenttyp.es/

Contact us: podcast@galois.com

Galois, Inc.: https://galois.com/

… continue reading

22 قسمت

#Tech #Podcasting Education #Government #Galois Inc #Joey Dodds #Shpat Morina

Όλα τα επεισόδια

×

به Player FM خوش آمدید!

Player FM در سراسر وب را برای یافتن پادکست های با کیفیت اسکن می کند تا همین الان لذت ببرید. این بهترین برنامه ی پادکست است که در اندروید، آیفون و وب کار می کند. ثبت نام کنید تا اشتراک های شما در بین دستگاه های مختلف همگام سازی شود.

به بیش از 500 موضوع گوش کنید