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

Artwork

Tech Podcasting Education Government Galois Inc Joey Dodds Shpat Morina

Nội dung được cung cấp bởi Galois Inc., Joey Dodds, and Shpat Morina. Tất cả nội dung podcast bao gồm các tập, đồ họa và mô tả podcast đều được Galois Inc., Joey Dodds, and Shpat Morina hoặc đối tác nền tảng podcast của họ tải lên và cung cấp trực tiếp. Nếu bạn cho rằng ai đó đang sử dụng tác phẩm có bản quyền của bạn mà không có sự cho phép của bạn, bạn có thể làm theo quy trình được nêu ở đây https://vi.player.fm/legal.

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

4y ago 30:17

Chia sẻ

MP3•Trang chủ episode

Nội dung được cung cấp bởi Galois Inc., Joey Dodds, and Shpat Morina. Tất cả nội dung podcast bao gồm các tập, đồ họa và mô tả podcast đều được Galois Inc., Joey Dodds, and Shpat Morina hoặc đối tác nền tảng podcast của họ tải lên và cung cấp trực tiếp. Nếu bạn cho rằng ai đó đang sử dụng tác phẩm có bản quyền của bạn mà không có sự cho phép của bạn, bạn có thể làm theo quy trình được nêu ở đây https://vi.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 tập

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

Artwork

#5: Talia Ringer – Proof Engineering for the People

Building Better Systems

published 4y ago

Chia sẻ

MP3•Trang chủ episode

Nội dung được cung cấp bởi Galois Inc., Joey Dodds, and Shpat Morina. Tất cả nội dung podcast bao gồm các tập, đồ họa và mô tả podcast đều được Galois Inc., Joey Dodds, and Shpat Morina hoặc đối tác nền tảng podcast của họ tải lên và cung cấp trực tiếp. Nếu bạn cho rằng ai đó đang sử dụng tác phẩm có bản quyền của bạn mà không có sự cho phép của bạn, bạn có thể làm theo quy trình được nêu ở đây https://vi.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 tập

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

Все серии

×

Chào mừng bạn đến với Player FM!

Player FM đang quét trang web để tìm các podcast chất lượng cao cho bạn thưởng thức ngay bây giờ. Đây là ứng dụng podcast tốt nhất và hoạt động trên Android, iPhone và web. Đăng ký để đồng bộ các theo dõi trên tất cả thiết bị.

Nghe hơn 500 chủ đề