Correction: the Correct Author of the Proof from Last Episode, and an AI flop cover art

Correction: the Correct Author of the Proof from Last Episode, and an AI flop

Correction: the Correct Author of the Proof from Last Episode, and an AI flop

Listen for free

View show details

About this listen

I correct what I said in the last episode about the author of the proof of FD from last episode based on intersection types. I also describe AI flopping when I ask it a question about this.

activate_mytile_page_redirect_t1

What listeners say about Correction: the Correct Author of the Proof from Last Episode, and an AI flop

Average Customer Ratings

Reviews - Please select the tabs below to change the source of reviews.

In the spirit of reconciliation, Audible acknowledges the Traditional Custodians of country throughout Australia and their connections to land, sea and community. We pay our respect to their elders past and present and extend that respect to all Aboriginal and Torres Strait Islander peoples today.