wave function collapse

Physicist Jacob Barandes discusses his view that quantum mechanics can be formulated without wave functions, using a stochastic, probabilistic approach. The long interview covers measurement, the foundations of quantum theory and the history of the field.

Mark Seemann argues that functional programming naturally yields many of the best practices object-oriented developers learn painfully. He shows how functional architecture leads to a pit of success, with a pure core and impure shell.

An episode of Fall of Civilizations on the Late Bronze Age Collapse around 1100 BC, when many Eastern Mediterranean societies were destroyed in a short span. It explores the Sea Peoples and the lessons for modern globalised societies.

The Google I/O 2009 keynote introducing Google Wave, a real-time collaborative communication and document platform. It includes a long live demo and the developer preview announcement.

Archaeologist Eric Cline lectures on the Late Bronze Age collapse around 1177 BC, when interconnected Mediterranean empires fell in rapid succession. He discusses the Sea Peoples and the combined causes of the collapse.

Joseph Tainter lectures at a 2010 sustainability conference on why complex societies such as Rome collapse. His thesis is that rising complexity brings diminishing returns until societies cannot afford to maintain it.

A Lambda Days keynote by Simon Peyton Jones and Tim Sweeney introducing Verse, Epic's functional logic language for the metaverse. It covers existential variables, unification and expressions yielding multiple values.

Rafal Dittwald's Clojure/north talk shows how to move from writing Java-style code in Clojure to thinking in data-driven, functional terms. He walks through a JavaScript example, refactoring imperative code step by step into a functional core.

Gabriel Lebec's Fullstack Academy talk introduces lambda calculus syntax, the history of mathematical logic, and the essence of functional programming using JavaScript. It also covers combinators, currying and Church encodings.

A Virginia Tech presentation by Sid Smith about collapse, fossil fuels and overshoot, arguing that industrial civilization faces a decline and how one might live with that. It was later expanded into a video series.

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

A DevGAMM talk by Jonathan Blow arguing that civilizations can lose technological capability and that software quality is already deteriorating. He discusses how knowledge fails to transfer between generations.

John Carmack's roughly three-hour QuakeCon 2013 keynote, delivered from a few bullet points. Topics include his Haskell experiments with functional programming and static typing, game state, and cloud gaming.

Dr. Russell Barkley gives a nearly three-hour lecture of essential ideas about ADHD for parents, covering what ADHD is, its effects on executive function, motivation and emotion, and how it affects children.

Microsoft's Brian Beckman gives an hour-long, whiteboard-style walk through monads, building from function composition and monoids using school-level math. It is aimed at practicing programmers rather than category theorists.

Jonathan Blow's DevGAMM 2019 talk argues that software knowledge is being lost between generations and that growing layers of abstraction could lead to a decline in technological civilization.

Bret Weinstein and Yuri Deigin discuss the evidence for the hypothesis that SARS-CoV-2 leaked from a lab, including the furin cleavage site and gain-of-function research. The conversation draws on Deigin's Medium article.

Rich Hickey's talk on time, state, identity and values, arguing that mutable object-oriented modeling fits the world poorly. It lays out the thinking behind Clojure's approach to data and change.

David Beazley's PyCon 2019 tutorial derives the lambda calculus from the ground up in Python, using only single-argument functions. He builds booleans, numerals and more with no other language features.

Jon Purdy's Stanford EE380 seminar giving an overview of concatenative programming, from function composition theory and history down to low-level implementation and correctness benefits.

Edward Kmett's talk to the NY Haskell User Group on the lens library, building from fmap and function composition up to lenses, folds and traversals. It shows how these composable combinators access and modify parts of data structures.

A documentary about Riot Entertainment, a Finnish dot-com-era startup that raised millions in funding and then collapsed. It follows the hype-driven rise and implosion of the company.

A roughly 3.5-hour Gamers Nexus investigation into rising PC component prices, driven largely by AI data-center demand for memory and other hardware. It draws on interviews with industry figures to argue that personal computing and ownership are being eroded.

A full upload of the Hotline Miami game soundtrack, with tracklist timestamps, featuring synthwave and electronic artists such as Perturbator, M O O N and Jasper Byrne.

Dr. Russell Barkley's roughly three-hour lecture on ADHD for parents of affected children. It explains what ADHD is and how the ADHD brain differs.

Juan Pedro Bolivar Puente explains immutable and persistent data structures in C++ and how they support value semantics. He presents the Immer library, rrb-trees, and a prototype text editor that opens a huge file instantly.

Simon Peyton Jones gives Churchill College's annual computer science lecture on Haskell's birth and evolution. He covers the most influential ideas, from laziness to monads and type system evolution, plus current developments and guesses about the future.

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

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

Sasa Juric explains how to parse a language from first principles without regexes, live-coding a simple parser combinator library in Elixir. It was given at WebCamp Zagreb 2019.

Tsoding live-codes a JSON parser from scratch in Haskell in about 111 lines, using only the standard library. It is an edited Twitch stream that explains the intuition behind parser combinators, functors, applicatives and monads.

Tom LaGatta's talk on category theory at a 2014 LispNYC meetup, covering objects, morphisms and the basic ideas in an informal, conversational style. It runs about 97 minutes.

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.

Alexis King's ZuriHac 2020 talk on how effect systems in Haskell can be implemented efficiently. It looks at the performance cost of effect libraries and how to reduce it.

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.

Guy Steele's Strange Loop 2010 talk argues that programmers should not have to think about parallelism, and that languages should support algorithms built on independence and divide-and-conquer. He also recounts fitting a program onto a single punch card.

UCLA professor Dario Nardi presents brain-imaging research suggesting that different Myers-Briggs personality types use their brains in different ways. He discusses how each type can reach a state of creative flow. It is aimed at a general audience.

Herb Sutter revisits basic C++ questions in light of C++11 and C++14: how to declare and initialize variables, pass values to functions, write loops, and use smart pointers. It covers auto, rvalue references, range-for, uniform initialization, lambdas, unique_ptr and shared_ptr.

Erik Meijer argues that category theory is the mathematicians' version of interface-based design. He shows that Java 8 lambdas and method references form a Cartesian closed category.

Chalmers Johnson, author of Blowback and Sorrows of Empire, lectures on parallels between the decline of the Roman and Soviet empires and the United States. He argues the US shows the same symptoms: overextension, corruption, and an inability to reform.