Programming with Math (Exploring Type Theory)

Channel:
United States Coding Tech
Subscribers:
725,000
Published on ● Video Link: https://www.youtube.com/watch?v=8AGWTWVOJ74


Duration: 42:11
44,646 views
1,071

As programs are getting more complex, it's time to go back to basics, to the old well tested approach to complexity called mathematics. Let compilers deal with the intricacies of Turing machines. Our strength is abstract thinking. Let's use it!

EVENT:

Øredev 2018

SPEAKER:

Bartosz Milewski

PERMISSIONS:

Conference Organizer provided Coding Tech with the permission to republish this video.



Other Videos By Coding Tech


2019-06-06Why Good Developers Write Bad Tests
2019-06-05Hyper Lightweight Websites
2019-06-04Unlocking New Capabilities for the Web
2019-05-16Next Generation 3D Graphics on the Web
2019-05-15Building Data Science || Caitlin Hudon
2019-05-12Keep Betting On JavaScript
2019-05-11What’s New in JavaScript
2019-05-09WebAssembly for Web Developers
2019-05-04Write Your First Service Worker
2019-05-02Design Systems
2019-05-01Programming with Math (Exploring Type Theory)
2019-04-30Go for DevOps, Go for Microservices, and what Go is Actually Good For
2019-04-28MySQL 8.0: Not Only Good, its GREAT
2019-04-26Go As a Scripting Language in Linux
2019-04-26Designing with React || Mark Dalgleish
2019-04-21TensorFlow and Go
2019-04-20Build Amazing Web Apps With .NET Core
2019-04-20From Zero to Forex Trading Bot Hero with Node.js and Typescript
2019-04-19Get Going With WebAssembly
2019-04-18Future JavaScript: What Is Still Missing
2019-04-16Replacing Docker With Podman


Tags:
math
programming
coding
software development