Signin

Eliminating Run-Time Errors with Agda - Computerphile

Computerphile • September 25, 2021

Video Thumbnail

You May Also Like

Video Thumbnail

Automated Mathematical Proofs - Computerphile

Computerphile

Video Thumbnail

Idris 2: Quantitative Types in Action - Edwin Brady

Fission

Video Thumbnail

K-d Trees - Computerphile

Computerphile

Video Thumbnail

How Shazam Works (Probably!) - Computerphile

Computerphile

Video Thumbnail

Russell's Paradox - a simple explanation of a profound problem

Jeffrey Kaplan

Video Thumbnail

Random Boolean Networks - Computerphile

Computerphile

Video Thumbnail

BlackRock: The Conspiracies You Don’t Know

More Perfect Union

Video Thumbnail

Laziness in Python - Computerphile

Computerphile

Video Thumbnail

"Super Haskell": an introduction to Agda by André Muricy

Func Prog Sweden

Video Thumbnail

CPU Pipeline - Computerphile

Computerphile

Video Thumbnail

Why Files Become Bigger in Emails - Computerphile

Computerphile

Video Thumbnail

How Traceroute Works (Building a Movie Scene 'Trace' Map) - Computerphile

Computerphile

Video Thumbnail

All Rust string types explained

Let's Get Rusty

Video Thumbnail

The moment we stopped understanding AI [AlexNet]

Welch Labs

Video Thumbnail

Dependent Types in the Idris Programming Language 1 - Edwin Brady - OPLSS 2017

OPLSS

Video Thumbnail

(Programming Languages) in Agda = Programming (Languages in Agda) • Philip Wadler • YOW! 2019

GOTO Conferences

Video Thumbnail

The Genius Behind the Quantum Navigation Breakthrough

Dr Ben Miles

Video Thumbnail

The purest coding style, where bugs are near impossible

Coderized

Video Thumbnail

Cubical Agda: A Dependently Typed Programming Language with Univalence and Higher Inductive Types

ACM SIGPLAN

Video Thumbnail

The Man Who Revolutionized Computer Science With Math

Quanta Magazine

Video Thumbnail

Propositions as Types - Computerphile

Computerphile

Video Thumbnail

"A Little Taste of Dependent Types" by David Christiansen

Strange Loop Conference

Video Thumbnail

AES GCM (Advanced Encryption Standard in Galois Counter Mode) - Computerphile

Computerphile

Video Thumbnail

Types of PDF - Computerphile

Computerphile

Video Thumbnail

The Mystery of Spinors

Richard Behiel

Computerphile

About

No channel description available.

Latest Posts

Video Thumbnail

Generative AI's Greatest Flaw - Computerphile

Computerphile

Video Thumbnail

DeepSeek is a Game Changer for AI - Computerphile

Computerphile

Video Thumbnail

How AI 'Understands' Images (CLIP) - Computerphile

Computerphile

Video Thumbnail

Programming Loops vs Recursion - Computerphile

Computerphile