From 7cbcfe796eb76531b90d033de277ce31c34b0b0a Mon Sep 17 00:00:00 2001 From: Paul Johnson Date: Sat, 10 May 2025 18:41:22 +0200 Subject: [PATCH 1/3] Change program to programmer See the final line of https://perldoc.perl.org/perl --- language-creators.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/language-creators.txt b/language-creators.txt index 74d04a8..e26ed18 100644 --- a/language-creators.txt +++ b/language-creators.txt @@ -278,7 +278,7 @@ JAMES: ...chasing down memory corruption bugs. [LAUGHTER] -LARRY: The three virtues of a program are laziness, impatience, and hubris. +LARRY: The three virtues of a programmer are laziness, impatience, and hubris. [CHEERS/LAUGHTER] From ad00051ba9e54978cd30ded206db4816c8cbe129 Mon Sep 17 00:00:00 2001 From: Paul Johnson Date: Sat, 10 May 2025 18:45:15 +0200 Subject: [PATCH 2/3] Change byte shift to bike shed See https://en.wikipedia.org/wiki/Law_of_triviality --- language-creators.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/language-creators.txt b/language-creators.txt index e26ed18..8d6f9bf 100644 --- a/language-creators.txt +++ b/language-creators.txt @@ -292,7 +292,7 @@ ANDERS: But the thing about programming languages that I think a lot of people [1:15:00] -ANDERS: You know, like, how the types work, and what are all the supported promotions, and what are the different kinds of type constructors that the language has, etc., etc. These are the hard things to design, but not the things that people... People love to (byte shift) on the syntax. You know, "Should it be a colon or a comma?" you know? And it's, like, oh my God, let's have a long thread about that. [LAUGHTER] +ANDERS: You know, like, how the types work, and what are all the supported promotions, and what are the different kinds of type constructors that the language has, etc., etc. These are the hard things to design, but not the things that people... People love to bike shed on the syntax. You know, "Should it be a colon or a comma?" you know? And it's, like, oh my God, let's have a long thread about that. [LAUGHTER] CAROL: So talking about people having opinions, and syntax, and typing, these languages don't all take the same approach to typing. Maybe we'll start with Guido and talk about typing in Python, and then kind of work our way around. From 729480306b20f07306267a31f4dc6d1921dfa586 Mon Sep 17 00:00:00 2001 From: Paul Johnson Date: Sat, 10 May 2025 18:47:35 +0200 Subject: [PATCH 3/3] Fix grammar and spelling - fix typo in "optimizing" - use possessive "its" --- language-creators.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/language-creators.txt b/language-creators.txt index 8d6f9bf..9236fa7 100644 --- a/language-creators.txt +++ b/language-creators.txt @@ -320,7 +320,7 @@ JAMES: ...things like performance and building robust software, and often that [1:20:00] -JAMES: ...useful for things like building and optimzing compilers, and doing ahead of time correctness-jumping, trying to be able to theorem-prove away as many things as possible. You know, so, like, you know, one of the not-well-known things about Java is that, you know, in the Java spec, you know, it's array subscript checking is always on. But, you know, it's only conceptually always on, right? The truth is that there are - there's more than (enough hooks) for the compiler to theorem-prove away almost all index checks. And same thing with, like, NULL pointer checks and all kinds of things that look like they're heavyweight, but they're really... +JAMES: ...useful for things like building and optimizing compilers, and doing ahead of time correctness-jumping, trying to be able to theorem-prove away as many things as possible. You know, so, like, you know, one of the not-well-known things about Java is that, you know, in the Java spec, you know, its array subscript checking is always on. But, you know, it's only conceptually always on, right? The truth is that there are - there's more than (enough hooks) for the compiler to theorem-prove away almost all index checks. And same thing with, like, NULL pointer checks and all kinds of things that look like they're heavyweight, but they're really... [1:21:00]