swi-prolog

Michael Hendricks of PriceCharting shares tricks and pain points from running Prolog in production for 18 months at Strange Loop. It argues Prolog is a productive modern language beyond logic puzzles, and includes a demo of changing code mid-execution.

Markus Triska tours Prolog's most distinctive features, including its use as a database and query language, rule processing, constraint solving and compile-time rewriting. It also covers concise meta-interpreters.

A French-language documentary on the history of Prolog, created in Marseille by Alain Colmerauer in the early 1970s, with interviews of many people involved. It traces the origins of logic programming and later developments of the language.

Konrad Malawski's Strange Loop 2023 talk shows how the FoundationDB team adopted Swift incrementally in a C++ codebase. It covers Swift's C++ interoperability, which let them move single functions or entire types over one at a time.

Swift compiler engineers explain how Swift implements generics using dictionary-passing with reified type metadata. They compare it with Java-style uniform representation and C++ or Rust monomorphization.

A 1951 Bell System training film showing how telephone calls are routed through a step-by-step (Strowger) switching office.

Chris Lattner and Brennan Saeta present Swift for TensorFlow at the TensorFlow Dev Summit 2019, covering language-integrated automatic differentiation and tooling for machine learning in Swift.

A 34C3 talk on the security architecture of the Nintendo Switch and the early progress breaking it. It introduces the Switch's custom OS and software stack, with the hackers' reverse-engineering and glitching work.

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.

The Browser Company's CTO explains how the team is building the Arc browser for Windows using Swift. It covers the de-risking work and why they believe it is feasible.

ThePrimeagen interviews Chris Lattner, creator of LLVM, Clang, Swift and Mojo, with TJ DeVries, in a long live-streamed conversation. They discuss language design and Lattner's experience building Swift.

An Adult Swim fake infomercial in which Alan Resnick pitches a four-step program for creating a digital avatar to live forever. It is absurdist satire of tech immortality and digital popularity.

An Adult Swim infomercial parody for Smart Pipe, a fictional startup that turns toilet waste into data and social connectivity. It satirizes everything-connected tech culture.

A short Tim and Eric Awesome Show sketch, The Universe I, II & III, in which the cosmos is shown in a deliberately absurd way. It is an Adult Swim surreal comedy bit.

Too Many Cooks is an Adult Swim absurdist parody of sitcom opening credits that spirals into a surreal horror comedy. It runs about eleven minutes.

An Adult Swim parody infomercial for a for-profit online university that promises to let you print your own degree. It is absurdist comedy in the style of Tim and Eric.

Miguel de Icaza's GodotCon 2023 talk on Swift bindings for Godot. He argues that garbage-collector pauses in C# are a persistent problem and that Swift's reference counting avoids them.

Lex Fridman interviews Chris Lattner, creator of LLVM, Clang and Swift, about compilers, Swift for TensorFlow, TPUs and ML accelerators. The talk covers how hardware and software meet to produce efficient code.

A Rick and Morty bit in the style of How Do They Do It, showing the absurd manufacture of a plumbus using nonsense terms.

A short satirical segment from Charlie Brooker's Newswipe that lampoons the formulaic conventions of television news reporting, from stock shots to filler street interviews and news-speak.

A two-hour driver's-eye cab ride along the Bernina railway from St. Moritz in Switzerland to Tirano in Italy. The UNESCO-listed line crosses the Alps at high altitude with steep adhesion gradients.

A clip from Charlie Brooker's Newswipe in which a forensic psychiatrist argues that intense news coverage of school shooters encourages copycat attacks, alongside Brooker's satire of formulaic news reporting.

John McCall of Apple's Swift team presents at CppNow 2023 on introducing a memory-safe successor language into large C++ code bases. He argues incremental improvement of C++ hits hard limits and explains Swift's C++ interoperability for gradual migration.

Builders Matt Risinger and Jordan Smith visit a Swiss cross-laminated timber factory that makes thick all-wood walls with no traditional insulation and wooden nails instead of glue or chemicals. The video is sponsored by Siga.

A 1984 AT&T film showing the live cutover of a Glendale, California central office from step-by-step switching to an electronic switching system. Installers prepare the site and then cut cables in a coordinated operation.

Not Just Bikes explains why Swiss trains are considered among the best in Europe and the world, covering frequency, connections and what riding them is like.

The 1957 BBC Panorama April Fools' hoax report showing a Swiss family harvesting spaghetti from trees, republished by Switzerland Tourism. It is a short deadpan newsreel clip with a plummy narrator that famously fooled viewers who knew little about pasta.

A one-minute Robot Chicken stop-motion sketch where Darth Vader keeps altering his deal with Lando Calrissian.

Matt Kulukundis explains how Google designed SwissTable, a fast, cache-friendly hash table, step by step from std::unordered_map. The talk covers open addressing, SIMD probing and the tradeoffs of changing a fundamental data structure.

Jared Owen's 3D animated breakdown of how a Brunswick GS-X bowling pinsetter works, showing its mechanisms for sweeping, lifting and resetting pins and balls.

Channel 4's George Clarke visits a council estate in Vienna and is surprised by amenities such as swimming pools and private TV channels. It showcases Vienna's high-quality social housing.

Peter Zeihan speaks at Iowa Swine Day 2022 on geopolitics, the end of globalization and agriculture. He argues that supply chains, energy and farm inputs are all about to be disrupted.

Matt Kulukundis reviews two years of Abseil's Swiss table hashtable, covering post-release optimizations, lessons from rolling it out across Google, design choices, and what global monitoring revealed.

Matt Parker of Stand-up Maths examines scatter plots that were claimed to show fraudulent vote-switching in Michigan's 2020 election. He recreates the analysis and shows that the pattern arises from comparing percentages across different bases, not from fraud.

Lex Fridman's long interview with Chris Lattner, creator of LLVM and Swift, covering the future of computing and programming languages. It touches on compilers, hardware, and his work at Apple, Tesla, Google and SiFive.

A This Old House segment where Richard Trethewey installs a heat exchanger that uses waste heat from a central air conditioner to heat a swimming pool.

Totally Gridbag is a short humorous animation about the frustrations of Java Swing's GridBagLayout, originally made as a Flash cartoon.

Steve Jobs's WWDC 2005 keynote segment announcing Apple's move from PowerPC to Intel processors, and revealing that Mac OS X had been secretly built for Intel all along.

An animated introduction to geometric algebra, presented as a language that can describe most of physics. It was made with manim and covers multivectors and how they generalize familiar tools like cross products and quaternions.

A 2007 Channel 4 documentary by Martin Durkin arguing that human-caused global warming is overstated or a scam. It features contrarian scientists such as Richard Lindzen and promotes sunspot and cosmic-ray explanations for temperature change. Its claims are rejected by mainstream climate science.