get lamp

Leslie Lamport argues that programmers, like architects, should write rigorous specifications before coding, especially for concurrent and distributed systems. The talk introduces the case for writing specs (the TLA+ mindset) as a way of thinking above the code.

Nina Teicholz, author of The Big Fat Surprise, speaks at Low Carb Gold Coast 2017 about the history and health implications of vegetable and seed oils. She covers the political and institutional forces behind dietary fat advice.

A Startup School talk by YC partner and former Airbnb growth head Gustaf Alstromer on how startups get their first customers. It covers doing things that don't scale, founders learning sales, the sales funnel, and charging your first customer.

Robert Smith of Rigetti Computing talks at a Bay Area Lisp and Scheme meetup about using Common Lisp for quantum computing. He covers the technical, sociological and psychological sides of working across disciplines.

Alexander Nix of Cambridge Analytica presents at the 2016 Concordia Summit on using big data, psychographic profiling and behavioral microtargeting in elections.

Simon Sinek's TEDx talk arguing that great leaders and companies inspire action by communicating why they do something before how or what. He uses Apple as his main example.

Gary Taubes presents the argument of his book Why We Get Fat to Googlers in 2011. He claims the type of calories matters more than the count, challenges calories-in-calories-out thinking and criticizes the low-fat dietary consensus.

Mike Monteiro's Creative Mornings talk "Fuck You, Pay Me" with his lawyer Keith Levine, on contracts, scope creep and making sure designers and freelancers get paid. This copy has Portuguese subtitles.

David Epstein argues in this TED talk that improving athletic records owe much to technology, training and the selection of specialized body types, not just humans getting inherently better. He gives counter-intuitive examples across sports.

A Google Tech Talk by Sebastian Deterding on gamification. It looks at what points and badges get wrong and what lessons game design offers for non-game applications.

A 37C3 talk by Kaspersky researchers on Operation Triangulation, a zero-click iPhone attack that targeted their own colleagues. They describe capturing every stage of the chain, four zero-days and a previously unknown spyware active for years.

Cambridge Analytica CEO Alexander Nix keynotes the OMR 2017 marketing festival on big data and personality-based targeting in political campaigns. It was given before the company's scandal broke.

Raymond Hettinger's PyBay 2018 keynote on preventing, finding and fixing bugs under a time budget. He covers testing practice, type annotation tradeoffs and the limits of coverage metrics.

Chris Paget's DEF CON 18 talk on practical cellphone spying, showing how GSM traffic can be intercepted with a fake base station. It covers 2G interception and the weaknesses of cellular networks.

A short excerpt of Rob Pike's Lang.NEXT 2014 talk where he describes Go's target audience as young Google programmers who are not researchers. The language has to be easy for them to understand and adopt.

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.

Veritasium's Derek Muller gives a Perimeter Institute livestream on how AI might change teaching and learning. He draws on past technology shifts and cognitive science to argue that learning requires effortful repetition.

Technosociologist Zeynep Tufekci argues that the machine-learning systems used to serve ads also decide what political and social information people see. She explains how opaque algorithms can nudge, segment and manipulate users, and warns that the real danger is powerful people using AI to control populations.

Sociologist and comedian Harald Eia argues in a TEDxOslo talk that Nordic social democracies produce more rich people per capita than the US or UK. He credits high taxes, welfare and strong unions for creating a safety net that enables risk taking.

Jared Mauch tells how he got fed up with poor internet options in rural Michigan and built his own fiber network to his town. The talk was given at NLNOG Live in September 2020.

BJ Fogg of Stanford's Persuasive Tech Lab argues that lasting change comes from tiny habits, such as flossing one tooth or doing one pushup, anchored to things you already do.

Sam Aaron, creator of Sonic Pi, gives a demo-heavy GOTO Chicago 2018 talk on live coding music. He covers the history of Sonic Pi, how it evolved, and what it can do for education and professional musicians.

Micah Lee's Circle of HOPE 2018 talk on Qubes OS, which isolates activities in separate virtual machines so one compromise, such as a bad PDF or USB stick, does not expose everything. He gives an overview timed around the Qubes 4.0 release.

Steven Pinker's TED talk presents data on homicide, war, poverty and pollution to argue that the world has improved over the past decades. He frames progress as problem-solving, not inevitability.

A React Conf talk by Xuan Huang previewing React Forget, a compiler that automatically memoizes components. It argues for making memoization the default so developers need not write useMemo or useCallback by hand.

Merlin Mann's 2007 Google Tech Talk on Inbox Zero, covering Getting Things Done, why an empty inbox matters, and strategies for handling high-volume email. It is a talk on attention and processing mail rather than on emptying it for its own sake.

Mark Russinovich's closing keynote at Rust Nation UK on Microsoft's adoption of Rust, covering security gains, integration challenges, performance results and lessons learned.

An Apple WWDC24 session introducing Embedded Swift, a subset of Swift with no runtime that targets tiny microcontrollers. It demonstrates the idea on an off-the-shelf Matter smart home device.

Armin Ronacher, creator of Flask, explains how CPython's internals and C API leak into the language's semantics. Using examples like the complexity of the add operation, he shows why Python is hard to optimize or reimplement.

Tom Murphy (suckerpinch) shows 'reverse emulation', using a Raspberry Pi in an NES cartridge to give an unmodified NES new abilities such as playing SNES games. The video starts in a strange way and gets stranger.

Ian Cooper's DevTernity talk revisits Kent Beck's original TDD ideas and shows where misunderstandings crept in. It argues tests should target behaviors through public interfaces rather than implementation details, so suites support refactoring instead of resisting it.

Rich Hickey's JaxConf 2012 keynote examines what values are and why immutable values matter as information systems grow more complex and data gets bigger. It contrasts places with values and builds the case for immutability.

Moxie Marlinspike's DEF CON 18 talk on changing threats to privacy argues that surveillance arrived through convenient services and network effects, so opting out is not a real solution. It also includes his framing of getting social democracy rather than the fascism people feared.

A thoughtbot meetup talk by Max Cantor on getting most of what popular plugins provide using only built-in Vim features. It covers autocomplete, file jumping, filesystem navigation, build integration and snippets, with slides and a vimrc available.

John Sotos, a physician and former Intel chief medical officer, argues at DEF CON 25 that genetic diseases are exploitable vulnerabilities in the genome. He warns that CRISPR and related tools will make malicious genome hacks and targeted bioweapons feasible.

David Graeber's Talks at Google presentation on his book Debt: The First 5,000 Years, covering the history of debt, the myth of barter and the Jubilee tradition.

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.

Tom7 explains how he built a SIGBOVIK 2017 paper made only of printable ASCII bytes that is also a valid DOS executable. He writes a C compiler targeting printable x86 without self-modifying code and solves the puzzles the constraint creates.

Bryan Cantrill's Monktoberfest 2017 talk on leadership and organizational principles, ranging from the Gettysburg Address to Uber and Amazon. He argues for the difference between principles and values and criticizes vague corporate principles.

Dr. Terry Wahls tells how she used diet to manage her multiple sclerosis and get out of a wheelchair, drawing on mitochondrial biology. TED flagged the talk as health advice based on personal narrative.