correctness

A stand-up routine by Stewart Lee on political correctness, offering a satirical defense of inclusive language.

A nine-minute Stewart Lee stand-up routine about political correctness and the claim that it has gone mad. It is dry, layered British comedy that takes the complaint apart.

A George Carlin routine on euphemisms and political correctness, tracing how shell shock became PTSD. The uploader adds context about euphemism in political language.

Comedian Steve Hughes delivers a stand-up bit on political correctness, offense and health and safety culture, arguing there is no right not to be offended.

A short FIRE-published video of Yale students confronting a faculty member over a Halloween costume email in 2015. It documents a heated campus protest.

Neel Kolhatkar's satirical short film parodies modern education and political correctness. It shows how obsession with inclusive speech makes plain communication difficult.

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.

Christopher Hitchens delivers a speech defending freedom of speech, including the right of audiences to hear offensive speakers and a take on the fire-in-a-crowded-theatre line. It is framed around the Charlie Hebdo attack.

Microsoft's Brian Beckman gives an hour-long, whiteboard-style walk through monads, building from function composition and monoids using school-level math. It is aimed at practicing programmers rather than category theorists.

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.

Meredith Patterson and Sergey Bratus argue that networked software stays insecure because protocols and inputs are too complex to recognize safely. They propose using formal language theory and grammars to build secure, verifiable input handling.

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.

Veritasium's explainer on Godel's incompleteness theorems and the limits of mathematical proof, tracing set theory, Hilbert's program and the road to Turing and modern computing.

Vsauce's roughly 24 minute explainer on the Banach-Tarski paradox, building from infinity and set theory to the decomposition of a sphere into pieces that form two spheres.

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.

Cory Doctorow's 28c3 keynote argues that the copyright wars were just a skirmish and that the real fight will be a war on the general-purpose computer. He explains why locked-down devices, DRM and surveillance tools all depend on removing general computation.

A three-hour-plus Joe Rogan podcast with Twitter CEO Jack Dorsey, policy lead Vijaya Gadde and journalist Tim Pool. They discuss Twitter's moderation, bans and rule enforcement, with Pool challenging Dorsey and Gadde with examples.

Nina Paley's one-minute animated free culture anthem with vocals by Connie Champagne, arguing that copying is not theft.

Cory Doctorow's Talks at Google lecture on the coming civil war over general-purpose computing. He argues that locked-down devices, DRM, and surveillance threaten user control of computers.

Jonathan Haidt's Hayek Lecture at Duke argues American universities pursue two potentially incompatible sacred values, truth and social justice. He discusses campus conflict, honor, dignity and victimhood cultures, and viewpoint diversity.

The 1965 Cambridge Union debate between James Baldwin and William F. Buckley Jr. on whether the American Dream comes at the expense of the American Negro. It is a historic recording of the two speaking.

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.

Vsauce's Michael Stevens takes viewers past infinity using transfinite numbers, ordinals and cardinals, with input from mathematician Hugh Woodin. It is a fast-paced, mind-bending tour of different sizes of infinity.

Channel 4 News's full interview with Jordan Peterson, in which Cathy Newman presses him on the gender pay gap, patriarchy, campus protests and postmodernism. It was widely discussed for its confrontational style.

Sacha Baron Cohen's speech accepting the ADL International Leadership Award, in which he criticizes social media companies for amplifying hate and propaganda. He argues that freedom of speech is not freedom of reach.

Jay Parlar's Strange Loop talk shows how model checkers such as Alloy can find complex bugs in a system's design without running or reading any code. He walks through modeling architectures and checking every possible sequence of operations, including a real security bug and a UI feature-interaction bug.

Edwin Brady, creator of Idris, presents Idris 2 and demonstrates type-driven development, where the compiler assists by filling holes and suggesting implementations from types.

A 29C3 panel with whistleblowers Jesselyn Radack, Thomas Drake and William Binney. They talk about what happens when exposing secret government power becomes a crime, and about surveillance abuses.

Numberphile's James Grime explains Cantor's result that some infinities are bigger than others, including why the reals outnumber the integers. It is a short, accessible introduction to countable and uncountable infinity.

Innuendo Studios' video from the Alt-Right Playbook series on how bad-faith actors control the conversation through debate tactics and moving goalposts.

Guy Steele's PPoPP 2017 keynote surveying the history of computer science metanotation, including BNF, inference rules, and overline notation. He argues the field's notations are inconsistent and fragmented.

Slavoj Zizek and Paul Holdengraber discuss surveillance and whistleblowers at the International Authors' Stage, ranging over Snowden, Assange, Pussy Riot and humor.

Edwin Brady presents Idris 2, a rewrite of the Idris dependently typed language, and shows type-driven development in practice. The demos show the compiler filling in whole functions from their types.

A short clip of Stephen Fry defending swearing as a rich and essential part of the English language and rejecting the idea that it is unnecessary.

Aditya Siram introduces ATS, a statically typed ML-like language that compiles to C and offers type-safe pointer arithmetic and a full proof language. The Strange Loop talk shows off C interop, concurrency and verification features with non-trivial examples.

The 1965 Cambridge Union debate between James Baldwin and William F. Buckley on race, justice and history in America. Baldwin argues that the American dream came at the expense of Black Americans.

Investigative journalist Sharyl Attkisson explains how astroturf, fake grassroots campaigns funded by corporate or political interests, manipulates media messages. The TEDx talk is about 11 minutes.

John Oliver's Last Week Tonight segment on the Chinese government's treatment of the Uighur people, covering the human rights abuses in Xinjiang and why they deserve attention.

A roughly 90-minute video essay by ContraPoints on J.K. Rowling and the controversy around her views on gender. It examines why many LGBTQ people and allies soured on her.

The full documentary 'The Internet's Own Boy' about programmer and activist Aaron Swartz, with interviews with family, friends and internet figures. It covers his work on access to information and the legal case preceding his death.