anton ego

The first lecture in Bartosz Milewski's category theory series for programmers. It covers the motivation and philosophy behind category theory and why composition matters for handling complexity.

Eugenia Cheng gives the opening keynote at Lambda World 2017, presenting category theory as very abstract algebra whose abstraction gives it broad applicability. She applies it to everyday questions including privilege and prejudice.

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.

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.

A short clip from the NBC sitcom Community in which a character delivers a monologue about how LEGO changed over the years. It is the source of a widely quoted passage about the toy.

The closing scene of Ratatouille where critic Anton Ego delivers his review, reflecting on the role of critics and the value of new things.

Kate Gregory argues at CppCon 2015 that C++ should be taught without starting from C: no char* strings, printf or raw arrays at first, with references before pointers.

A two-minute clip of Andreas Antonopoulos explaining why a 51% attack on Bitcoin would not destroy it and what such an attack would cost. It is a succinct take on mining security.

Gregory Chaitin is interviewed on Closer To Truth about whether mathematics is invented or discovered. He gives a nuanced view that ties the question to the nature of reality.

David Shaw of D. E. Shaw Research presents Anton, a special-purpose machine that speeds up biomolecular simulations about a hundred-fold. The lecture covers molecular dynamics and how simulation helps understand how drugs bind.

Kate Gregory's CppCon 2017 talk picks ten highlights from the C++ Core Guidelines and shows examples and benefits for each. It is aimed at C++ developers of any experience level who have not read the full guidelines.

A short clip of a helicopter pilot harvesting Christmas trees at an Oregon farm with a sling load. The description adds facts about Oregon's Christmas tree industry.

A short recording of a 1565 organ in Mantua tuned in quarter-comma meantone, showing split sharps in use. The extra keys provide separate D-sharp and A-flat for more tonalities.

A KATU News re-edit from remastered 4K footage of the 1970 Oregon incident in which officials blew up a beached whale and showered the beach with blubber.

Machine Learning Street Talk interviews Paul Lessard about Categorical Deep Learning, which uses category theory and monads to make neural network architectures more interpretable and composable. They also discuss neural networks' limits in reasoning and unbounded computation.

Andreas Antonopoulos explains how to tell Bitcoin-style blockchains from corporate blockchain hype. He argues the goal should be de-banking everyone rather than banking the unbanked.

Andreas Antonopoulos argues that money has a fourth function beyond store of value, medium of exchange and unit of account, which is as a system of control. He covers the history of money and why it does not flow freely.

Andreas Antonopoulos answers a Bitcoin Q&A question about energy consumption in mining. He argues that mining is arbitrage for the cheapest electricity, drives investment in renewables, and that the traditional financial system has hidden externalities.

Justice Antonin Scalia's opening statement at a 2011 Senate Judiciary hearing on the role of judges. He argues that the Constitution's separation of powers is what protects liberty, and that gridlock is by design.

A Vsauce video exploring whether chairs exist, through metaphysics, mereology and the philosophy of categorizing objects. It runs about 38 minutes and cites academic work on ontology.

Kurzgesagt makes a selfish case for improving the world, arguing that helping people far away raises prosperity and innovation for everyone, including yourself. The animated video frames this as egoistic altruism and positive-sum cooperation.

Classical guitarist Brandon Acker shows how guitars with tied-on gut frets, as used 300 years ago, can play more in tune than modern fixed metal frets. He demonstrates microtonal and meantone tunings on a guitar with movable frets.

A colorized clip from the 1970 Polish comedy film 'How I Unleashed World War II' in which a character must pronounce the tongue-twisting name Grzegorz Brzeczyszczykiewicz for a Gestapo officer.

A short clip from the British panel show QI in which the panel discusses why there is no such thing as a fish as a biological category.

Yegor Denisov-Blanch of Stanford presents a study of nearly 100,000 developers at hundreds of companies, measuring how AI affects productivity from commit data. It finds an average boost of about 20% with wide variance by codebase, task complexity and stack.

Brian Fitzpatrick and Ben Collins-Sussman argue that the 'genius programmer' ideal harms collaboration. They advocate trading ego for growth, sharing work early, and understanding how tools shape social behavior.

A maker's time-lapse of building a working computer inside a LEGO-style brick, using a tiny 0.42-inch OLED screen, with a demo at the end.

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.

A 1945 US Army educational film that dramatizes how demagogues use prejudice and scapegoating to divide people. It opens with fake wrestling matches and crooked gambling games to show how con artists work, then applies the lesson to racial and religious bigotry.

A tour of Christian Schallert's 24 square meter apartment in Barcelona, designed so that it looks like an empty cube until he builds the furniture he needs. Kirsten Dirksen shows how the space is transformed for cooking, sleeping and dressing.

A TEDx talk arguing that battery electric vehicles are not as environmentally friendly as commonly believed and that the rush to adopt them is misguided. TED flagged it as containing claims that lack scientific support.

Egoraptor's Sequelitis compares Mega Man Classic and Mega Man X, analyzing how the games teach players through level design without explicit tutorials. It mixes comedy with design analysis.

Andreas Antonopoulos answers a question about how to secure your Bitcoin. He covers holding your own keys, backing up the 12 to 24 word seed phrase, and the tradeoffs of custodial accounts, phone wallets and hardware wallets.

Mike Monteiro's CreativeMornings talk on getting paid for creative and freelance work, covering contracts, working with lawyers, and refusing to work for free. It is delivered with blunt humor.

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.

John Ousterhout's slides-and-voiceover lecture on Paxos, made for the Raft user study comparing how students learn Raft and Paxos. It is a full introduction to the Paxos consensus algorithm.

John Ousterhout lectures on the Raft consensus algorithm, made for the Raft user study comparing how students learn Raft and Paxos. It covers leader election and log repair.

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.

A short clip of George R.R. Martin asking Stephen King on stage how he writes so fast. King describes setting daily page goals, around six pages a day, and keeping focused hours.

A showcase of the author's fifth-generation quad-core computer built entirely from Minecraft redstone, after two years of development. It features cache, a hardware stack, a GPU driving a 15x15 display, and serial I/O ports.