on-device scanning

A DEF CON 22 panel with Rob Graham, Paul McMillan and Dan Tentler on the quirks of scanning the entire internet with masscan. They discuss how fast IPv4 can be scanned and what the results reveal.

Ben Krasnow shows the first image from his home-built scanning electron microscope, after months of work, and walks through how the parts operate together.

A WSJ interview in which Apple's Craig Federighi explains Apple's CSAM scanning and child-safety features, including neural hashes and safety vouchers, and defends them against backlash.

Technology Connections gives first impressions of using an Onyx Boox Max2 e-ink tablet for productivity, including using it as an external display. He shows what the device can and cannot do.

David Sachs of InvenSense explains how gyroscopes, accelerometers and compasses work on their own and together, demonstrated on a modified Android handset. He covers sensor fusion algorithms and why rotation math such as Euler angles matters.

Dan Tentler shows a rapid-fire tour of insecure things found on the open internet using Shodan and his own scanning, from unprotected VNC endpoints to industrial controls. The emphasis is on how little security was considered before connecting them.

DIY Perks shows how to modify devices that use older USB connectors so they charge and connect over USB Type-C. He solders in a USB-C connector board and works through cases such as dongle-dependent gadgets and a mouse receiver.

A DEF CON 19 talk by datagram introducing tamper-evident devices. It reviews how seals and similar products are designed and shows that they are often easily defeated, drawing on the DEF CON tamper-evident contest.

A three-minute demo of ProFORMA, a system from Cambridge that builds textured 3D models live from a video of an object.

A concept video from Nokia Research Center and Cambridge Nanoscience Center showing Morph, a flexible, self-cleaning, shape-changing phone imagined through nanotechnology.

Dan Tentler's DEF CON 20 talk on odd things he found on the internet through Shodan, such as stoplights, power systems and other non-computer devices exposed online. It highlights how many devices need no credentials.

A FIDO Alliance demo with Google and Microsoft engineers showing passkeys working across operating systems, browsers, and devices. It walks through registering and signing in on new devices.

Zach Hartwig of MIT introduces the key concepts of magnetic fusion energy and the state of fusion research. He then presents MIT's proposed pathway of using high-field superconducting magnets to build smaller, cheaper tokamaks on a climate-relevant timescale.

Explains the proposed NASA JPL plan to use the Sun as a gravitational lens, sending solar sail craft to its focal region to image an exoplanet's surface. It covers the distances involved, how imaging with the Sun would work and the mission design.

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.

Jason Turner's CppCon 2016 talk builds a simple Commodore 64 game using C++17, showing how constexpr and const let a modern compiler produce tight 6502 code. He walks through assembly output to show abstractions being optimized away.

Python core developer Raymond Hettinger explains how Python's dictionary implementation evolved into the compact, ordered dict in Python 3.6. He uses pictures and small bits of pure Python, and covers key-sharing, compaction and versioning.

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.

Martin Kleppmann's GOTO Berlin 2016 talk on how collaborative editors, offline apps, and multi-datacenter databases handle concurrent updates. It covers conflict resolution approaches including operational transformation and CRDTs, with a worked look at text CRDTs.

ContraPoints' 35-minute video essay on incels, examining the community, its worldview and how people get radicalized. It is delivered with theatrical style and an empathetic tone.

Paul Chiusano's Strange Loop 2019 talk introduces Unison, an open-source functional language for distributed, elastic systems. It covers content-addressed code identified by hashes of the syntax tree, a codebase manager, and algebraic effects called abilities.

Scott Wlaschin's NDC talk on using statically typed functional programming, F# in particular, to model a business domain. Types are used to represent the domain precisely and to encode business rules so that illegal states cannot be built, with the compiler acting as an instant unit test.

Chandler Carruth argues in a CppCon 2019 talk that C++ has no truly zero-cost abstractions. Using examples like unique_ptr, ABI constraints and compile-time costs, he shows that abstractions cost runtime, compile time or human effort.

Adam Conover's talk at a millennial marketing conference argues that generations are an unscientific, condescending idea and that millennials do not exist as a real category. The description notes that researcher Jean Twenge later said he misrepresented some of her work.

Shashi Tharoor's Oxford Union speech arguing that Britain owes reparations to its former colonies, focused on the effects of British rule in India. It lists economic and political damage done by colonialism.

Titus Winters' CppCon 2017 talk argues for C++ and Google's Abseil to be maintained as a live at head language, relying on testing and automated tooling rather than never changing or promising no compatibility. It covers Hyrum's law and the limits of semantic versioning.

Mark Seemann argues that functional programming naturally yields many of the best practices object-oriented developers learn painfully. He shows how functional architecture leads to a pit of success, with a pure core and impure shell.

Liz Rice live-codes a minimal container runtime in a few lines of Go at GOTO Amsterdam 2018. She explains namespaces, control groups and what a host knows about its containers.

Bret Victor's closing keynote at UIST and SPLASH 2014 argues that our tools for thinking ignore most of human sensory and motor capability. He sketches representations that engage more modalities beyond screens and keyboards.

Richard Feldman explains how pure functional languages can match or beat imperative ones on performance. Compilers can turn immutable code into in-place mutation, avoiding naive copying. The talk draws on his work on the Roc language.

Herb Sutter's CppCon 2022 talk on whether C++ can become ten times simpler and safer. He introduces his experimental Cpp2 syntax and the cppfront transpiler, explaining the limits on incremental improvement.

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.

Wendover Productions examines why carbon offsets so often fail to reduce emissions, covering specific examples and the perverse incentives in offset schemes.

Utah State plant scientist Bruce Bugbee presents his analysis of the energy and environmental costs of vertical and indoor farming. He argues artificial lighting cannot compete with sunlight in fields or greenhouses.

Wendover Productions explains why Boeing's efficient 787 beat Airbus's giant A380, contrasting hub-and-spoke with point-to-point routes. It covers the economics of long-haul flights.

Larry Hastings explains what Python's GIL is, what problems it solves and how it works, and presents his Gilectomy project to remove it, including the performance and C-extension obstacles.

A three-minute clip of Jeff Bezos describing his Regret Minimization Framework: imagining yourself at 80 to decide whether to leave a Wall Street job to start Amazon.

Neuroscientist Anil Seth gives a Royal Institution lecture on the science of consciousness. He separates conscious level, content and self, and argues that experience arises from the brain's predictive inference.

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.

The opening lecture of Steve Brunton's Control Bootcamp, covering the kinds of control and why closed-loop feedback matters. It starts a series that follows the control chapter of the Brunton and Kutz data-driven science book.