Facebook's Code Checker - Computerphile

YouTube Video Link :
https://www.youtube.com/watch?v=tKR2UZdRpV0
Millions of lines of code - how do you keep them bug free? Facebook's Professor Peter O'Hearn talks us through "Infer" their code checker which dallies with the idea of undecidability. EXTRA BITS: https://youtu.be/7rYr6EQS7Co Turing & The Halting Problem: https://www.youtube.com/watch?v=macM_MtS_w4 How Turing Machines Work: https://www.youtube.com/watch?v=dNRDvLACg5Q https://ift.tt/1aX3XdN https://twitter.com/computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of Nottingham: https://bit.ly/nottscomputer Computerphile is a sister project to Brady Haran's Numberphile. More at https://ift.tt/XN5xXz

Kommentare

Beliebte Posts aus diesem Blog

Open Blocks - Creating, Storing, and Using Liquid XP - Minecraft

YouTube Video Link : https://youtu.be/-9r7X9_xpz4 A quick and easy-to-follow "How To Guide" on how to use create, store, and withdraw liquid XP from Open Blocks using XP Drains, XP Showers, and Tanks. WARNING: This tutorial assumes you have the required blocks needed to craft this setup

Programming Fundamentals with Kotlin - Full Tutorial Course

YouTube Video Link : https://youtu.be/AeC4G-H-MQA Learn programming fundamentals using the Kotlin programming language. Kotlin is an excellent language for GUI Architectures, Libraries, and Server Side Applications. This course will start you off the right way, no matter which path you take with the language. The course features hands-on coding exercises to teach you both Functional, Event Driven, and Object Oriented design patterns. 💻 Code: https://ift.tt/2GNhc8c 🎥 Tutorial from Ryan Kay. Check out his wiseAss YouTube channel: https://www.youtube.com/user/gosuddr93 🔗Kotlin course on Udemy: https://ift.tt/2M4E5bo ⭐️ Course Contents ⭐️ Section 1 ⌨️ (0:00:00) Course Overview: About Me, You, and this Course ⌨️ (0:09:23) How to Run the Examples ⌨️ (0:10:59) Kotlin Syntax Practice for Beginners Section 2 ⌨️ (0:39:26) Data Landscape: Memory Spaces and Named Addresses (References) ⌨️ (0:44:21) How to use "val" and "const val" References to promote Immutability/Effi...

Android Development for Beginners - Full Course

YouTube Video Link : https://www.youtube.com/watch?v=fis26HvvDII Learn how to develop an android app from scratch in this full course for beginners. No prior programming experience required! Here is the 2nd part of this course (also free!): https://youtu.be/RcSHAkpwXAQ In this course, you will learn how to build a real-word Android application from scratch using Java. On the way to building an Android app, you will learn the basics of programming in Java and object-oriented programming. ✏️ Course from MeiCode. Check out his YouTube channel: https://www.youtube.com/channel/UCE3wAhsfp4wGRgHXIQjVx0w Extended course: https://ift.tt/2ZDjHUN Coupon code for 20% discount on the extended course: "freeCodeCamp" Note that freeCodeCamp.org does not get any benefit from this code – it's just for MeiCode's purposes. ⭐️ Course Contents ⭐️ ⌨️ (0:00) Course Introduction ⌨️ (3:12) Setup The Environment ⌨️ (18:52) Create Your First Application (Part 1) ⌨️ (43:53) Create Your First ...

Welcome to my Blog !

Dieses Blog durchsuchen