struct of arrays

Andrej Bauer's IAS talk introduces constructive mathematics and what it feels like to do mathematics without excluded middle. It is framed as a tour for classical mathematicians.

An Odd Lots podcast episode on why converting empty office buildings into apartments is hard. A managing director at Vanbarton Group walks through the zoning, financing and construction obstacles, mostly in New York.

Kevlin Henney revisits structured programming, from Go To Statement Considered Harmful to block-structured code and object orientation. He argues it still matters for how we write code today.

Time-lapse of Broad Group erecting a 30-story prefabricated hotel (J57) in Changsha, China in about 15 days. The description touts modular construction's precision, speed and low waste.

Alexander Rose of the Long Now Foundation describes the design and construction of the 10,000 year clock conceived by Danny Hillis. He covers the project's history, methods, and how different cultures built things to last millennia.

Simon Brown's Agile on the Beach 2019 talk presents the C4 model, a lightweight approach to diagramming software architecture with a shared vocabulary and simple notation.

Zoz's DEF CON 23 talk explores practical, often explosive ways to destroy data and hard drives quickly. It tests methods such as thermite and other physical techniques for rapid destruction.

Not Just Bikes explains Dutch bicycle-only roads, which let people travel long distances in and out of cities with almost no car interaction. It shows how this changes cycling from a chore into something enjoyable.

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.

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

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.

Andrew Kelley, creator of Zig, presents practical data-oriented design techniques for shrinking memory footprint and making programs cache friendly. He ends with a case study of how these ideas sped up the Zig compiler.

Erik Demaine's MIT 6.851 Advanced Data Structures lecture introducing succinct data structures, covering rank, select and tries. It is part of the Spring 2012 course.

A RacketCon talk presenting Fructure, a prototype extensible structured editing engine in Racket. Language providers define syntactic forms and refactorings as rewrite rules, and editing operates on program structure rather than on text.

A family comedy video in which kids write instructions for making a peanut butter and jelly sandwich, and a parent follows them with exact literalness, producing chaos. This is the classroom-friendly version.

An Onion News Network satirical segment about a memorial dedicated to the future victims of a dam that officials know will fail. It is a dark joke about known infrastructure risk and inaction.

The Eames Office's 1977 film Powers of Ten starts at a picnic in Chicago and zooms out by a factor of ten every ten seconds to the edge of the universe. It then zooms inward to a proton in a carbon atom.

An RSA Animate video that illustrates a talk by geographer David Harvey on the crises of capitalism. It covers creative destruction, wage stagnation masked by credit, and the search for a more just economic order.

A DevGAMM talk by Jonathan Blow arguing that civilizations can lose technological capability and that software quality is already deteriorating. He discusses how knowledge fails to transfer between generations.

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.

The full recording of Douglas Engelbart's 1968 demonstration, which introduced the mouse, hypertext, video conferencing, word processing, and real-time collaborative editing. It runs about 100 minutes.

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.

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.

The first lecture of Jordan Peterson's 2017 Maps of Meaning course, setting out the Cold War context for his theory of belief and culture. He introduces the narrative structure of culture and archetypal characters for the individual, the known and the unknown.

Physicist Carlo Rovelli gives a public lecture at the Royal Institution on how our understanding of time has changed, from Boltzmann and Einstein to quantum theory and loop quantum gravity. He blends physics, philosophy and art to argue that time is stranger than everyday intuition suggests.

Bryan Cantrill's Monktoberfest 2016 talk on how software engineers pass knowledge down through oral tradition, from folk rhymes to programmer lore and stories like why C lacks a logical XOR. He argues for writing software with future generations in mind.

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 cardiologist runs a detailed, skeptical review of the Wim Hof Method, covering the research on cold exposure and breathing techniques. It also teaches how to read scientific statistics critically.

A long documentary-style video arguing that slavery in the US effectively continued through convict leasing and the prison system until around 1942. It covers the constitutional carveout and the history of neoslavery.

Vox breaks down how great rappers build rhymes, from Kurtis Blow's simple bars to Biggie's smooth flow and Kendrick Lamar's dense, fast delivery. It uses on-screen visualizations of rhyme structure.

Lex Fridman interviews University of Glasgow chemist Lee Cronin about the origin of life, aliens, complexity and consciousness. The conversation centers on Cronin's assembly theory.

Bryan Cantrill's Craft 2019 talk on the ethical dilemmas software engineers face as software eats the world. He explores cases where engineering thinking conflicts with the law or personal morals, including Facebook's news feed experiments.

Richard Stallman's TEDxGeneva 2014 talk describing how nonfree programs give companies control over users and what users can do to regain control. It introduces the free software movement and the four freedoms.

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.

Glenn Vanderburg asks whether software development can be real engineering, surveying other engineering disciplines and decades of programming experience. He envisions what a software engineering worthy of the name might look like.

Noam Chomsky's 2011 University of Oslo lecture on Newton's contributions to the study of mind. He argues Newton abandoned mechanical explanation and lowered the bar for scientific intelligibility, with consequences for the limits of human understanding. Q&A starts at 45:33.

Climate Town's comedic explainer on carbon offsets and whether companies can buy their way out of climate change. It argues that offsets won't save us, while granting they are not bad in principle.

Bryan Cantrill's Scale By The Bay 2019 talk on software after Moore's Law. He covers the end of easy scaling and the move toward specialized, emerging architectures.

Eben Moglen's re:publica 2012 talk argues that media which spy on and data-mine the public threaten freedom of thought, and that free technology and free culture are needed to protect it.