product types

A London Haskell talk on the algebra of algebraic data types, showing how sum and product types behave like arithmetic. It frames types as numbers obeying algebraic laws.

The Michigan TypeScript group shows the Doom engine running entirely inside the TypeScript type system. It is open source, and two follow-up videos cover why and how they did it.

An interview with Anders Hejlsberg, lead architect of TypeScript, about porting the TypeScript compiler to Go. He covers the 10x type-checking speedup, lower memory use, and why Go was chosen.

A Channel 9 conversation recorded at GOTO 2012 between Anders Hejlsberg (TypeScript) and Lars Bak (Dart). They discuss the two languages and different approaches to making JavaScript development safer, including runtime type checking.

Segment co-founder and CEO Peter Reinhardt recounts how his company found product-market fit, including how a product grew out of a small feature of another. It is a lecture from Stanford's Startup School course.

A three-minute excerpt of a Steve Jobs interview in which he describes how monopolies let sales and marketing people displace product people, rotting a company's product sensibility, with Xerox as the example.

David Christiansen gives a Strange Loop 2018 introduction to dependent types, where one language serves for both compile-time and run-time code and programs unite with proofs. It draws on his book The Little Typer.

ILM shows how The Mandalorian season one used a large curved LED wall to display interactive 3D environments in camera. The video covers the virtual production setup replacing location shoots.

Professor Brailsford of the University of Nottingham describes how the university set out to print its own mathematics exam papers in the 1980s. The story centers on getting a Mergenthaler Linotron 202 typesetter to work with their own software.

Lars Bergstrom of Google presents how Rust improves team productivity beyond safety and speed, with data on rewrites, defects and review. It compares Rust teams to those on legacy native languages and Go.

A one-minute clip of Steve Jobs describing how he cut Apple's product line down to a four-quadrant matrix of consumer and pro, desktop and portable, during the 1997 turnaround.

A one-minute clip of an episode of Hawaii Five-0 featuring a blatant Subway product placement.

Yegor Denisov-Blanch of Stanford presents a study of nearly 100,000 developers at hundreds of companies, measuring how AI affects productivity from commit data. It finds an average boost of about 20% with wide variance by codebase, task complexity and stack.

The SILE author's FOSDEM 2015 talk introducing SILE, a TeX-inspired typesetting system with frame-based layout, Unicode, OpenType and a Lua-based extensible design.

Anders Hejlsberg introduces the native port of the TypeScript compiler, written in Go, which promises roughly 10x faster tooling. He demos compiling VS Code and explains where the speedup comes from.

A short clip of Steve Jobs explaining how sales and marketing people take over mature companies from product people, leading to product decline.

Floyd Toole's CIRMMT distinguished lecture on the science of sound reproduction, drawing on decades of blind listening research. It covers what listeners prefer in loudspeakers and why measured accuracy and anechoic response matter.

Y Combinator CEO Michael Seibel lectures at Startup School on building a product people want: identifying the problem, the customer, an MVP and which customers to pursue first.

The Thought Emporium follows up on his earlier video showing negative ion products are radioactive, reporting that Amazon pulled listings and companies shut down. He tests more radioactive quack products with a Geiger counter and cloud chamber.

YC partner Michael Seibel discusses his essay on real product-market fit, why founders wrongly believe they have it, and how building a company is not a single-variable problem, drawing on Justin.tv and Socialcam.

A six-minute excerpt from Steve Jobs' 1995 Lost Interview on why a great idea does not automatically become a great product. He says ideas change substantially once you actually build them.

A one-minute clip of Windows Phone 7 and Bing product placement from an episode of Hawaii Five-0, in which a character says 'Bing it!' and another checks a Windows phone.

A short silent video from the US Consumer Product Safety Commission warning consumers to stop using the Peloton Tread+. It shows a child being pulled under the treadmill, and it preceded Peloton's recall.

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.

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.

A documentary on the last day the New York Times was printed with linotype machines in 1978, following the process from the newsroom to the press. It marks the move to computerized typesetting.

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.

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.

Tom Wildenhain's SIGBOVIK 2018 presentation of WordTeX, a Microsoft Word template that mimics LaTeX typesetting output. It is a joke research project executed with serious effort.

A three-minute clip of Steve Jobs arguing that great products come from people who care about content rather than process. He says process-focused people take over and cause decline, citing IBM as an example.

Tom 7's pilot episode of a series that plays with type systems and absurd programming, presented as a parody of the GPL v3 license. It mixes a typesetting experiment with a long, story-driven intro on the origin of TeX. Source code and papers are linked from the author's site.

Simon Peyton Jones presents linear types for Haskell, showing how practical linearity can fit into a higher-order polymorphic language. The talk covers motivations such as resource handling and relates the ideas to Rust.

Philip Wadler's Lambda Days talk on propositions as types, the link between logic and computation that underlies theorem provers and programming language design.

Computerphile with Professor Brailsford on how a 1979 Bell Labs team reverse engineered a Linotron 202 phototypesetter over a summer to get high-quality print output. It covers typesetting history and the later 2013 rebuild of the famous vacation memo.

Richard Feldman describes introducing Elm into a mixed React and jQuery front-end in production, and why the result was reliable, clean and fast enough to make the back-end team jealous.

A Huberman Lab episode on setting up a workspace for productivity, focus and creativity, covering light, posture, movement and sound. It touches on ideas like ceiling height and the effect of screens on the brain.

Tested gets hands-on with four Meta Reality Labs research VR headset prototypes testing resolution, brightness, focus shifting and form factor, plus an interview with Mark Zuckerberg on display technology.

Marques Brownlee reviews the Humane AI Pin and calls it the worst product he has reviewed, arguing almost no one should buy it. He explains why smartphones still beat it as a daily carry device.

A follow-up review of using e-ink devices, such as Onyx Boox tablets, for productivity and as a second monitor. It covers software tips and tweaks and long-term impressions after months of use.

Kevin Fang comically retells GitLab's 2017 incident in which an engineer deleted the production database, based on the company's postmortems. It walks through the confusion and failed backups.