buzzier's comments

buzzier | 6 years ago | on: Arend: Theorem Prover Based on Homotopy Type Theory by JetBrains

AI Circus, Mid 2019 Update https://blog.piekniewski.info/2019/05/30/ai-circus-mid-2019-...

Stories of AI Failure and How to Avoid Similar AI Fails in 2019 https://www.lexalytics.com/lexablog/stories-ai-failure-avoid...

How IBM Watson Overpromised and Underdelivered on AI Health Care https://spectrum.ieee.org/biomedical/diagnostics/how-ibm-wat...

Automakers Are Rethinking the Timetable for Fully Autonomous Cars https://www.designnews.com/electronics-test/automakers-are-r...

page 1