ml

An ICFP 2015 keynote on the history of Standard ML, covering its ideas, principles and culture. It traces ML from Strachey, Landin and Milner through SML's development and its interplay with OCaml.

Lex Fridman interviews Chris Lattner, creator of LLVM, Clang and Swift, about compilers, Swift for TensorFlow, TPUs and ML accelerators. The talk covers how hardware and software meet to produce efficient code.

Yaron Minsky explains how Jane Street moved from mainstream languages to developing almost entirely in OCaml. He covers trading systems, research infrastructure, tooling and hiring.

Yaron Minsky of Jane Street gave this talk to Harvard's OCaml-based CS51 class in 2010. It collects advice on being an effective ML programmer in an industrial setting.

Jordan Walke, creator of React, talks at ReasonConf 2019 about the ideas behind ReasonML and how it extends React's programming model with OCaml. He also discusses why familiar syntax matters.

Julien Verlaguet of Facebook describes applying static analysis and type inference to a very large PHP codebase, using OCaml. The work led to the Hack language.

A two-minute demonstration of LucasArts' iMUSE adaptive music system in Monkey Island 2. It shows music layers and transitions changing seamlessly as the player moves.

Ben Crystal performs Hamlet's 'To be, or not to be' in Original Pronunciation, the reconstructed accent of Shakespeare's time, on a London balcony.

Lily Tomlin's classic 1976 Saturday Night Live sketch as telephone operator Ernestine, mocking the monopolistic Bell phone company with the line 'We don't care. We don't have to.' It is a one-minute parody of arrogant corporate indifference.

Boeing rehearses its 2015 Paris Air Show flying display of the Vietnam Airlines 787-9 Dreamliner, including a very steep takeoff and tight turns.

James Mickens's humorous USENIX Security keynote argues that improving security and trusting opaque technology like machine learning is far harder than the industry admits.

Seeker's Focal Point short documentary on ASML's extreme ultraviolet lithography machines, which make the most advanced chips. It shows how plasma-generated 13.5 nm light is used to push Moore's Law forward.

Yaron Minsky of Jane Street shows how the OCaml Incremental library lets trading UIs express data transformations that are easy to read and efficient on streaming data. It includes a live table demo.

Ali Rahimi's NIPS 2017 Test-of-Time award talk, in which he argues that modern machine learning has become alchemy, working without being rigorously understood. He calls for more rigor and understanding in the field.

Scott Wlaschin's NDC Oslo talk on four 1970s languages, SQL, Prolog, ML and Smalltalk. It explains their philosophies and what practical principles they still offer modern developers.

Google I/O 2011 session by Ray Cromwell and Philip Rogers on writing 2D and 3D games with HTML5 and GWT. It covers porting game libraries and physics engines, sharing code with Android, and publishing to the Chrome Web Store, and showcases the ForPlay library.

Martin Odersky's JVM Language Summit 2015 talk argues that compilers can be thought of as databases. It describes design ideas for the Scala compiler and for developer tools.

Magician Kostya Kimlat performs a card trick on Penn & Teller: Fool Us that fooled the duo, using Penn's favorite card trick as a basis.

Douglas Crockford tells how JSON was discovered rather than invented, and how its simplicity made it a dominant data interchange format. He also covers surrounding history such as earlier Netscape usage and the 'Good, not Evil' license story.

Paul Irish explains how pointerpointer.com works. It uses a hidden canvas of colored Voronoi regions to look up which photo matches the cursor position.

Ilya Grigorik of Google's Make the Web Fast team explains how to build a mobile site that appears on screen within one second. He covers the network and rendering constraints on mobile.

Rick Hartley's AltiumLive keynote on differential pairs in PC boards. He argues the rules from cables and twisted pairs do not carry over, and covers which pair geometry gives the best impedance control, the right spacing, routing practice and how much skew is acceptable.

Timur Doumler's CppCon 2015 talk on how C++ is used in the audio industry. It covers the patterns and tools audio developers rely on, including handling real-time constraints.

Episode 7 of the Inside Koenigsegg series, where Christian von Koenigsegg demonstrates the camless Free Valve engine technology. It discusses how such innovation could affect the wider auto industry.

Pete Hunt of Facebook and Instagram presents React at JSConf.Asia 2013, explaining its design principles and why they seemed shocking at first. He argues that React separates concerns rather than technologies, and the talk also announces the React Chrome developer tools.

The first lecture of Caltech's CS 156 Machine Learning course by Yaser Abu-Mostafa, introducing the learning problem and supervised, unsupervised and reinforcement learning. It is one of 18 lectures in the Learning from Data course.

Chris McCord's ElixirConf 2018 keynote introduces Phoenix LiveView, which renders HTML on the server and updates the page over websockets. It includes a demo showing that latency is not the bottleneck one might expect.

Morten Rand-Hendriksen's WordCamp Europe 2017 talk presents CSS Grid Layout as a native two-dimensional layout system that changes how web pages are structured, including responsive layouts independent of source order. It was given as browsers began shipping support.

Edward Kmett speaks at the Boston Haskell meetup about type classes and the design tradeoffs of global coherence compared with other approaches to implicit instances. It covers why uniqueness of instances matters for reasoning and refactoring.

The first lecture of Stanford's CS231n Winter 2016 course on convolutional neural networks for visual recognition, introducing the course and the historical context of computer vision.

Morten Rand-Hendriksen argues that CSS Grid changes web layout, showing how to place content in cells independent of HTML source order and reshape layouts with media queries. It makes the case for using Grid now that browsers support it.

Chris Lattner and Brennan Saeta present Swift for TensorFlow at the TensorFlow Dev Summit 2019, covering language-integrated automatic differentiation and tooling for machine learning in Swift.

An Al Jazeera investigation into Boeing's 787 Dreamliner, featuring current and former engineers who voice safety concerns. It covers quality control problems at the South Carolina plant and the roots of the battery problems that grounded the plane.

The day one keynote of Google Cloud's 2016 GCP NEXT conference, with Sundar Pichai, Diane Greene, Eric Schmidt, Urs Holzle and customers. It includes a Cloud ML demo by Jeff Dean.

Christian Thalinger presents at the 2015 JVM Language Summit on adding ahead-of-time compilation to the JVM, covering the HotSpot team's AOT work and its relation to warmup and deoptimization.

Jim Weirich's RubyConf 2012 talk derives the Y combinator step by step, live-coding in Ruby lambdas. It builds up an understanding of functional programming and lambda calculus from first principles.

A HOPE09 talk on how modern computer chips are manufactured, from 22nm transistors to ultra-clean fabs and the tricks used to pattern tiny features with light. It frames chipmaking as hacking electrical engineering and physics.

Sasa Juric explains what makes Erlang and Elixir suited to server-side systems, focusing on the BEAM concurrency model rather than syntax or ecosystem. He demonstrates processes, supervision, and fault tolerance.

Philip Roberts explains the JavaScript event loop, call stack, callbacks and asynchronous behavior with live visualizations using a tool he built. It demystifies terms like non-blocking and single-threaded.

3Blue1Brown's first chapter on deep learning explains what neurons and layers are and the math underlying a basic neural network, using handwritten digit recognition with visual animations.