You’re probably familiar with types in programming languages, such as “integer” or “list of integers.” But what if your type system were powerful enough to express types like “non-negative integer” or “list of strings where each string is at least eight characters long”? Welcome to the world of dependent types! In this talk, we’ll explore what dependent types are, how they work, and the relationship between type theory and predicate logic, all using the Idris programming language. We’ll even see when type checking can become (gasp) undecidable! EVENT:
!!Con West 2019 SPEAKER:
Eric Weinstein PUBLICATION PERMISSIONS:
Original video was published with the Creative Commons Attribution license (reuse allowed) ATTRIBUTION CREDITS:
Original video source: https://www.youtube.com/watch?v=gioRL1VleBw https://www.youtube.com/watch?v=DYEHxkhylDI

A decade after Node.js was first announced, JavaScript and the web platform have evolved, and TypeScript has changed the way JS applications are developed. Deno is a new JavaScript/TypeScript runtime that was designed with all those new capabilities in mind. EVENT:
dotJS 2019 SPEAKER:
Bert Belder PUBLICATION PERMISSIONS:
Original video was published with the Creative Commons Attribution license (reuse allowed) ATTRIBUTION CREDITS:
Original video source: https://www.youtube.com/watch?v=puXyo1jGQys https://www.youtube.com/watch?v=lcoU9jtsK24

The speaker talks about his first impressions on the universality of JavaScript, and how it’s different from isomorphic JavaScript (when any given line of code can execute both the server and the client). The main difference is that Universal JavaScript means Write Once, Run Everywhere and “universal” needs to be a platform concern and not a development target. The spaker also talks about the different JavaScript runtimes (browsers, Node.js, Deno, Edge Workers and others), namespaces objects, and ECMAScript Modules. EVENT:
NodeJS Interactive 2019 SPEAKER:
Myles Borins, Developer Advocate, Google PUBLICATION PERMISSIONS:
The Linux Foundation provided Coding Tech with the permission to republish the NodeJS Interactive talks CREDITS:
Original video source: https://www.youtube.com/watch?v=o2M7g8Xwc7g https://www.youtube.com/watch?v=JN7UjvceOlw