proof of work

Internet of Bugs analyzes Cognition's Devin demo frame by frame, arguing the video did not show Devin completing paid Upwork jobs as claimed, and showing what the task required versus what Devin produced.

3Blue1Brown explains the math and mechanics behind Bitcoin visually: ledgers, digital signatures, proof of work and the blockchain, building up a decentralized payment system from first principles.

A 1979 BBC Nationwide report asking whether word processors and networked microprocessors could end office commuting. It shows early word processing and a woman working from home, with surprisingly prophetic predictions.

Microsoft's 2015 concept video imagining how ubiquitous computing, collaboration services and data analytics might change work 5-10 years later.

Geoffrey Hinton's 2025 Royal Institution Discourse on what AI has learned from biological intelligence and how it might surpass it. He explains neural networks and argues that human language use resembles what backpropagation-trained networks do.

Vladimir Voevodsky's IAS lecture starts from Godel's second incompleteness theorem to explore whether first-order arithmetic could be inconsistent. It motivates his vision of univalent foundations and computer-checked proofs.

A dialogue with Gary Weber on the default mode network, meditation and non-dual awakening, with discussion of psychedelics, thought and time. It is part of the Non-Dual Couch series.

Geoffrey Hinton gives an MIT talk on what is wrong with convolutional neural networks and introduces his capsules project. The description points to the capsule network papers.

A 54-second clip from the film Office Space in which two coworkers talk about what they would do with a million dollars. The answers contrast blue-collar and white-collar attitudes toward work.

A five-minute clip in which Erich Fromm asks whether the purpose of work is just making money. He argues that white-collar workers end up selling their personality, relating to others the way goods relate to each other on a market, and he points to creative pleasure, participation and usefulness to society as what work could offer instead.

Bungie's David Aldridge explains the networking programming behind Halo: Reach in a 2011 GDC session. It covers how gameplay stays in sync online, including forecasting and state reconciliation.

Historia Civilis traces the history of work and time discipline, comparing modern working hours with those of medieval peasants and the changes brought by clocks and industrialization. It draws on works such as Schor's The Overworked American.

Andrej Karpathy's Databricks talk on Software 2.0, the shift from human-written code to code produced by neural network training. It covers how developer work moves toward curating datasets, the advantages and challenges, and opportunities for new tooling.

A short clip from the 1999 film Office Space in which Joanna quits her restaurant job with flair after her boss's demands. It is a comic scene about disaffected workers.

A short clip from the film Office Space in which Peter explains his typical workday to the Bobs, the consultants.

Mathematician Kevin Buzzard explains why he believes the Lean theorem prover will shape the future of mathematics, and describes digitizing his university curriculum in Lean with undergraduates, plus the cultural challenges.

Van Jacobson's 2006 Google Tech Talk argues that networking should be rethought around named data rather than host-to-host conversations. He contrasts the circuit and datagram views of the internet and sketches content-centric networking as a replacement for the location-centric TCP/IP model.

Economist Richard Wolff's Talks at Google lecture on his book Democracy at Work. He critiques capitalism and argues for worker-run cooperatives as a path to a more democratic economy.

Sentdex demonstrates GAN Theft Auto, a GameGAN-based neural network that recreates GTA V so the network itself is the playable environment. He shows the results and releases the code.

WIRED has UCLA professor Amit Sahai explain zero-knowledge proofs to a child, a teen, a college student, a grad student and an expert. Each round goes deeper into the cryptography and why it matters.

Tim Hunkin's 1987 TV series episode on how vacuum cleaners and related household machines work, remastered and upscaled in 2021. It is part of the six-episode 'Secret Life of Machines' series with hands-on demonstrations of everyday technology.

The first of a short series by Welch Labs on building a complete neural network in Python. It introduces the data and the architecture of a simple network before later parts cover forward propagation, gradient descent, and backpropagation.

Nickolas Means tells the story of Lockheed's Skunk Works and how its engineers built the U-2, SR-71 and F-117 under tight deadlines and budgets. He draws lessons for modern software teams.

An episode of Tim Hunkin's The Secret Life of Machines that explains how a washing machine works, using models, cut-aways and animations. It was first aired in 1988.

An 8-minute explainer on the Lightning Network and how it relates to Segwit, Bitcoin and Litecoin. It covers how off-chain payment channels route payments to scale blockchain transactions.

David Rock gives a Google Tech Talk based on his book Your Brain at Work, using neuroscience to explain why focus and productivity are hard at the office. He gives strategies for managing mental energy and distraction.

Linus Sebastian of Linus Tech Tips discloses that he has invested in Framework, the modular repairable laptop maker. He explains his reasoning and the commitments he is making to viewers about future coverage.

Two Minute Papers covers a paper on speeding up fluid and smoke simulation with convolutional networks. It contrasts the approach with earlier regression forest methods.

A one-minute clip of slime mold placed on a map with food at the cities around Tokyo, growing a network that approximates the Tokyo-area railway system.

Casey Muratori's two-hour talk tracing the history of object-oriented programming back to the 1960s and examining how its ideas, and later entity component systems, came about. It is followed by a Q&A.

An animated 11-minute tour of the whole field of mathematics as a single map, showing how pure and applied math and their sub-fields relate to each other.

Wim Hof guides viewers step by step through his breathing method, with some explanation of the science he cites behind it. It stresses learning from the source and avoiding unsafe settings.

Microsoft's March 2023 launch highlights for Microsoft 365 Copilot, showing AI features in Outlook, PowerPoint, Excel and OneNote. The demo includes using it to draft a graduation party speech.

A feature-length documentary on how the City of London and Britain's overseas territories built a global web of offshore secrecy jurisdictions after the empire declined. It traces how this network captured and hid wealth from around the world.

Technology Connections explains how the simple American drip coffee maker works, including the bimetal valve and bubble-pump heating, and compares the original Mr. Coffee with modern machines.

A long Team House podcast interview with James Lawler, a former CIA operations officer who led counterproliferation work against the A.Q. Khan nuclear network. He discusses HUMINT, WMD and how such operations were run.

Van Jacobson's 2006 Google Tech Talk argues for rethinking networking around named data rather than host-to-host connections. He gives the history and the unsolved problems of the current internet architecture.

The first lecture of MIT 6.042J Mathematics for Computer Science, taught by Tom Leighton, introducing mathematical proofs. It covers propositions, implication and basic proof methods.

A two-hour NANOG tutorial by Richard Steenbergen aimed at network engineers, covering optical networking technologies. This is the updated 2017 edition of a recurring talk.

A philosophy lecture by Professor Moeller on the philosophy of identity. It builds on a discussion of Abigail Thorn's video and covers authenticity, sincerity and how online profiles reshape identity.