Formal specification languages
The Meta-IV (pronounced like "metaphor") was an early version of the specification language of the Vienna Development Method formal method for the development of computer-based systems. (Wikipedia).
Setting up Julia (using Juliabox.org) to import our dataset and start our data analysis.
From playlist The Julia Computer Language
ReasonML Programming - Full Course for Beginners
ReasonML is an object-functional programming language created at Facebook. ReasonML lets you write simple, fast and quality type safe code while leveraging both the JavaScript & OCaml ecosystems. In this full tutorial course, you will learn everything you need to know about ReasonML (aka
From playlist Full Courses in One Video
JAVASCRIPT: THE FAIRLY ODD PARTS
JavaScript is the new language of choice for many applications, and it’s certainly a great language for many tasks. But it also has some strange quirks. This lightning talk focuses on some of JavaScript’s weird parts, that you usually don’t run into… unless you try to implement a JavaScrip
From playlist JavaScript
AQA Core 3 2.01 What is a Function?
Here I describe what is meant by a function, a many-one and one-one function, and introduce the ideas of domain and range.
From playlist [OLD SPEC] TEACHING AQA CORE 3 (C3)
Pre-Calculus - Vocabulary of functions
This video describes some of the vocabulary used with functions. Specifically it covers what a function is as well as the basic idea behind its domain and range. For more videos visit http://www.mysecretmathtutor.com
From playlist Pre-Calculus - Functions
MountainWest RubyConf 2008 - Ruby Internals by: Patrick Farley
Ruby Internals by: Patrick Farley
From playlist MountainWest RubyConf 2008
APIs for Beginners - How to use an API (Full Course / Tutorial)
⚠️ Watch the UPDATED version of this course: https://youtu.be/WXsD0ZgxjRw What is an API? Learn all about APIs (Application Programming Interfaces) in this full tutorial for beginners. You will learn what APIs do, why APIs exist, and the many benefits of APIs. APIs are used all the time i
From playlist Computer Science Concepts
Introduction to the C programming language. Part of a larger series teaching programming. See http://codeschool.org
From playlist The C language
Introduction to the C programming language. Part of a larger series teaching programming. See http://codeschool.org
From playlist The C language
[ML News] DeepMind AlphaCode | OpenAI math prover | Meta battles harmful content with AI
#mlnews #alphacode #openai The latest and greatest from the world of Machine Learning! Merch: http://store.ykilcher.com Sponsor: Weights & Biases https://wandb.me/yannic OUTLINE: 0:00 - Intro 0:15 - Sponsor: Weights & Biases 3:15 - DeepMind's AlphaCode: AI competitive programmer 11:30 -
From playlist All Videos
MicroPython – Python for Microcontrollers
MicroPython is a lean and efficient implementation of the Python 3 programming language that includes a small subset of the Python standard library and is optimised to run on microcontrollers and in constrained environments. This talk will give an overview about the MicroPython. EVENT: m
From playlist IoT
3. Deep Dive Into Clinical Data
MIT 6.S897 Machine Learning for Healthcare, Spring 2019 Instructor: Peter Szolovits View the complete course: https://ocw.mit.edu/6-S897S19 YouTube Playlist: https://www.youtube.com/playlist?list=PLUl4u3cNGP60B0PQXVQyGNdCyCTDU1Q5j Prof. Szolovits gives a deep dive into clinical data, the
From playlist MIT 6.S897 Machine Learning for Healthcare, Spring 2019
DjangoCon US 2018 - Auto-generating an API using PostgreSQL... by Mjumbe Poe
DjangoCon US 2018 - Auto-generating an API using PostgreSQL, Django, and Django REST Framework by Mjumbe Poe We have an API whose database schema changes constantly with no need for changes to our code that exposes the data. This is an extremely powerful (but quite possibly a bad) idea. S
From playlist DjangoCon US 2018
Billy Price and Will Troiani present a series of seminars on foundations of mathematics. In this seminar Billy continues to introduce natural deduction as a proof system, and proves soundness. You can join this seminar from anywhere, on any device, at https://www.metauni.org. This video
From playlist Foundations seminar
Making Decisions under Model Misspecification & Star-shaped Risk Measures - Maccheroni & Marinacci
Prof. Fabio Maccheroni & Prof. Massimo Marinacci - Making Decisions under Model Misspecification & Star-shaped Risk Measures Making Decisions under Model Misspecification (45min) Authors Simone Cerreia-Vioglio, Lars Peter Hansen, Fabio Maccheroni, Massimo Marinacci Abstract We use de
From playlist Uncertainty and Risk
2 History and Cognition Basics
Recorded: Spring 2014 Lecturer: Dr. Erin M. Buchanan Materials: created for Memory and Cognition (PSY 422) using Smith and Kosslyn (2006) Lecture materials and assignments available at statisticsofdoom.com. https://statisticsofdoom.com/page/other-courses/
From playlist PSY 422 Memory and Cognition with Dr. B
Yoshua Bengio: From System 1 Deep Learning to System 2 Deep Learning (NeurIPS 2019)
This is a combined slide/speaker video of Yoshua Bengio's talk at NeurIPS 2019. Slide-synced non-YouTube version is here: https://slideslive.com/neurips/neurips-2019-west-exhibition-hall-c-b3-live This is a clip on the Lex Clips channel that I mostly use to post video clips from the Artif
From playlist AI talks
LambdaConf 2015 - The Virtual Filesystem This Changes Everything Paul Phillips
In this talk, Paul Phillips expands on ideas in his keynote to deliver a compelling vision for how properly conceived and implemented virtual file systems have the ability to literally change every single thing about how we interact with computers. Help us caption & translate this video!
From playlist LambdaConf 2015
Rails Conf 2012 Extending Ruby with Ruby by Michael Fairley
Other programming languages have powerful features that are often enviable while working in Ruby: Python's function decorators, Scala's partial evaluation, and Haskell's lazy evaluation, among others. Fortunately, Ruby's metaprogramming facilities give us the ability to add these features
From playlist Rails Conf 2012