formal methods

Physicist Roger Penrose and philosopher William Lane Craig discuss the origin of the universe on the Unbelievable? show. Topics include Penrose's three realms of reality, conformal cyclic cosmology and whether fine tuning points to a creator.

A restored HD upload of the 1983 BBC series Fun to Imagine, in which Richard Feynman talks informally about everyday science. Topics include jiggling atoms, fire, rubber bands, magnets, electricity, mirrors, seeing, big numbers and ways of thinking.

An excerpt from the 1983 BBC series Fun to Imagine in which Richard Feynman describes how he and a mathematician friend counted in their heads in different ways, one verbally and one visually. It shows that people can reach the same goal through quite different mental methods.

An Autoline After Hours episode where Sandy Munro discusses his complete teardown of the BMW i3, along with automotive journalists. It covers the car's carbon fiber construction and manufacturing technology.

Alan Kay visits Carnegie Mellon's School of Computer Science in 2007 for an informal conversation with faculty and students. He discusses the state of CS education and criticizes mainstream computing.

Linus Tech Tips builds a Linux PC together with Linus Torvalds, who talks through parts selection, kernel development and some of his side projects. The conversation also touches on AI in kernel work.