×

Radio and PodcastLive Radio & Podcasts

Discover Radio

Radio Radio by Country Radio by Genre Radio by Language Favorite Radio Radio History

Discover Podcast

Podcasts Podcast by Country Podcast by Category Podcast by Language Podcast History Subscribed Podcasts Favorite Episodes

Helpful Links

Widget About Us Contact Editorial Policy Privacy Policy Terms of Use

Mobile App

Listen Radio and Podcast Anywhere Anytime

Download our app for smooth radio and podcast listening on Android and iOS.

▶Get it onGoogle Play

Radio and PodcastLive Radio & Podcasts

Your world of live radio, podcasts and music.

F IG X in P ▶

Radio and PodcastLive Radio & Podcasts

Search Radio and Podcast

Loading episode

Fetching episode details...

×

Radio and PodcastLive Radio & Podcasts

Discover Radio

Radio Radio by Country Radio by Genre Radio by Language Favorite Radio Radio History

Discover Podcast

Podcasts Podcast by Country Podcast by Category Podcast by Language Podcast History Subscribed Podcasts Favorite Episodes

Helpful Links

Widget About Us Contact Editorial Policy Privacy Policy Terms of Use

Mobile App

Listen Radio and Podcast Anywhere Anytime

Download our app for smooth radio and podcast listening on Android and iOS.

▶Get it onGoogle Play

Radio and PodcastLive Radio & Podcasts

Your world of live radio, podcasts and music.

F IG X in P ▶

Radio and PodcastLive Radio & Podcasts

Search Radio and Podcast

Podcasts›My FLoC Experience›#8: Program Synthesis

#8: Program Synthesis artwork

Technology

#8: Program Synthesis

My FLoC Experience by Chris Patuzzo

Jul 7, 201800:05:51Technology

Test your 'general' knowledge in this innovative new game show.

Related Episodes

Continue listening to more episodes from My FLoC Experience.

#18: Reflections

Jul 15, 2018 - 00:06:51

My last day at FLoC, with an awards ceremony and some final thoughts.

#17: Group Photo

Jul 14, 2018 - 00:06:45

More flavours of SAT, a group photo and a business meeting.

#16: Coffee

Jul 14, 2018 - 00:04:15

This episode is dedicated to my coffee enthusiast friend, Leo Cassarani.

#15: Bayesian Logic

Jul 12, 2018 - 00:04:33

Combining logical and probabilistic models of AI.

#14: Proof Systems

Jul 12, 2018 - 00:04:55

Proof systems aren't as complicated as they sound.

#13: S-S-S-Symmetry Breaker

Jul 12, 2018 - 00:04:21

Impress your friends by rotating a chess board.

#12: SAT Conference

Jul 12, 2018 - 00:06:21

The first day of the the international SAT conference.

#11: Checkmate in Nine

Jul 9, 2018 - 00:07:12

A last minute change of mind to learn about quantifiable boolean formulae.