The Case For Formal Methods: Hillel Wayne Future Of Coding podcast

Artwork

Ivan Reese Programming Tech Software Development Future Of Coding

Nội dung được cung cấp bởi Ivan Reese and Future of Coding. Tất cả nội dung podcast bao gồm các tập, đồ họa và mô tả podcast đều được Ivan Reese and Future of Coding 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.

Future of Coding « »
The Case for Formal Methods: Hillel Wayne

5y ago 1:33:43

Chia sẻ

MP3•Trang chủ episode

Nội dung được cung cấp bởi Ivan Reese and Future of Coding. Tất cả nội dung podcast bao gồm các tập, đồ họa và mô tả podcast đều được Ivan Reese and Future of Coding 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.

Hillel Wayne is a technical writer and consultant on a variety of formal methods, including TLA+ and Alloy. In this episode, Hillel gives a whirlwind tour of the 4 main flavors of formal methods, and explains which are practical today and which we may have to wait patiently for. The episode begins with a very silly joke from Steve (about a radioactive Leslie Lamport) and if you make it to the end you're in store for a few fun tales from Twitter.

https://futureofcoding.org/episodes/038

See omnystudio.com/listener for privacy information.

… continue reading

71 tập

#Ivan Reese #Programming #Tech #Software Development #Future Of Coding

Artwork

The Case for Formal Methods: Hillel Wayne

Future of Coding

222 subscribers

published 5y ago

Chia sẻ

MP3•Trang chủ episode

Nội dung được cung cấp bởi Ivan Reese and Future of Coding. Tất cả nội dung podcast bao gồm các tập, đồ họa và mô tả podcast đều được Ivan Reese and Future of Coding 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.

Hillel Wayne is a technical writer and consultant on a variety of formal methods, including TLA+ and Alloy. In this episode, Hillel gives a whirlwind tour of the 4 main flavors of formal methods, and explains which are practical today and which we may have to wait patiently for. The episode begins with a very silly joke from Steve (about a radioactive Leslie Lamport) and if you make it to the end you're in store for a few fun tales from Twitter.

https://futureofcoding.org/episodes/038

See omnystudio.com/listener for privacy information.

… continue reading

71 tập

#Ivan Reese #Programming #Tech #Software Development #Future Of Coding

모든 에피소드

×

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ủ đề