domain-specific architectures

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.

Scott Wlaschin shows how statically typed functional languages, using F# examples, can model a business domain so that invalid states cannot be represented. The type system acts almost like an instant unit test at compile time.

David Patterson's talk on the history of computer architecture, from RISC and superscalar designs to the end of Dennard scaling and Moore's Law. It argues that domain-specific architectures and open instruction sets open a new golden age.

Hennessy and Patterson's 2018 Turing Award lecture at ISCA, A New Golden Age for Computer Architecture. It covers domain-specific hardware, security, open instruction sets and agile chip development.

Destin Sandlin of Smarter Every Day explains Multi-Domain Operations through footage from his last mission at RIMPAC 2018. He covers missile and torpedo testing and interviews military leaders about the cyber and information domains.

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.

Greg Young, who coined CQRS, looks back on a decade of domain-driven design, CQRS and event sourcing at DDD Europe 2016. He discusses where event sourcing applies and how simple its core can be.

A five-minute excerpt of Rich Hickey's Clojure Made Simple talk, with new slides, ranting about HttpServletRequest and specificity. He argues for using generic maps instead of many specific classes and getters.

Brian Kernighan gives a talk at the University of Nottingham on how to succeed in language design without really trying. He draws on his experience with awk and other languages.

Rob Pike presents the Go 2 draft specifications at the Sydney Golang Meetup, covering the Go 2 process and several proposals including generics. The Q&A contains a well-known exchange about the name of the language.

Sandy Munro sits down with engineers from 3IS to compare the electrical architectures of the Tesla Model Y, Ford Mach-E and VW ID.4. They discuss ECU counts, bus architectures and what the differences mean for cost and integration.

Greg Young's Code on the Beach 2014 talk on CQRS and event sourcing. He argues mature domains are built on facts that occurred rather than current state, and covers the business and technical benefits.

Hillel Wayne's Strange Loop talk introducing TLA+ as a specification language for finding concurrency bugs in designs. It covers stalling, race conditions and dropped messages, with PlusCal examples.

Michael Bryzek of Flow gives a QCon London 2018 talk on key decisions for building maintainable microservices. It covers infrastructure, continuous deployment, communication, event streaming and language choice.

Nina Paley's TEDxMaastricht talk arguing against copyright and for copyleft and free culture. She argues that restricting ideas harms creativity and that culture belongs to everyone.

Machine Learning Street Talk interviews Paul Lessard about Categorical Deep Learning, which uses category theory and monads to make neural network architectures more interpretable and composable. They also discuss neural networks' limits in reasoning and unbounded computation.

CGP Grey's five-minute animated explainer on how copyright terms grew from 14 years to life plus decades. It uses Disney and Star Wars examples to argue the system has gone wrong.

A Foresight Institute workshop video with two talks: Shawn Douglas on nanoscale instruments for visualizing small proteins, and Bret Victor on Dynamicland. Victor's part shows biomolecular design built in his Realtalk system with physical objects.

Rob Miles explains for Computerphile why simple rule sets like Asimov's Three Laws cannot make robots and AI safe. Terms like harm and human are too ambiguous to specify precisely.

A two-minute animated minute meme by Nina Paley, photographed at the Metropolitan Museum, showing how all creative work builds on what came before. It is set to music from the Sita Sings the Blues soundtrack.

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.

R. Stanley Williams of HP Labs gives a keynote on the memristor, covering the physics, crossbar computation, and potential for memory and new computer architectures.

PBS Space Time argues that the speed of light is better understood as the speed of causality, the universal limit on how fast cause and effect propagate. Light travels at that speed because it is massless, but the limit itself is a property of spacetime.

Rich Hickey's keynote at RailsConf 2012, a close sibling of his 'Simple Made Easy' talk. He distinguishes simple (not intertwined) from easy (familiar), and argues that software complexity comes from complecting things, with Rails-specific examples including large gem collections.

Roy Beck's short gumball presentation using World Bank and Census data to argue that letting people immigrate to the US cannot solve world poverty because the numbers are so large. It is made by NumbersUSA, an immigration-restriction advocacy group.

Andrej Karpathy gives a one-hour general-audience introduction to large language models, covering what they are, how they are trained, comparisons to operating systems, and security challenges such as jailbreaks.

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

Sebastien Bubeck presents the Sparks of AGI paper at MIT, showing early experiments with GPT-4 across many domains and asking whether artificial intelligence has arrived. It includes the TikZ unicorn example.

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.

Tim Hutton's demonstration of SmoothLifeL, a continuous version of Conway's Game of Life using floating point values. It shows gliders traveling in any direction, rotating pairs, and elastic cord-like structures, with config details to run it yourself.

A roughly three-hour Lex Fridman podcast conversation with Brendan Eich, creator of JavaScript and co-founder of Mozilla and Brave. It covers JavaScript's rushed creation at Netscape, the browser wars, Firefox and Mozilla, and Brave's privacy approach.

Conal Elliott presents his paper on automatic differentiation, deriving a simple, generalized AD algorithm from a natural specification. Varying the representation of derivatives yields forward and reverse mode algorithms that avoid the complexity and statefulness of backpropagation.

Vsauce's explainer on Zipf's law, the pattern in which the frequency of a word is inversely related to its rank. It shows the pattern across many domains and discusses why it remains unexplained.

The opening lecture of the How to Start a Startup course at Stanford, with Sam Altman covering ideas and products and Dustin Moskovitz discussing why to start a startup.

Ricardo Signes' YAPC::Asia Tokyo 2011 talk on the legends and horrors of email: how messy the SMTP and email standards are in practice. The first few minutes are Perl-specific, but the rest applies to anyone handling email.

Kirk McKusick gives a narrative history of BSD from its start at UC Berkeley in the late 1970s through the 1980s releases and the lawsuit that led to 4.4BSD-Lite in 1992. It is full of anecdotes from a key developer.

Simon Knowles, co-founder and CTO of Graphcore, talks about "intelligence processors", chips designed specifically for machine learning. The talk was given at the RAAIS 2017 summit and covers Graphcore's architecture.

Bob Nystrom, author of Game Programming Patterns, gives a Roguelike Celebration 2018 talk questioning whether entity component systems are the only way to structure a game. He walks through alternative architectures drawn from roguelike development.

Rob Pike's GopherCon 2016 talk on the design of the Go assembler, explaining why Go uses a common assembly language translated to each architecture.

A full-day recording of the University of Utah computer science department's 50th anniversary event with panels, keynotes and talks by alumni and pioneers. It includes Ivan Sutherland's presentation on single flux quantum electronics.