simulation argument

George Hotz gives a SXSW 2019 talk on the idea that we live in a simulation and asks what actions would be available from inside it. He takes a hacker's view of whether it could be escaped.

The 2016 Isaac Asimov Memorial Debate, moderated by Neil deGrasse Tyson, in which a panel of physicists and philosophers debates whether the universe is a simulation. Participants include David Chalmers, Zohreh Davoudi and James Gates.

Will Wilson of FoundationDB explains how the team tested their distributed database using deterministic simulation. By running the whole system in a simulator with injected faults and reproducible seeds, they could find rare concurrency and network bugs.

SpaceX engineers present at NVIDIA's GPU Technology Conference on a multi-physics code that simulates the full-scale Raptor methane engine. It covers GPU-based turbulent combustion modeling with adaptive grids and wavelet compression.

In this 2019 GDC session, Petri Purho of Nolla Games explains the technical side of Noita's physics engine, including scaling a falling-sand simulation to large continuous worlds and adding destructible rigid bodies. It also shows how the emergent physics drives the gameplay.

Will Wilson explains autonomous testing: using deterministic simulation and fuzzing, building on FoundationDB's approach, to test software continuously. It sets out the ideas behind his later company Antithesis.

Jake Vanderplas's PyCon 2016 talk shows how sampling-based methods such as simulation, shuffling and bootstrapping make statistics intuitive. His pitch is that if you can write a for-loop, you can do statistics.

Joran Dirk Greef's Systems Distributed '23 talk on TigerStyle, the engineering methodology behind TigerBeetle. It covers designing safer systems in less time through up-front design, assertions, and deterministic simulation.

Cognitive scientist Donald Hoffman argues in this TED talk that evolution shaped perception to track fitness rather than truth. He uses evolutionary simulations and the Australian jewel beetle as examples.

RimWorld creator Tynan Sylvester explains at GDC 2017 how Ludeon framed the game as a story generator rather than a game. He covers the design methods that came out of that frame.

A 2007 Google Tech Talk introducing Polyworld, an artificial life simulator used to evolve artificial intelligence by designing worlds rather than minds. It presents results from ongoing attempts to evolve intelligent behavior.

John Rauser's Strata 2014 keynote argues that programmers can learn statistics quickly by simulating random processes and shuffling data. He explains p-values through resampling rather than formulas.

John Searle's Talk at Google on consciousness and artificial intelligence, hosted by Google's Singularity Network. He presents his philosophy of mind and Chinese room argument that computation is syntactic and cannot capture semantics.

A JuliaCon talk by a NASA Launch Services Program engineer on modeling spacecraft separation dynamics in Julia. He describes replacing a Simulink-based workflow for checking launch vehicle separation requirements with Julia and ModelingToolkit, with large speedups and much shorter code.

Lawrence Lessig's Talks at Google presentation based on his book Republic, Lost, arguing that money in politics corrupts Congress and eroded public trust, and outlining what could be done about it. It supports the argument with data on political donations.

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.

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.

Daniel Stone, a longtime X and Wayland developer, explains at linux.conf.au 2013 why X11's design became untenable and what motivated Wayland. The talk walks through X's history and accumulated cruft.

In this TED talk, Lawrence Lessig argues that American politics is corrupted by Congress's dependence on funding from a tiny fraction of citizens. He uses rapid-fire visuals and calls for a bipartisan push to reclaim the Republic.

Jack Diederich's PyCon 2012 talk argues that classes are overused in Python and walks through real code, refactoring away unnecessary classes, exceptions and modules. It popularized the heuristic that a class with two methods, one being __init__, should be a function.

Jim Keller gives a UC Berkeley EECS colloquium arguing that Moore's Law is not dead. He surveys upcoming technologies and the multiple innovation curves that can keep transistor density and performance scaling.

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.

Brian Lonsdorf explains why Underscore.js falls short as a functional programming library, then introduces currying, composition and point-free style in JavaScript. He argues for data-last argument ordering.

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.

Pete Hunt of Facebook and Instagram presents React at JSConf.Asia 2013, explaining its design principles and why they seemed shocking at first. He argues that React separates concerns rather than technologies, and the talk also announces the React Chrome developer tools.

A 2007 Google Tech Talk in which Cliff Click of Azul Systems presents a lock-free concurrent hash table that scales to 768 CPUs. He explains why it is correct by reasoning in a different way than usual happens-before and memory-order arguments.

Rich Hickey's long presentation on Clojure and concurrency covers locking and immutability, then goes in depth on refs, transactions and agents. It ends with a multithreaded ant colony simulation demo.

Harvard law professor Lawrence Lessig argues that US democracy is corrupted by money, since a tiny fraction of the population effectively funds who gets elected. He says fixing this must come before addressing issues like climate change or student debt.

Bill Gates at Stanford's Global Energy Forum argues that cheaper solar, wind and storage are not nearly enough to stop climate change. He discusses natural gas, a carbon tax, nuclear, battery costs and the responsibilities of developing versus developed economies.

Poul-Henning Kamp's FOSDEM 2014 talk is a hypothetical account of how an intelligence agency such as the NSA would sabotage open source software, standards and online discussion. It covers Skype's history, OpenSSL and psyops against standards.

Shriram Krishnamurthi's PWLConf 2019 talk on the formal notion of expressive power of programming languages, based on Felleisen's paper. It explains how to tell when a feature adds power by whether emulating it requires global rewriting.

In this TEDxBerlin talk, environmental activist Michael Shellenberger explains why he changed from opposing nuclear power to advocating it, after looking at the evidence on Chernobyl, Fukushima and air pollution.

Law professor James Duane explains why you should not talk to the police even if you are innocent, drawing on case histories of wrongful convictions. It is a short version of the argument in his book on the right to remain silent.

Elm creator Evan Czaplicki's talk on how a file grows and when to split code up. He argues for keeping code in one file until it hurts and warns against premature extraction.

Chris McCord's ElixirConf 2018 keynote introduces Phoenix LiveView, which renders HTML on the server and updates the page over websockets. It includes a demo showing that latency is not the bottleneck one might expect.

In this TED talk, Hans Rosling uses animated statistics to debunk myths about the developing world, showing how health and income have improved across countries.

Jafar Husain's ACM keynote presents Netflix's JSON Graph and Falcor, which let web developers treat all cloud data as one virtual JSON model. It combines reactive programming with REST principles.

Moxie Marlinspike's DEF CON 18 talk argues that privacy threats have shifted from centralized state databases like TIA to corporate data collection by companies like Google, despite wins in strong cryptography and decentralization.

Jason Scott of Archive Team describes how a loose band of volunteers rushes to copy sites like Geocities, Friendster and Yahoo Video before their owners delete them. The talk covers the tactics they use and the argument that this data is history worth saving.

Max Tegmark's MIT CBMM talk on why deep learning works so well. He argues that the laws of physics and the symmetries in physical data make it compressible into small neural networks, tying physics to network structure.