imac pro

Linus Tech Tips breaks an iMac Pro and then tries to pay Apple to repair it, only to be refused service. The video documents the frustrating runaround and what it says about Apple's repair policies for its professional machines.

Markus Triska tours Prolog's most distinctive features, including its use as a database and query language, rule processing, constraint solving and compile-time rewriting. It also covers concise meta-interpreters.

Steven G. Johnson, MIT professor and FFTW co-author, gives a JuliaCon 2019 keynote on metaprogramming and staged programming in Julia, showing how it enables high-performance numerical code and when not to use macros.

Rob Pike presents Go Proverbs at Gopherfest 2015, a set of pithy aphorisms about Go design such as 'Clear is better than clever' and 'A little copying is better than a little dependency'.

A French-language documentary on the history of Prolog, created in Marseille by Alain Colmerauer in the early 1970s, with interviews of many people involved. It traces the origins of logic programming and later developments of the language.

A short pronunciation clip showing how to say the word 'synecdoche'. It has almost no other content.

Andrej Karpathy's first Neural Networks: Zero to Hero lecture, which builds micrograd, a tiny autograd engine, from scratch in Python. It explains backpropagation and neural network training step by step, assuming only basic Python and some high-school calculus.

Bret Victor's DBX 2013 talk, delivered in the guise of a 1973 IBM engineer with an overhead projector. It surveys forgotten ideas from 1960s and early 70s computing and warns against assuming you know what you're doing.

Robert C. Martin (Uncle Bob) traces the history of software from 1948 to today, looking at the problems programmers faced, how they were solved, and what mistakes the profession made. He then projects where the field is going, including professionalism and regulation.

Philip Wadler's Strange Loop talk on Propositions as Types, the link between logic and computation (the Curry-Howard correspondence). He traces its history through Church, Godel and Turing and shows how it shaped theorem provers and programming languages.

3Blue1Brown walks through a very hard Putnam competition problem and its elegant solution, emphasizing the visual intuition and the thought process behind solving it.

Jack Rusher's Strange Loop 2022 talk argues that most programming languages are still designed around punchcard-era assumptions. He makes the case for live, interactive programming environments, drawing on Lisp, Smalltalk and REPL-driven development.

Michael Hendricks of PriceCharting shares tricks and pain points from running Prolog in production for 18 months at Strange Loop. It argues Prolog is a productive modern language beyond logic puzzles, and includes a demo of changing code mid-execution.

Felienne Hermans argues that Excel is the world's most popular programming language and shows how spreadsheets work as a pure functional language. She implements a few mathematical problems in spreadsheet formulas to illustrate why they are so powerful and approachable.

Tim Urban's TED talk on why people procrastinate, covering YouTube binges and Wikipedia rabbit holes. It ends with the life-calendar idea as a nudge to act before time runs out.

Jim Pavloff rebuilds the Prodigy track Smack My Bitch Up in Ableton, identifying the samples used and recreating the track by hand.

Stanford Health Care hosts Christopher Gardner and Robert Lustig on whether all calories are equal, with a focus on processed food and sugar. The talk questions the idea that calories in versus calories out fully explains weight and health.

Timothy Daly, an original author of the Axiom computer algebra system, talks about turning a large Common Lisp codebase into a literate program. He argues code should be written as readable manuals, and the talk was given at Write the Docs 2013.

Tony Schwartz of The Energy Project speaks at Google about managing energy rather than time. He draws on The Power of Full Engagement and his work on stamina and sustained performance.

3Blue1Brown's third deep learning chapter gives a visual, intuitive account of backpropagation and what happens to a neural network as it learns. A follow-up video covers the underlying calculus.

Segment co-founder and CEO Peter Reinhardt recounts how his company found product-market fit, including how a product grew out of a small feature of another. It is a lecture from Stanford's Startup School course.

A presentation by Janice Stanger arguing that protein is overhyped and that excess or the wrong kinds of protein are harmful. It promotes a whole-foods, plant-based diet.

GDC 2019 session where Insomniac's David Santiago describes the procedural systems used to build Manhattan for Marvel's Spider-Man. It covers the open-world pipeline and how each system was designed to support iteration and dependencies.

Jim Pavloff rebuilds The Prodigy's 'Voodoo People' in Ableton from its listed samples. The video shows how the track is assembled and how close a handmade reconstruction can sound.

Lecture 1 of Harvard's Statistics 110 with Joe Blitzstein, introducing sample spaces, the naive definition of probability, counting, binomial coefficients and the sampling table.

Zack Freedman gives advice on why makers fail to finish projects, including scrapping bad ideas, showing work publicly and writing a plan that keeps projects fun. It is aimed at hardware DIY but generalizes.

A three-minute clip of Steve Jobs arguing that great products come from people who care about content rather than process. He says process-focused people take over and cause decline, citing IBM as an example.

Tom Scott argues that grammatical gender is a silly concept and that the singular 'they' is an established gender-neutral pronoun. The description carries later corrections and reflections he added in 2019.

David Rosen of Wolfire Games explains how simple procedural techniques can produce fluid, interactive character animation from very few keyframes. Examples come from Overgrowth, Receiver and Black Shades, from his 2014 GDC session.

Ubisoft procedural technical artist Etienne Carrier explains the Houdini-based tools used to build Far Cry 5's roughly 100 square km open world. It covers generating biomes, texturing terrain, freshwater networks, cliff rocks and vegetation placement.

A 1990 Lotus sales demo of Improv, a spreadsheet built for the NeXT computer that rethought the grid with named categories and multiple views. The uploader, who tested it at Price Waterhouse, presents it as an early, innovative vision of the spreadsheet.

Johns Hopkins APL shows Les Baugh, a bilateral shoulder-level amputee, controlling two Modular Prosthetic Limbs by thought after a short training period. Nerves rerouted to his chest drive the arms.

A three-minute excerpt of a Steve Jobs interview in which he describes how monopolies let sales and marketing people displace product people, rotting a company's product sensibility, with Xerox as the example.

A Clojure/conj 2016 talk demoing Barliman, a prototype smart editor that does program synthesis. Given a partial program and tests, it completes the program using a relational interpreter written in miniKanren.

A 2015 talk by David Deutsch with slides and audio about constructor theory and how physics, in particular the many-worlds interpretation, can be framed without probability.

Cory Benfield's PyCon 2016 talk on building protocol libraries that can be reused widely, using the Python Hyper HTTP project as the example. He argues for separating protocol parsing from I/O.

Nadia Polikarpova's Strange Loop talk on program synthesis driven by refinement types, as in Synquid. It shows how rich type specifications can be turned into verified, executable code.

Apple's 2002 television ad for the iMac G4 "Lamp", showing the adjustable-arm design in a playful way.

Felienne Hermans presents Hedy, a gradual programming language for teaching kids that moves through levels from almost no syntax toward full Python. The talk covers why error messages and syntax are scary for beginners.

ILM shows how The Mandalorian season one used a large curved LED wall to display interactive 3D environments in camera. The video covers the virtual production setup replacing location shoots.