Y

YouLibs

Remove Touch Overlay

Eliminating Run-Time Errors with Agda - Computerphile

Duration: 18:37Views: 58.2KLikes: 1.8KDate Created: Aug, 2021

Channel: Computerphile

Category: Education

Tags: functional programmingmathematicstype theoryfpuniversity of nottinghamagdacodingcomputercomputerphilecomputer scienceformal computer sciencesciencemathproofcomputersprogramming

Description: A language designed to eliminate run-time errors? Professor Thorsten Altenkirch demonstrates programming Type Theory with Agda. facebook.com/computerphile twitter.com/computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of Nottingham: bit.ly/nottscomputer Computerphile is a sister project to Brady Haran's Numberphile. More at bradyharan.com

Swipe Gestures On Overlay
Home
Channels
All Videos
Categories
Tags
Related
Infinite Masonry

Related

Sorts:
▼
Filters:
CategoryChannelDate CreatedDurationLikesPopularityTagsTitleViews
▼
1-10mins10-30mins30mins+past weekpast monthpast year2022-20252016-2021
  • I Created An A.I. to DESTROY TetrisCode Bullet17:25Jul, 20202.3Mbackgroundvideo thumbnail for: I Created An A.I. to DESTROY Tetris
  • A.I. Learns To WalkCode Bullet16:15Apr, 20199.4Mbackgroundvideo thumbnail for: A.I. Learns To Walk
  • 1 Million Subscriber Special. Code Bullet QNACode Bullet11:53Mar, 2019885.3Kbackgroundvideo thumbnail for: 1 Million Subscriber Special. Code Bullet QNA
  • A.I. Learns to DRIVECode Bullet16:17Feb, 20195Mbackgroundvideo thumbnail for: A.I. Learns to DRIVE
  • BREAKING Storm The House with an AUTO CLICKERCode Bullet11:24Feb, 201912.3Mbackgroundvideo thumbnail for: BREAKING Storm The House with an AUTO CLICKER
  • DESTROYING Piano Tiles with an Auto clickerCode Bullet10:42Jan, 201916.2Mbackgroundvideo thumbnail for: DESTROYING Piano Tiles with an Auto clicker
  • A.I. Learns to play Flappy BirdCode Bullet07:46Dec, 201814Mbackgroundvideo thumbnail for: A.I. Learns to play Flappy Bird
  • A.I. Learns to Solve a 1x1x1 rubik's cube [NOT CLICKBAIT]Code Bullet02:12Nov, 20182.3Mbackgroundvideo thumbnail for: A.I. Learns to Solve a 1x1x1 rubik's cube [NOT CLICKBAIT]
  • I programmed an A.I. to DESTROY the game PONGCode Bullet11:16Nov, 20182.8Mbackgroundvideo thumbnail for: I programmed an A.I. to DESTROY the game PONG
  • Making Hill Climb Racing || Part 2 || Help MECode Bullet13:24Sep, 20181.4Mbackgroundvideo thumbnail for: Making Hill Climb Racing || Part 2 || Help ME
    • Items shown
    to: 40
    of:999
    ‹123456...100›