Page 12 of 41
In briefScott Wlaschin demystifies functional programming terms like monads, monoids, functors and catamorphisms by showing how they fit into a small toolkit. He applies them to problems such as missing data, list handling, and functional dependency injection.
In briefSteve Klabnik walks through the history of Rust and how its design evolved toward async/await, including the alternatives tried and dropped. He also discusses the difficulty of adding a major feature to a language.
In briefA four-minute tour of the TeXmacs scientific editor, showing math typing, figures, citations, a drawing tool, document styles, HTML export, presentations and animations.
In briefA 3-minute demo of a tiny IOCCC 2012 winning C program that simulates fluid dynamics in an 80x25 terminal, using any text (including its own source) as input. The video shows the simulation running to Handel's Water Music.
In briefGuy Steele presents a small geometric problem and compares four computational approaches: a classic sequential solution and three parallel-friendly ones. Each is illustrated pictorially and with working code, weighing total work against time to solution.
In briefLouis Brandy presents the most common and infamous recurring C++ bugs seen in Facebook's huge codebase, including shared_ptr data races and operator[] pitfalls. He explains the surprising complexity behind seemingly simple code.
In briefConal Elliott presents his paper on automatic differentiation, deriving a simple, generalized AD algorithm from a natural specification. Varying the representation of derivatives yields forward and reverse mode algorithms that avoid the complexity and statefulness of backpropagation.
In briefEdwin Brady, creator of Idris, presents Idris 2 and demonstrates type-driven development, where the compiler assists by filling holes and suggesting implementations from types.
In briefMax Brunsfeld introduces Tree-sitter, a parsing system for developer tools that offers incremental parsing and robust error recovery through a uniform C API. The talk explains the design, based on LR extended to GLR parsing.
In briefRob Landley compares Toybox and BusyBox and surveys options for embedded system command-line tools, including GNU. He also tells the story of leaving BusyBox, Toybox becoming Android's command line, and licensing.
In briefThe first three talks from React Conf 2018, by Sophie Alpert, Dan Abramov and Ryan Florence. They introduce React Hooks and explain the problems with classes that hooks solve.
In briefA roughly three-hour Lex Fridman podcast conversation with Brendan Eich, creator of JavaScript and co-founder of Mozilla and Brave. It covers JavaScript's rushed creation at Netscape, the browser wars, Firefox and Mozilla, and Brave's privacy approach.
In briefJohn Hughes, co-creator of QuickCheck, talks about property-based testing of hard systems. He shows production examples where it found very low-level bugs, including issues in the CAN bus standard.
In briefA Channel 9 conversation recorded at GOTO 2012 between Anders Hejlsberg (TypeScript) and Lars Bak (Dart). They discuss the two languages and different approaches to making JavaScript development safer, including runtime type checking.
In briefEmery Berger argues that performance is hard to measure and deliver on modern systems, showing how code layout and link order can swamp optimization effects. He presents tools that evaluate performance more reliably.
In briefRich Hickey, creator of Clojure and designer of Datomic, gives a JaxConf 2012 talk that takes apart traditional database architecture. He presents a different way to think about databases and explains the reasoning behind Datomic's fact-based design.
In briefScott Wlaschin shows how statically typed functional languages, using F# examples, can model a business domain so that invalid states cannot be represented. The type system acts almost like an instant unit test at compile time.
In briefJohn Scholes builds a depth-first tree-search operator step by step in a Dyalog APL session. It covers higher-order functions and runs the search on the N-Queens problem.
In briefStuart Halloway of Cognitect argues for debugging with the scientific method: form hypotheses, try to falsify them, and write everything down. The talk is given to the Clojure community but applies to any language.
In briefA demo of the Symbolics Graphics Division's S-Packages, a Lisp-based 3D color graphics and animation system from the 1980s. It was later used in developing for the Nintendo 64.
In briefA roughly two-hour demonstration by Dan Ingalls of Smalltalk running on the Computer History Museum's restored Xerox Alto. It shows the integrated environment and language designed at Xerox PARC as personal dynamic media.
In briefGlenn Vanderburg argues at Lone Star Ruby Conference 2010 that university-style software engineering does not work, and asks what real software engineering would look like. He revisits the waterfall model and what engineering means in other fields.
In briefNickolas Means tells the story of United Airlines Flight 232, which lost all flight control yet saved more than half its passengers. He draws lessons on teamwork, crew resource management and leadership for software teams.
In briefJordan 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.
