standard 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.

A one-hour OCaml Workshop 2020 talk on the state of the OCaml Platform, covering IDE support, next steps for the tooling and plans for 2020-2021.

CNBC gets a tour of ASML's cleanrooms in the Netherlands to see how its roughly $200 million EUV lithography machines are built. It covers exploding molten tin, ultra-flat optics and why only one company can make these systems.

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.

Tom Scott follows the ISO 3103 / BS 6008 standard to make an international standard cup of tea, using specialist tasting equipment. The video shows how precisely the standard is specified.

ASML's short promotional fly-through of its High NA EUV lithography platform, the TWINSCAN EXE, which supports 8-nanometer resolution. It shows the machine's internals including advanced anamorphic optics.

Asianometry explains the EUV light source inside ASML's lithography machines, where lasers hit falling tin droplets twice to produce 13.5 nm light. It walks through the engineering of the droplet generator, the pre-pulse and main laser, and the plasma that results.

FortNine argues that the US DOT motorcycle helmet standard (FMVSS 218) is badly outdated and weak. It compares it with Snell and ECE standards and points to where you can look up test reports for your own helmet.

Lennart Augustsson's CUFP 2011 keynote covers using Haskell commercially at Standard Chartered Bank. He discusses non-standard Haskell implementations, including a strict dialect, and weighs strict against lazy evaluation.

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.

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.

PBS Space Time explains the Standard Model Lagrangian, the single equation encapsulating the particle physics theory, and visualizes what its terms mean.

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.

John Oliver's Last Week Tonight segment on standardized testing in American schools. It covers how tests drive school funding, the achievement gap, and the testing industry around companies like Pearson.

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

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.

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.

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.

Poul-Henning Kamp's FOSDEM 2014 talk is a hypothetical account of how an intelligence agency such as the NSA would sabotage open source software, standards and online discussion. It covers Skype's history, OpenSSL and psyops against standards.

Chris Lattner's ASPLOS 2021 keynote on the golden age of compiler design in an era of hardware and software co-design, covering compiler infrastructure for accelerators and unifying hardware IRs.

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.

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 2023 LLVM Developers' Meeting keynote by Abdul Dakkak, Chris Lattner and Jeff Niu introducing Mojo, a Python-family systems language built on MLIR and LLVM for heterogeneous computing.

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.

An IIHS news release video showing crash tests in which truck underride guards fail at relatively low speeds. The institute petitions for a stronger federal standard.

Technology Connections tests how quickly gas, induction and standard electric stoves boil water, with CO2 measurements and a discussion of the advantages and disadvantages of each.

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.

David Tong, a Cambridge theoretical physicist, explains at the Royal Institution that the fundamental building blocks of nature are quantum fields rather than particles. He covers what we know about these fields and how they fit into the Standard Model.

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.

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.

David Guillot describes how his team replaced a two-year-old React UI of their SaaS product with Django templates and htmx in a couple of months. The talk gives concrete indicators on code size, performance and team impact.

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.

Veritasium visits NIST to explain Standard Reference Materials, the carefully characterized items such as peanut butter used to calibrate instruments and keep measurements consistent. It covers why they exist and why they are expensive.

Branch Education's animated deep dive into ASML's EUV photolithography machine and how it prints nanometer-scale transistors onto chips. It covers the system's components and the process of chip manufacturing.

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.

Ricardo Signes' YAPC::Asia Tokyo 2011 talk on the legends and horrors of email: how messy the SMTP and email standards are in practice. The first few minutes are Perl-specific, but the rest applies to anyone handling email.

Veritasium explains how ASML's EUV lithography machines make the most advanced computer chips, covering the engineering of the light source, mirrors and the supply chain around them. It is a long-form explainer on the world's most complex commercial machine.

Technology Connections explains why American cars all had the same standardized sealed-beam headlights until 1957. It covers the regulations behind the design and the effect on night visibility.