![Tensor Logic "Unifies" AI Paradigms [Pedro Domingos]](https://img.youtube.com/vi/4APMGvicmxY/maxresdefault.jpg)
Pedro Domingos introduces Tensor Logic, a new programming language designed to be the fundamental language for AI. It unifies the two major paradigms: the learning capabilities of deep learning (neural networks) and the transparent, verifiable reasoning of symbolic AI (logic programming), aiming to solve critical issues like hallucination and the opacity of current models.
In a reflective and forward-looking conversation, Daniel Terhorst-North and Kevlin Henney explore the evolution of software development over the past 20 years and predict the key challenges and innovations for the next 20. They delve into the philosophy of programming language design, the critical need for hardware-sympathetic programming, the untapped potential of concurrency models like CSP and the Actor Model, and the future of user interfaces and decentralized technology.
Evan Czaplicki, creator of Elm, discusses the sustainability challenges of open-source that led to Elm's development pause, his new work on a full-stack typed functional language, and his thoughts on improving developer experience to make functional programming more accessible.