Design Details

235: Incremental Correctness (feat. Guillermo Rauch)

Feb 14, 2018
Ask episode
Chapters
Transcript
Episode notes
1
Introduction
00:00 • 2min
2
How to Say Guillermo in Spanish
01:52 • 2min
3
Zite's Vision for Cloud Computing
03:46 • 2min
4
How to Deploy Any Technology With Just One Command
05:43 • 2min
5
The Complexity of Encryption
08:07 • 4min
6
How to Use Git to Make Your Deployment Easier
11:38 • 3min
7
The Importance of Retaining Complexity
14:20 • 2min
8
The Importance of a Web Accessible Service
16:42 • 5min
9
The Evolution of a Globally Accessible Code Base
21:22 • 3min
10
The Evolution of the Hyperlink
23:59 • 2min
11
The Power of Emulation in JavaScript
25:51 • 3min
12
The Immutability of Git
29:03 • 3min
13
The Importance of Ui in Design
31:48 • 4min
14
The Double Meaning of a Post
35:25 • 3min
15
The Importance of a Specification in a Design
38:20 • 5min
16
The Importance of State Explosion in Dynamic Systems
43:28 • 3min
17
The Importance of Completeness in Design
46:00 • 2min
18
The Importance of Interpolation in Design
47:43 • 3min
19
How to Unlock New Capabilities as a Designer
50:43 • 2min
20
The Future of Proofs
53:00 • 3min
21
The Importance of React in Science Systems
56:03 • 6min
22
The Importance of Types in Programming
01:01:48 • 2min
23
The Importance of a Mental Model
01:03:59 • 3min
24
The Art of Correctness
01:07:09 • 2min
25
Typing as a Progressive Technology
01:08:53 • 3min
26
How JavaScript Changed My Mental Model
01:12:06 • 3min
27
The Importance of Time and Correctness Over Time
01:14:45 • 3min
28
The Proof of Work of Bitcoin
01:18:00 • 5min
29
The Problem With Relativity in Bitcoin
01:23:20 • 2min
30
The Effects of Bitcoin on Distributed Systems
01:24:58 • 2min
31
The Importance of Pseudocode
01:27:04 • 2min
32
The Importance of Pseudocode
01:29:20 • 5min
33
How to Preserve Systems of Creative Freedom
01:33:59 • 6min