はてなブックマーク

When you work on your computer, there are so many things you take for granted: operating systems, programming languages, they all have to come from somewhere. In the late 1960s and 1970s, that somewhere was Bell Labs, and the operating system they were building was UNIX. They were building more than just an operating system though. They were building a way to work with computers that had never exi

00:00 - Intro 01:22 - Why Did Rails Succeed? 07:52 - Why Ruby? 10:44 - The Benefits of Obscure Technology 14:49 - Fighting the Monoculture 22:23 - Ruby VS OCAML 26:10 - Coding as Writing, Not Math 27:22 - Enterprise Java People 31:01 - Does Speed Matter? 32:03 - Stop Copying Google 36:13 - Micro Services Are a Mistake 39:51 - React And Single Page Apps Are a Worse Mistake 44:33 - Test Driven Devel

00:00 - Introduction 01:49 - Programming Languages Are Absolute 03:18 - Computer Science is a Horrible Name 04:37 - What Is Computation? 06:01 - Lambda Calculus 07:00 - Women Were the First Computers 12:24 - Gödel, Undecidability and the Halting Problem 18:42 - Types Existed Before Computers 26:49 - Adjacent Possible 28:51 - Invention vs Discovery 36:05 - Logicians and the Fundamental Nature of th