edwin brady

Edwin Brady, creator of Idris, presents Idris 2 and demonstrates type-driven development, where the compiler assists by filling holes and suggesting implementations from types.

Edwin Brady presents Idris 2, a rewrite of the Idris dependently typed language, and shows type-driven development in practice. The demos show the compiler filling in whole functions from their types.

Edwin Brady, creator of Idris, introduces type-driven development in a dependently typed language. He shows types being written first and programs derived with interactive editing, then extends beyond simple examples to programs that interact with users and networks.

An SNL skit featuring Tom Brady in a mock workplace training video on sexual harassment, where the difference between welcome and unwelcome advances depends on who makes them. It is a satirical sketch.

Brady Haran interviews Brother Guy Consolmagno, director of the Vatican Observatory, for Sixty Symbols. It is part of a three-video set along with the observatory's telescopes and its meteorite collection.

Medlife Crisis examines why some elite endurance athletes die in their sleep, covering extremely slow heart rates and the effects of performance-enhancing drugs that thicken blood. It uses cyclist Marco Pantani as an example.