#83 - Scott Aaronson
00:00Hey, how's it going? This is Craig Cannon, and you're listening to Y Combinators podcast.Today's episode is with Scott Aronson.Scott's the David J. Bruton Centennial Professor of Computer Science at the University of Texas, Austin.He's also the director of their Quantum Information Center.And before Scott taught at UT, he taught electrical engineering and CS at MIT.And if you've checked out our other episodes about quantum and want to learn more,I'd recommend checking out Scott's book, which is called Quantum Computing since Democritus.He's also been blogging for over 10 years, and you can find all those posts at Scottarrensen.com slash blog.
00:36All right, here we go.Today we have Scott Aronson, a UT professor, CS, and also a blogger at Shettle Optimized.And on the top of your blog, you have something that says,if you take just one piece of information away from this blog,quantum computers would not solve hard search problems instantaneously by simply tryingall the possible solutions at once.why not?Great question.
01:03I had you asked.So, yeah, so I've been, you know, researching quantum computing, working in this area for about 20 years.I've been blogging about it for 15 years, I guess.Yeah.And, you know, the single most common misconception, right, which you find repeated in almost every popular article.about the subject that is written.It says, well,a classical computer is made of bits,
01:37and so it can just try each possible solution one by one.But a quantum computer is made of qubits,which can be zero and one at the same time.And this means that if you have 100 cubitsthat the quantum computer can exploretwo to the hundredth power state simultaneously,and then it can just try all the possible answers at once.well, that is gesturing towards something in the vicinity of the truth, but it's also very seriously misleading, right? And it leads people to think that quantum computers would have capabilities that actually we don't think that they would have, right? And this is not even controversial within this field, right? Like we all know this, but it's very hard to get the message out. I've been trying. So here's the situation.
02:28The central thing that quantum mechanics says about the world is that to each possible state of a physical system, like each possible way that it could be when you measure it, you have to assign a number called an amplitude.And amplitudes are related to probabilities. A larger amplitude means you're more likely to see that outcome.But amplitudes are different from probabilities. Unlike a probability, an amplitude.can be negative.In fact, it can even be a complex number.And so all the sort of magic of quantum mechanics, anything you've ever heardabout the weirdness of the quantum world, you know, the spookiness.It all boils down in the end to the way that these amplitudes work differently from probabilities, right?
03:23In particular, probabilities can only sort of add up positively, right?the more ways that something could happen, right, that just keeps increasing the probability that it happens.Okay.But amplitudes can, as we say, interfere destructively and cancel each other out, right?So like if a photon could reach a certain point, for example, in one way with a positive amplitude,and in another way with a negative amplitude, those two things can cancel so that you never see the photon there at all,as in the famous double slit experiment, right?If you won't take this on my authority, you know, you can take it on Richard Feynman's, right?
04:02He used to say that, you know, everything in quantum mechanics boils down to these minus signs.Yeah, absolutely.So a quantum computer is just a device that could maintain a state that is, as we say, a superposition, right, with some amplitude for every possible configuration of the bits.So indeed, if you had a computer with 100 quantum bits, qubits, as we call them, that is a two to the hundredth power amplitudes that are needed to maintain that computer state.And it's actually very easy to create, as we say, an equal superposition over all the possible states, right, which you could think of as every possible key for a cryptographic code, every possible solution to your optimization problem.Right. So that's what the popular articles are trying to talk about, right? All of all of that is true. Okay. The problem is, well, for a computer to be useful, at some point you've got to look at the thing, right? At some point you've got to measure and get an answer out. Okay. And the rules of quantum mechanics are very specific about how these amplitudes turn into ordinary probabilities that you'll see something, right? And the rule is the probability of some outcome is just the squared absolute.value of its amplitude.That's the rule, right?
05:26You know, it sounds a little technical, but that's one of the most basic rules of theuniverse.So it's probably, probably, if you saw it on paper, it would be.Yeah, that's right.That's right.So, but in particular, one thing that means is that if I just created an equalsuperposition over all the possible answers to some problem, and then I measure it,not having done anything else, then all I'm going to see will be a random answer.
05:50Right.Right. Now, you know, if all I wanted was a random answer, I could have just, you know, flipped a coin a few times, save billions of dollars, you know, building this device, right? So the entire hope of getting a speed advantage from a quantum computer is to exploit the way that amplitudes work differently, right? It's to try to choreograph a pattern of interference where for each wrong answer to your computational problem, like some of the paths leading there have positive.amplitude, some have negative amplitude, so they cancel each other out. Whereas for the rightanswer, you want all the contributions to it to reinforce each other, right? The tricky part is you've gotto figure out how to do that despite not knowing in advance which answer is the right one.Right. In addition to the error correction. That's right. Oh, yeah, yeah, all of that too.Yeah, of course, you know, those are all the engineering difficulties. Right now I'm talking abouteven if you had a perfect quantum computer, right? It's still not obvious how to get a speed advantage
06:50from it, right? Because you've got to choreograph this interference pattern, right? It's like, you know,nature gives you this really bizarre hammer. And it was not until the 1990s that people reallystarted figuring out what nails you could hit with this hammer. Well, this is a question I had for you.So quantum computers seem to be in this technology category rather than the science category.So we did a podcast with Rana Adikari from LIGO. And like that is squarely put in the science category.How did quantum computers end up in this business use case category?That's a super interesting question, right?Because, yeah, indeed, often when magazines and newspapers are writing about quantum computing,
07:33they put a technology reporter on it, right?And then, you know, they want to know about, well, you know,how is this going to impact the finance industry in the next five years?And, you know, they will, let's just see if the universe, let's prove that the universe has this capability at all.How about we do that as a first step?It's an important understanding because, like, it's not there.That's right. That's right.So I think that, I mean, part of what makes it exciting is that, you know, this is fundamental science, right?
08:01I mean, I mean, in the sense, I mean, not in the sense that we're, you know, overthrowing any of the known laws of physics.In fact, all we're doing is in some sense we're taking completely seriously quantum mechanics as it was written down in 1926, right?You know, it hasn't changed at all since that time.Yeah.You know, but what we're doing, what we're trying to do is to test it in an entirely new regime, right?Where really, you know, it has never been tested in this regime of, let's say, universal quantum computation or, you know, quantum error correction, right?You know, the math seems very unequivocal that this could be done.Right.
08:39Right.Right.Right.But this is really building something, you know, that has never been built before.And so, so I think, you know, and there are.skeptics. I talk to them a lot. They come on my blog, you know, often who say this will neverwork. This is, you know, this is so absurd that you could build this quantum computer that, you know,there has to be some new law of physics that will prevent it. But there seem to be, you know,
09:05equal amounts of, like, crackpot scientists who come on your blog and figure out, like,the PNP problem. Oh, yeah. No, I get, no, I get every kind of, you know, of original thinker on myblog. I mean, that's, but that's, you know, one of the joys and pitfalls of blogging, I guess, right? But,but, you know, in particular, you know, there are people, you know, including for, you know,very serious and well-known computer scientists and physicists who say, well, look, you know, if nota new law of physics, like, it must be that we just don't understand quantum mechanics wellenough, right? That, you know, the error is going to, you know, inherently kill you. You will notbe able to scale this. You know, and, you know, maybe you can build a small quantum computer, but, you know,
09:53nature will prevent you from scaling it up, right? And, you know, in the 90s, that actuallyseemed like a pretty plausible view, you know, even to, to, uh, many of the experts in thisfield, right? What changed everything for most of us in the 90s was the discovery of quantum errorcorrection, right, and quantum fault tolerance. The upshot of which was, if you want to build ascalable quantum computer, you don't need to get perfect cubits that are perfectly isolated from theirenvironment, which of course would be a physical absurdity, right? You merely need to get themridiculously well isolated from their environment and, you know, way better than, you know, we can do,but in the minds of most experts,
10:44it reduced it to merely a staggeringly hard engineering problem.Now, you know, I mean, what I like to say is that, you know,I mean, I mean, if it turned out that there's some deep reason why this could never be done,and if the attempt to build, you know, quantum computers were to lead instead to the discoveryof that, you know, new impossibility principle, well, then that's awesome, right?I mean, that's like Nobel prizes, you know, for whoever discovers it.And that's, you know, I mean, I mean, compared to that, you know, the idea that you can build a quantum computer is like the more boring possibility.That's the more conservative option, right?
11:21But, you know, we're, as I said, we're testing quantum mechanics in this new regime and we want to know the truth, whatever it is.Right.So I think that there is fundamental science here.And to me, you know, that's really why I got into this, right?I like to say, you know, for me, the number one application of a quantum computer is not breaking cryptographic codes.It's not optimization problems. It's not simulating quantum physics. It's just proving the skeptics wrong.Just, you know.What happened in your childhood?
11:54A lot happened, but, you know, we don't have to go into that.I mean, but, um, um, uh, no, I mean, I mean, you know, it is, it is sort of seeing whether nature actually has this computation.ability putting beneath the surface.You know, but now, of course, what made a lot of the world interested in it is that, you know,it actually could have some applications, right?Maybe the most important application that we know about is just giving us this new way tosimulate nature, simulate physics and chemistry, and maybe discover new drugs, discover newmaterials, right?
12:27You know, I mean, that's the application that Richard Feynman and the others had in mind whenthey first proposed the idea of quantum computing in the 1980s.But before we started recording, you were talking about what you've been working on for the past year,which is potentially relevant because many of these drug-finding applications might need, say, million cubits.We might already be able to start getting some of these with some hundreds of cubits.It's not, you know, people are going to try.But we're not even at 50 yet, right?That's right.
12:56That's right.That's right. Not 50 that we have good enough control over, certainly.Right.So what was the application that you were working on?Oh, okay. So I have a new idea that I've been working on for the past four months or so,and there's been independent work by others pursuing related ideas.But, you know, this, as far as I can see, may be the first application of quantum computingthat people could actually be able to realize with, like, near-term devices,
13:29with 50 or 60 or 70 cubits.And this application is to generate cryptographically secure random bits.Okay.So, for example, if, you know, you have these proof-of-state cryptocurrencies, right, you need a huge public source of random bits to sort of run this lottery to decide who is allowed to add a new block to the blockchain, right?for all sorts of other cryptographic applications, you need, you know, public random bits, right?Of course, you know, decide which precincts to audit in an election, for example, right?You know, of course, for cryptography, you also need secret random bits.Now, for secret random bits, you would need to own the quantum computer yourself.
14:17You wouldn't want to download them over the Internet, right?But so now, you know, there are many, you know, websites already that will give,you public randomness. There's one called random.org where you can just get random bits to order.Allegedly random. Yeah, right. Yes, yes, allegedly random. Thank you. Right. NIST runs something calledthe randomness beacon where every minute they release 512 new random bits to the world. Oh, okay. Right. Which arepartly generated using quantum mechanical processes, right? So now, you know, you could say if you believequantum mechanics, right, which you should, and it's very easy to get random bits, right?Randomness is going to baked into quantum mechanics, you know, famously.
15:04Yeah.Right.You could just keep, you know, measuring some photons, you know, measure the polarization,outcomes will be random, right?Or just get some radioactive material from Kim Jong or whatever, right?Just, you know, put a Geiger counter, right?Right.The decays will be random.
15:25But if you were to get these random bits from the Internet, then the question is, how do you know how they were generated?How do you know that the hardware wasn't backdoored by someone, right?In fact, you know, NIST did have a standard for pseudo-random bits, which we learned a few years ago because of the Snowden documents was backdored by, most likely by the NSA, right?So there is a big issue.You know, how can you trust randomness, right?How can you prove to someone that bits were actually generated randomly?It seems almost like a philosophical impossibility, right?So how does yours work on?
16:10Yeah, okay.So there are ways to do this with quantum mechanics, right?You know, over the past 10 years, people discovered that one way to do it is using the bell inequality,which means if you had like two,entangled particles that were far away, and you measure them, and you see that they have a certaintype of correlation that could not have been produced classically, right? This is kind of the famousbell inequality. It's the thing that disproves Einstein that, you know, that there's no sort ofsecret local hidden variables that control what's going on, right? That sort of quantum entanglement
16:47is a real thing in the universe. But, you know, for many decades,people said, well, you know, this, you know, is conceptually, you know, a breakthrough that Bell made.Of course it's completely useless, right?Of course, you know, you don't actually need to create these correlations between far-away particles, right?But, you know, what people realized a decade ago is actually the fact that you've created those correlation also means that there has to be some randomness in the bits that are produced.because the only way to create those correlations without using true randomness would be using communication.But if we put the things far enough away that a signal could not have gotten from one to the other,even traveling at the speed of light, then we can have some kind of assurance that, yeah, there is randomness there.
17:40Okay, but now, you know, the one thing is you've got to believe that these devices were really separated far enough, right?Which, again, if it's over the Internet, you know, how would you know?So the new realization is that you can get guaranteed randomness with a single device,at least under some cryptographic assumptions.As long as that single device is able to do quantum computations that are sort of hard to simulate with a classical computer.So basically what you would do, imagine that Google, let's say, has some 70-cubit quantum computer,as indeed they are working to build right now, just visited their lab.a month ago, you know, they're working on it.
18:21I don't know when it's going to be ready, but then you could, you with your classicalcomputer, right, could submit challenges to the quantum computer that basically say,just run this quantum circuit, which is, you know, pretty random looking, pretty, you know,messy, arbitrary quantum circuit.But just run this quantum circuit, and then, you know, it will lead to someprobability distribution over output strings.In this case, strings of 70 bits.And so then just give me a sample from this distribution.
18:58Okay.And I'll just keep sending it challenges of that kind, one after another, and each timedemand that it send me back the sample from this distribution in a very short time,like, let's say, you know, half a second.Okay.Okay.And then I take these samples.And now, you know, if Google did the right thing, then these samples.
19:17then these samples have lots of randomness in them, right?Right.But the more interesting part is that under a cryptographic assumption, you know, if I cancheck that these samples were actually correlated with the distributions that they're supposed to be.So in other words, like one shows up 10% of the time.Well, yeah, like like they're, you know, so all the outcomes are pretty unlikely, right?Because, you know, they're all like on the order of 2 to the minus 70 probability of a carrying,but not exactly, right?
19:47Some of them are like twice two to the minus 70.Some are half two to the minus 70, right?And so I can check that the heavier outcomes are more likely to occur, right?I can do some statistical test to sort of check whether Google is plausibly sampling from this distribution, right?And then what we can do is we can mathematically prove that, you know, if you'll assume that some problem is hard for a quantum computer that looks like it should be hard,then it would follow that even with a quantum computer,the only way that Google could be quickly generating samplesthat passed this test is to generate them truly randomly.
20:28There's no secretly deterministic way to do itwithout them spending a huge amount of computational powermore than we believe that they have.And so when you were testing this out, or did you test it out with tons of compute?It has not been tested out with a real quantum computer.yet. I mean, you know, it'ssothe apparatus
20:52that I use is apen, paper,and I did, I did usea maple a little bitto do some numerical optimization.So yeah, not the sexiest thing.I'm a theoretical computerscience. Yeah, okay. But
21:09Google is hoping tomove forward and testthis out andand actually demonstrate it, you know, once they have the device, right?I mean, you know, I mean, of course it could also be simulated with a classical computer.Right.You know, one could code something up.But, you know, one thing that's exciting about this is that it looks like pretty much as soon as you have a 60 or 70-cubit quantum computer that can sample any distributions that are hard to sample with a classical computer, you can pretty much get.
21:45get this application.Wow.Okay.So it's, it's sort of designed for near-term quantum computers.And in fact, even if you had many more qubits, we couldn't really make use of them forthis application because the verification, if I have n qubits, is going to take two tothe end time with my classical computer, which means that, you know, I, like, with a thousandqubits, it might be working fine, and yet we could never verify it.
22:12Okay.Man, what other projects did you clear from the cash on your sabbatical?Well, not many.I came, so I was on sabbatical in Tel Aviv for a year.I came with a long list of old papers that needed to be written up,and I wrote up almost none of them.And instead, I just started new projects and put the old ones even for.further onto the back burner, which is often the way it goes, unfortunately.
22:50But actually, I did write a paper this year about a new procedure for measuring quantum states,which is called shadow tomography.I had a more boring name for it, and then a physicist friend.I appreciate it.Yeah, you got punched up.Yeah, he came up.Physicists are much better than computer.computer scientists at naming things.
23:15So, so, so, so, so, so it's called shadow tomography.And what it is, you know, so measurement in quantum mechanics is an inherently destructiveprocess, right?It, you know, famously, it collapses the wave function.Yep.It collapses your state and you only get one chance, right?So, so the problem that shadow demography is trying to solve is, let's say, you know,I have a small number of copies of a quantum state.
23:41Okay.But I want to know the behavior of that quantum state on a large number of measurements.So like a much, much larger number of different measurements than the number of copies that I have,maybe even an exponentially greater number, right?Let's say for simplicity that each measurement has just two possible outcomes, yes or no, right?But I want to know for each measurement, what is approximately the probability that it would return yes applied to the state, right?So, of course, if I have enough copies, I could just measure each copy, you know, with a different measurement.But I don't have enough copies, right?
24:18You know, and again, if I have enough copies, then, you know, I could just fully learn my state, right?Measure each copy.And then eventually, by collecting enough statistics, I could write down, you know, in my classical computer a full description of the quantum state.But I don't have enough copies for that either.Okay.Where are these assumptions coming from that you don't have enough copies?Oh, well, I'm just, I'm telling you that because this, this makes the question interesting.All right.
24:45I mean, you know, I mean, if we do have enough copies, then we do one of those simpler things.Right.Right.But I'm asking what happens if we don't.If we don't.All right.Right.So, you know, you have, you know, maybe it's very expensive with, you know, your hardware to create new copies of the state, right?
25:02So what shadow demography is is a way to sort of take these states and manipulate them very, very careful.so that you know, you can keep reusing them over and over.Without destroying them.Without destroying them, right, damaging them only slightly each time, right?And learn the answers to each of these yes or no questions,which again, there could be exponentially more of than there are copies of the state.How does the partial destruction work?Well, okay, so it has to do with, so the way that measurement works in quantum mechanics, right,
25:37is that if you mention,your state in the wrong basis, like, you know, then the state is destroyed.So, for example, if I have a state that is, you know, if I have an electron that's very spreadout in position and I ask it what's its position, right?Then I now force it to make up its mind, right?It's localized now to one place, and then that destroys all the other information that wasin that superposition over position.On the other hand, if I ask that electron for its momentum, well, then its momentum might have been much more determinant, right?
26:17And, you know, if I ask a question where given knowledge of the state and someone could have almost perfectly predicted the answer to that question, then the state only needs to be damaged slightly by the measurement, right?Okay. I mean, we know that not all measurements are destructive, you know, or example, you know, if I read a book, you know, and I see what words are written.minute. My friend can read the book too, right? So that's a non-destructive measurement, right?But even in the quantum realm, like, if I'm careful to measure a state, like, in a basis where it'salready been localized, right, then that's not going to damage it by very much, right? So, you know,now the challenge, of course, is now I have these copies and I say, I don't know in which basis,you know, they are or aren't localized, right? But I can, you know, do something, you know,And this measurement procedure that I designed
27:09takes a very long time to carry out.So I'm not promising you that it's fast, right?But it makes very, very careful reuseof these same states over and over again.So this had various implicationsthat solve various theoretical questionsthat I cared about.And by the way, I had conjectured
27:27that this was not possible, right?And so, you know, this is the waythat research often happens for me.I tried to rule it out.I was unable to rule it out.And then eventually I figured out why, right?So was it just like brute force pen and paper or did you have a conversation that sparked it?What happened?
27:44Well, this, I mean, I mean, I had taught a mini course in Barbados a few years ago where I, you know, I raised this as a question.Yeah, I don't see how to do this.Maybe it's not possible.You know, and then I just, you know, thought about it more.Right.And of course, I was building on earlier work that I and others had done and sort of, you know,So it's like not, you know, you never start completely from scratch.Yeah.
28:09You kind of know the tools that were used to solve related problems.But anyway, but then, you know, this year, you know, we've carried it further.So I have a joint work with Guy Rothblum from the Weitzman Institute.And so, you know, I get what happened was I gave a talk about this work.And he said, you know, this idea of measuring a quantum state very generally.gently and not damaging it.This sounds a lot like what I work on, right?You know, he's a guy as a classical computer scientist who works in a field called
28:45differential privacy, right?So some people may have heard of this.This is actually used, I think, and some, I don't know if Facebook uses it, but some websitesuse this.It's a way that you can do data mining, right, for like a database of like a whole bunchof users, sense.data, you know, could be their medical records, could be, you know, all their personal data,but you can do it in a way that mathematically guarantees, in some sense, that you're not going
29:16to be revealing too much information about any individual user, right? In a sense that if anyindividual user were to drop out of the database or change their data, then that would have onlya very small probabilistic effect on the outputs of this algorithm. Right. And, you know, the way thatyou achieve differential privacy.Hence, you know, it was often things like I may ask, like, how many of these usershave, you know, colon cancer or something.But then I'll add some random noise to the result.Okay.
29:47And so then, you know, adding the random noise, the data is still perfectly good for doingmedical statistics.But now it's like even if I knew everyone else's data, I still can't determine whethera particular person has colon cancer or not, right?So he said, you know, and actually you do the same kinds of things to get gentle measurements of quantum states.So guy said there seems to be a connection here.And I said, come on.It's like you can, you know, like relate anything to anything else, right?
30:17It's, you know, probably just an analogy.But then, you know, we sat down.And in fact, there is a connection.There's a, you know, precise mathematical connection between these two problems.You can prove it.You know, it goes in both directions.And then we were actually able to use it to, you know, take work that's been done in differential privacy, by people who don't know anything about quantum mechanics, right? Just purely classical CS and use it to get better procedures for shadow demography.That's really cool. Is that online?
30:51Not yet.It's another, it's another thing on my stack to write up.Yeah, well, you know, I'll try, you know, we will try to write it up this summer.All right. Cool.So moving to one of the more poorly named CS problems that we talked about our email, the P versus NP problem.Yes.I heard you describe this because it can sound really complicated.But I heard you describe it once as for every efficiently checkable problem, is it efficiently solved?
31:21Yeah.And I thought that was a good way to describe it.Yeah. I mean, that's just the standard way to say what this problem means, right?But for those...Why does it matter?I guess that's the question.Well, I think it's, you know, a strong contender for the most important unsolved problem in math, you know, of this century.So NP, right, stands for a nondeterministic polynomial time.
31:48As I said, we're not as good as naming things.Terrible, yeah.But it's all the problems where, you know, if I told you the answer, you could check it efficiently.What we mean by efficiently in computer science is like by an algorithm that uses a number of steps that scales at most like the size of the problem raised to some fixed power.Okay.Okay.We call that a polynomial time algorithm.That's kind of our rough and ready.
32:14You know, it doesn't always correspond in practice to efficient, but it's a pretty.Yeah, exactly.It's ballpark.Yeah.And it's like if we can't even answer this, then we're not going to answer the more refined questions either.right? So, you know, and P is all the problems that are efficiently solvable, right? They actuallyhave an algorithm that will find the answer in many steps. So a good example of an NP problem would be factoring, right? I give you an enormous number. I ask, like, what are its prime factors, right? That problem happens to underlie much of modern cryptography, right? A good example of a problem in P, you know, if I just give you a number and I ask you whether it's prime or not,but not define the factors, then that actually has a fast algorithm.
33:01It was only proven to be in P 16 years ago, you know, in a big breakthrough.Okay.So, you know, so that's an illustration of how it could be very, very non-obviousto figure out which problems have these efficient algorithms and which don't, right?And so in particular, you know, like, I think as soon as anyone under,as soon as a layperson understands the P versus NP question,I think most of them would say, well, of course, you know,there's not going to be an efficient way to solve every problem that's efficiently checkable, right?
33:32Why are you even asking that, right?I mean, like a jigsaw puzzle, right?Obviously, it's a lot easier to look at, you know, a jigsaw puzzle that your friend did and say,oh, yeah, good job.Looks like you finished it.And to actually, you know, do it yourself, right?Same with a Sudoku puzzle.Same with breaking a cryptographic code.
33:51Same with, you know, solving some optimization problem, like optimizing a,of an airline schedule, right, that may involve solving some, you know, satisfying some enormousnumber of constraints, you know, or as many of them as you can, right, when they conflict witheach other. Right, but it's not proven not to be possible. That's right. That's right. No one has ruled outthat a fast such algorithm could exist, you know, essentially, you know, it's very, very hard to prove anegative, right? You know, occasionally we can do it, but it's, you know, it tends to be muchharder, right? And, you know, if something is possible, you just have to show how to do it.Yeah. Right. But to prove that something is not possible, you have to, in some sense,
34:34understand the space of all the possible ways that it could have been done, right, and give somegeneral argument why none of them could work. Yeah. Right. So sometimes we can do that. It's not like,you know, we've made no progress, right? But we're a long, long way from being able to prove things likeP not equal to NP, I think. You know, I like to say that if we were physical, you know, we'rephysicists, we would have just declared P not equal to NP to be a law of nature, right?We would have just been done with it, right?Yeah, Feynman would have declared it.Yeah, that's right, right.
35:04So, you know, well, like the second law of thermodynamics.Yeah.No, you know, you know, we could have given ourselves Nobel prizes for our discovery of the law.And later, if it turned out that, oh, actually, p equals NP, if there is a fast way tosolve all these problems, well, then we could just give ourselves more Nobel prizes for thelaw's overthrow, right?But, you know, there's one thing you learn in an interdisciplinary subject, like quantum computing, is, you know, like there are different differences in terminology and culture between fields, right?What the physicists call law, we call a conjecture.
35:38Right.Yeah.It's increasingly hard to draw the lines in between the two as well.Yeah.Like CS, math, physics.Oh, yeah.Well, no.I mean, I make fun of my brothers and sisters in physics all the time, you know, only because I love them, of course.
35:52But in fact, you know, large parts of physics and CS have been coming together in the last decades.You know, partly statistical physics made this very, very deep connection between like spin glasses and condensed matter physics and combinatorial optimization problems, right?And you can understand what many algorithms are doing using physical analogies.And then, of course, quantum computing, right?was this enormous intersection where suddenly these fields were just thrust together.And they had to quickly learn each other's terminology in frame of reference.And that's a good part of what I've been doing is just helping to translate.And I give colloquia in physics departments where they just want to know, like, well, what are P and NP?
36:44Right.What are the basics of, you know, like undergraduate level computer science, right?But what's cool is that, you know, like I can talk to string theorists, let's say, right?And they know this, you know, like staggering, you know, tower of knowledge that, you know, that I don't know, right?That I'm only at the, like, lowest foothills of, right?And yet suddenly they too need to know about computer science, right?And so, you know, they, you know, they have to respect you.Well, well, they want to, you know, we have something to talk about, right?
37:17So we did a podcast with Leonard Susskin that's not out yet.He's the perfect example of someone who has been pushing this intersection,maybe even more aggressively than I've been.Yeah, possibly.Every time I talk to him, I'm like, slow down, Lenny.You know, computer science is not quite the future of all of physics.And he's like, absolutely is.We didn't even get that far.
37:43Yeah, yeah, right.But I do have a question related to his work.So he talks about this holographic principle, right?Right.How does that relate to the firewall paradox?So I couldn't quite grasp the two together.This is a big discussion.All right.
37:59The, okay, the holographic principle is this, like, general phenomenon where often you write down a physical theory in some number of dimensions, like, you know, involving, let's say, a three-dimensional.space and then it turns out to be dual in some sense to a completely different looking physicaltheory which is defined on the boundary of that space right so like even in a different numberin one fewer dimensions right and the first theory the one that's in the bulk as they say rightin the interior involves gravity so it's a quantum theory of gravity where it can have things likeblack holes that form and evaporate, whereas the theory that's on the boundary is a, you know,pretty ordinary quantum field theory, meaning it has no gravity. It has a flat space time, right?So, you know, these two theories look totally different, right? And you know, what do you even mean
39:05in saying that they're the same thing? Right. Like literally the same information. Right. It's right.It's very confusing. Well, you mean that there's a one-to-one mapping between states of thefirst theory and states of the second theory.Right.And this mapping is non-local, right?Like I could have like a little particle here, right, like inside of the bulk.And yet, you know, in the boundary theory, that would correspond to some enormoussmeared out thing, right?
39:30The mapping between the bulk theory and the boundary theory, in recent years, peoplerealize that it is literally an example of one of these quantum error correcting codesthat I told you about before,the same things that one would needin building a quantum computer, right?It is, you know,the whole point of an error correcting codeis that you take like a local, you know,
39:55one bit and you smear it out.Yeah.You represent it with a large number of bits.Yeah.Right.And so this is, you know,and this is also what happens in a hologram,right?
40:05Hence the name, holographic principle.Uh-huh.So there's this smeared out representationof everything that's happening.in the interior, you know, which is represented on the boundary, right? And this is, it's almostit's like, this is like the most precise definition that the string theorists are able to give of whatthey mean by quantum gravity, right, that they say, well, you know, what we really mean byquantum gravity is you define this theory on the boundary, which they more or less know how to do,
40:34and then somehow there's this thing in the bulk that's dual to that. Right. And, you know, and like,right, so again, you know, the different culture, differentstandards.Yeah, for sure.You know, they don't even have like a rigorous, independent definition of this bulk theory.But what they can do is in various special cases, they can calculate things in the bulktheory, and then they can calculate the same thing in the boundary theory.And in every single case where they can do the calculation in both places, they get the same
41:06answer.Okay.So this is what leads them to say.So they're good enough.Yeah.Good enough for them.Yeah.So how does that relate to the firewall?
41:13Right.So, well, so this is, so the firewall paradox is this, it's sort of like a modern refinement of Stephen Hawking's, you know, original Black Hall information paradox from the 1970s.It's like Hawking radiation.Right, right.So, so in, well, yeah, so shortly after he discovered Hawking radiation, you know, in 1975, Hawking, you know, wrote a paper that posed.the information paradox or puzzle of black holes,which is basically just the question,how does information ever get out of a black hole, right?
41:51You know, why does it have to get out?Well, if we believe that quantum mechanicsdescribes everything in the universe,you know, quantum mechanics, you know,except possibly when a measurement is made, okay?Well, let's leave, you know, if you believe in the many,except then you observe anything.Yeah, exactly.
42:08Well, you know, if you believe in the many worlds theory,then even a measurement is just, you know, is just another ordinary thing where just, you know, you split into multiple, you know, branches.But let's leave that aside, right?Any isolated physical system is supposed to evolve in a completely reversible way, right?It may be very hard to reverse in practice.You know, you scram, it's a lot easier to scramble an egg than to unscramble it, right?But in the view of physics since the 19th century, that's merely because, you know, our universe started in a very special state, right, with a very low entropy, right?My friend Sean Carroll likes to say that every time you cook an egg, you're doing an experiment in cosmology, right?
42:54You're proving that the Big Bang was in a special state.Yeah, yeah.But, you know, but in principle, you know, everything is supposed to be reversible.So in particular, if I drop an encyclopedia into a black hole,then the information, what was written on the pages,cannot be deleted from the universe, right?It has to still be there.So then the question is, well, where does it go?
43:18Right.You could say maybe when it hits the singularity,it goes into some other bubble universe,you know, and I think people thought about that for a while.But the, you know, a popular point,of view nowadays is that ultimately the information does come out, right? It comes out in the hawkingradiation, right, which for a black hole that was the mass of our son, it would take a mere 10 to the67 years for this to happen. Maybe, you know, eventually. We got time. Yeah, that's right. You know,
43:52if you have a long enough grant, you could wait, you could see this, right? You know, eventually it wouldcome out. You know, of course, in a very scrambled form, just like, you know, if I burn a book, right,physics tells us that the information is still there in the smoke and ash.It's not very accessible anymore, but in principle it's still there.And so the idea is that a black hole is just another example of this.Okay, but there's a big puzzle because the information, you know, if you were like, you know,floating next to the encyclopedia, you would just see it go right past the event horizon of the black hole,go, you know, all the way down into the singularity.
44:32And then, you know, it's kind of never, you know, it doesn't seem like it's ever coming out, right?How does it get into the hawking radiation in order to come out?Right.And so, you know, this was such an acute puzzle that it forced people like Lenny Susskind and Gerardat Hooft in the 1990s to this view called Black Hall complementarity,which basically says that there are two different ways to look at the same situation.you know, for an observer who's outside the black hole or for an observer who isjumping into it with the encyclopedia, right?
45:08And the idea is from the point of view of the first observer, the information, you know,the information, if you like, never even makes it past the event horizon, right?It just sort of gets pancakeed.Right, it's like a fly hitting a windshield.I mean, first of all, just because of relativistic time dilation, you're never going tosee anything fall into the black hall, right? It'll just get like slower and slower as it nearsit, right? You'll never actually see anything go in. And so the idea is from the outside observer'spoint of view, you could treat the interior of the black hall as not even existing at all, right?
45:45Or it's just like some weird and different and scrambled way to rewrite what is happening on theeventorized of the black hole. So this is another example of one of these holographic dualities, right,where there's two different ways to look at the same physical situation.You know, there's the interior point of view,and then there's the point of view where it's all on the eventorized it, right?And so then, you know, but then there are all sorts of puzzlesabout reconciling these two different points of view, you know, as you could imagine, right?The firewall paradox was, you know, like a particular technical puzzle
46:24about how to reconcile these two different points of view.If we had another 20 minutes, I could go into it, but it might take too long.But in the meantime, you know, people actually do, you know, the other thing they do is that they use this bulk boundary correspondence as sort of a laboratory.So they say, you know, we have a space time where, you know, we have a boundary where we can sort of calculate what's going on.And now let's inside of the bulk of that space time, let's form a black hole.And now let's try to answer all these, you know, enormous conceptual.questions about, you know, what is going on inside of a black hole by translating them intoquestions about what is happening in the boundary theory, right? Now meaning, you know, the boundary of
47:08space time, not the boundary of the black hole. Right. Right. But, you know, but that's provenvery difficult because, you know, in some sense, what physics want, what, what, what the theorywants is to just answer questions about what is observable by some hypothetical observer who isfar away from all the action. Yeah. Who can just send in, what, what, what, what, what, what, what, what, what, what, what,some particles that also like you know hit each other and stuff and then you know some some otherparticles come out right you know so like you know this is like a point of view that physicists liketo take a lot of the you know all of existence it's like a giant particle collider right he justsends have smashed some things into each other you look at the debris that comes out on the other
47:50end yeah right but if you're asking what is the experience of someone who jumps into a blackcall, then that is inherently not that kind of a question.Right.Right.It's not a question about the observer at infinity.It's a question about, you know, someone who is very much in the action.Yeah, yeah, yeah.Like Alice sends Bob into black hole.
48:07Exactly.And these boundary pictures are just don't seem very good yet at addressing that kind ofquestions.Okay.So let's move on to another unanswered question.Yeah, yeah, sure, sure.So you got a bunch of AI-related questions from the internet.Yes.
48:22And it seems that people want you to,opine about AGI.So let's go with one of them.Yeah, sure.So Anag asked, how can we channel AI growth but not weaponize it?So in a sense, like how do we, it seems like they're assuming AGI happens.What do you, what do you think?I mean, I think that there will be many social issues that will have to deal with with AI or, you know, already are having to deal with.
48:51Even long before we reach the era when AI is like, you know, near the level of human intelligence, right?I mean, you know, we're obviously going to have to worry about self-driving cars and all the benefits and also the, you know, disruption and issues that those are going to bring, you know, AI for data mining and all of the implications that it has for privacy or, you know, a deep net, you know, denies your loan application.Yeah.But then, you know, no human.can explain why your application was turned down.So, I mean, these are things that, you know, I think lots of people are thinking about.And, you know, the good thing is that we can try things out in the real world, right?I think we don't normally think of, like, ethics and morality as experimental sciences.
49:39But, you know, but very often, you know, people have moral intuitions about something that, you know, are really bad until they have been checked by experience, right?And so we're going to have to sort of, you know, and we'll have the opportunity to refine our ethical intuitions about all these issues by seeing the ways that AI actually gets deployed.And, you know, I don't think I'm going to shock the world if I say, you know, I hope that we'll find ways to use it for good and not for evil.But, you know, now I have many friends, including, you know, here in the.especially here in the Bay Area, you know, where I see every time I come to visit here,who are very, very interested in, you know, what happens after that when AI actuallyreaches the level of human intelligence or exceeds it, right? And clearly, whenever thathappens, then, you know, we are living in a completely different kind of world, right? I mean,
50:46you know, think of like the woolly mammoths, right? Once the hominids, you know, start, you know,making their spears and their, you know, bows and arrows, right, that, you know, life is not thesame anymore.No.And so a lot of my friends in this community are very interested in the question, how can weensure that once an AI gets created that is sort of at a, you know, or beyond human level,that it sort of shares our values, right?That, you know, it doesn't just, you know, say, okay, my goal was to make paper clips, so I'm
51:21to destroy the whole earth.Because, you know, that's more raw material for paper clips, right?That it will say, you know, I should, you know, the humans created me.I should revere them as my, you know, as my great, although slightly dim-witted ancestors.And, you know, I should let them, you know, stay in a nice utopia or something.You know, even while I go off and, you know, prove P is not equal to N-P.You're going to do whatever interests me.Yeah.
51:51So, I mean, my point of view is that if civilization survives for long enough, eventually we're going to have to deal with these kinds of questions, right?I mean, I see no reason to believe that the human brain, which is the product of all these, you know, weird evolutionary pressures, you know, including like the width of the birth canal and, you know, how much food was available in the ancestral environment and all this stuff, right?There's no reason to believe that we are near the limits of intelligence that are allowed by the laws of physics, right?And so eventually, sure, you know, it could be possible to produce beings that are much more intelligent than we are.Yeah.And we may have to eventually worry about that.Now, I have to confess that personally, you know, when I think about like the future of civilization, you know, let's say the next 20 years, the next 50 years,I tend to worry less about super intelligence than I do about super stupidity.
52:56You know, I tend to worry about, you know, killing ourselves off or, you know, by catastrophic climate change, by nuclear war, or just the world, you know, regressing into, you know, fascism, just giving up on liberal democracy.And, of course, we've, you know, seen many distressing signs all over the world that, you know, that there is this kind of backslide.right now. And so I like to say that, you know, that I hope that, you know, my, my, my, my, my, my, my, my, my, my, my, my,is that civilization should only last long enough that, you know, being destroyed by superintelligent robots becomes our biggest. Right. Right. Right. Let, let, let that be our worst problem.Right. Of course. It's like this silly mental game where it assumes we've learned nothing along the way and it's just likehappens. Well, I mean, I know, look, look, I'm not, I'm not, I wouldn't go thatfar, right? I mean, I think it's good to have some people thinking about these things, right? Just like, you know,
53:55there should be people thinking about how could we prevent, you know, a catastrophic asteroid impact,right? Or, you know, how could we prevent, you know, a bioterror, right? And, you know, and they'll probablydiscover various interesting things along the way, right, that, you know, will have implications for theworld of today, right? I mean, that usually happens when people, you know, let their minds,you know, roam freely over the far future, right? So I'm happy to have people think about this.I just think that, you know, let's, let's, as practice for solving the problem of AI alignment,let's see if we can solve global warming first. Yeah, we'll see how that goes. Yeah, see how it goes.Yeah, that goes, man.
54:44All right, let's do another Twitter question.So Michael Berg asks,Is anyone keeping track of the smallest N such that Busy Beaver Nis independent of ZF set theory?Yeah, he mentions, I recall there was some activity after the 2016 article.I assume that was on your blog.Oh, yes, it was.And I'm wondering if 1919 states is still the record.
55:08Ah, so, okay, so let me back up and explain what he's talking about.So the busy beaver numbers are, well, they're one of my favorite sequences of numbers since I was a teenager.The nth busy beaver number, you can think of it as the largest finite number of things that could be done by any computer program that is n bits long.So we rule out programs that just go into an infinite loop, right?but we say as long as your program has to eventually halt,then what is the most number of things that it could do before halting?This program is, say, n bits long, and it's run on a blank input.So, you know, of course this could depend on the programming language a bit,
56:01but let's just take the original programming language, touring machines.Yep.Right?And so then the nth busy beaver number is defined as the largest number of stepsthat can be taken by any touring machine with N states,as defined by Allen Turing in 1936, before it halts.And the amazing thing about this function is that it increases more rapidlythan any function that could be calculated by any computer program.
56:33This is provable, right?So, you know, it is a ridiculously quickly growing,function. So like busy be the first four values of the busy beaver function are known, right? They're likeone, six, 21, and a hundred and something. The fifth one is already not known, but it's at least47 million. And then the the sixth one already you would need like a stack of exponentials to startto express it. So, you know, so if you're ever in a contest to name the bigger number, you know, and you just say,busy beaver of 100, if your opponent does not know about computability theory, you will destroythem.
57:18Okay.But now, another fascinating thing about this busy beaver sequence besides, you know, the fact that it grows so rapidly.Yeah.Okay.Well, so in some sense, you know, it encodes all, you know, in a certain sense, it encodes allof mathematics.For example, you know, if I wanted to know, you know, is the Riemann hypothesis,true, right?
57:41You know, well, there's some touring machine with some number of states that tests theRiemann hypothesis, right, that halts only if it finds a counter example to it.And then if I knew Busy Beaver for that number of states, then I would just have torun that machine for that number of states, see if it halts.That would answer the Riemann hypothesis, right?So, you know, so like sometimes it's no surprise that this function grows uncomputablyrapidly, right?Because, you know, it has so much, you know, so many secrets.
58:10of the universe and coded into it, right?And furthermore, one can prove that sort of the axioms of set theory can only determine finitelymany values of this function.Okay, so sometimes beyond a certain point, you know, the standard rules of mathematicscannot even prove what are the values of this function.You know, it has some values because, you know, every touring machine either halts or itdoesn't hope. And yet, you know, in some sense, we could never know them, right? So, so, so, so, so, so, so, so a few yearsago, I had a master student at, uh, when I was then at MIT named Adam Yiddity and I gave him, uh, as a thesis
58:54project who tried to determine, well, what, you know, what is a concrete bound on the, on the, on thenumber of states where this busy beaver function just goes off the cliff into unknowability, right?we may not be able to determine exactly where it happens,but at least we can say,does it happen by at most 10,000 statesor by at most 100,000 states?So what he did is that he designed a touring machinewith about 8,000 states
59:27that does something that's equivalentto just trying out all the possible theorems of set theoryone after the otherand halting if it ever finds a contradiction.Okay, now what does that mean?Well, it means because of Gertil's incompleteness theorem,it means that a set theory can never provethat this machine runs forever.
59:54You know, if set theory is consistent,then the machine does run forever.But if set theory were able to prove that,then set theory would be proving its own consistency.That is a no-no.That's exactly.what Girdle's second incompleteness theorem says it can't do without being inconsistent.I think I got it.
01:00:14Yeah, yeah.So, you know, it's kind of like the way to remember it is, you know, anyone who brags allabout themselves probably has nothing to brag about, right?You know, if your theory is bragging about its own consistency, it means it's inconsistent.Yeah.You know, a theory could believe it's inconsistent while being consistent.Gotcha.That's possible.
01:00:35But not the other way.So, you know, I can't believe it's consistent with a...So, so he designed an 8,000 state machine.You know, and this was a lot of software engineering.Right, you had to, like, compile down the touring machine, you know,keep very careful control over the number of states.And so then he and I wrote a paper about this.I put it up on my blog.
01:01:00And then, you know, this...What's cool is that, you know, a lot of hobbyists were able to look at this.say, you know, well, maybe they can improve on it. In particular, there's a guy named Stefan O'Rear, and he got it down to a less than 2,000 state machine. And I believe that most recently he's gotten it down to under 800 states.In any case, all of his, he hasn't written a paper about it, but all of his code is available on GitHub. If anyone wants to look at it, even try to improve over what he did.I suspect that there may even be a machine with 10 states that would already exceed the ability of set theory to know what it does.Why do you suspect that?Well, I don't know.I mean, already with five states, there are machines that, you know, whose behavior seems to hinge on some weird number theory.
01:01:47Okay.And no one has yet understood them, right?And, you know, and we know how rapidly this busy beaver function grows.I mean, the truth is that we don't know, right?But, you know, it's somewhere between 5 and 800 or so.This thing goes off the cliff.Cool.Yeah.
01:02:04I actually do have a question about your blog.So from what I can tell, you're basically inactive on social media.Well, I do not have a Twitter account.That's not an accident.Okay.Yeah, that's what I figured.Despite that, or in spite of that, you've been blogging for 10, 15 years?Since 2005.
01:02:24And I guessed blogged on some other blogging.before that.Okay.Yeah.But I mean, I mean, I,blogs used to be consideredsocial media.That's true.
01:02:33I mean, yeah,like I feel like a dinosaur, right?Like, back in my day,we just had blogs and we really liked it,you know?I mean,I feel like so.So my,
01:02:45my friend Sarah Constantinehad a post,I thought a very insightful post about this recentlywhere she was making the pointthat blogs are,I think very much in keeping with the sort of original promise of the internet, the original ideathat it was going to be a space where people would discuss things, right, where they could spellout an argument, you know, by composing some paragraphs of text, right, that would set out what they
01:03:14think and why, you know, put their take responsibility for what they said, put their name to it,other people would then respond to it, give counter arguments, it would all stay there, you could search for it,find it. You could link to it.Right. It's, it's very much a continuation of, you know, the culture of, say, Usenet in the, you know, 80s and 90s, right?And since then, we seem to have moved away from that toward a model of communication on theinternet that's a lot more like what offline communication used to be, right?I mean, I've described Twitter as sort of the world's biggest high school, right?It is a, I mean, no, you know, which, you know, which, you know, doesn't mean it's all bad, but in fact, I have
01:03:57wonderful friends who you know use Twitter for you know to do you know very you knowworthy and great things I mean you know I like to tell them that they're they'resort of like they bear the same relationship to Twitter as like the ten righteousmen board of Sodom and Gomorrah right but you know unfortunately it is not amedium that I think is designed for spelling out an argument right or for sort ofexplaining carefully where you're coming from.It is almost like designed for ganging up on people,for forming these kind of outrage mobs,
01:04:38which indeed we see that, you know,it is susceptible to these, you know, repeated sort of outrage explosions.Right.And, you know, and I'm not blaming one political side, right?I think, you know, there's, we can find plenty of exampleson both ends of the political spectrum of Twitter kind of being used.for what I think of is really nasty purposes.And, you know, I mean, I mean, a Tumblr and Instagram.
01:05:08I mean, you know, it's not always nastiness, right?But they're just sort of, you know, they're designed for kind of, you know, sharing a photo.People click like on it.Yeah.Right.It's a lot of kind of social signaling.It's a lot of building up one's popularity, one's presence, right?and not sort of discourse.
01:05:29They're not really designed for carefully clarifying,well, what is it that we really disagree about, right?Where are we coming from?And that is really what interests me, right?That is what, you know, I don't always succeed,but that's kind of what I try to do on my blog.I think the problem comes when, you know,we try to have that kind of conversation on the blog,
01:05:53like a really careful conversation where anyone is,welcome to contribute, but, you know, they have to play by the ground rules, right, of sort of,you know, have some empathy, understand where other people are coming from, right? And thenif people come into that from the culture of outrage miles, where they just say, let's justlook for the most inflammatory sentence ripped out of context that we can just put all overTwitter to say, you know, look at these blithering idiots, right? Then, you know, it really,it becomes scary and it becomes much harder to have.that kind of discourse where you're really trying to understand the other side.
01:06:32So have you been, yeah, because you've been the victim of this before, right?You could say so.Yeah.Or, you know, I mean, I mean, I mean, I mean, I mean, I mean, I mean, I mean, I mean, I mean, I mean, I mean, I mean, I mean, I'm, you know, in fact, a lot of people have had a much worse than I have.Yeah, absolutely.And it has that, like, were you on Twitter at one point?No.Okay.
01:06:51No, it just, it just never really tempted me.Interesting.I mean, you know, if I have something to say, I.I mean, sometimes I just put like little updates on the ends of my blog post that are kind of like tweets.Yeah.Yeah.Okay.Do you have a favorite post?
01:07:08Oh.So my, I had these posts critiquing information.So sorry, integrated information theory.Okay.Which is a proposed theory of consciousness by people like Giulio Tannone.And, you know, I was explaining why I don't think this theory of consciousness works, why it solves the problem it's supposed to solve.But what was great about this post is that, you know, all the experts, you know, Tannone himself got involved in the discussion.David Chalmers, the philosopher of consciousness, got involved in the comment section.
01:07:50And so we kind of had this, you know, kind of Plato's Academy thing going, right?You know, like, you know, just in my blog comment section, right,I feel like we were actually able to make progress on major issue, right?You know, that's not all right.I mean, sometimes I write a post that just, you know,some stupid joke or procrastination.But sometimes, you know, when I, you know, have something that I want to get out there,it's nice to have a forum.
01:08:21Yeah, that's great.Yeah.All right.So you suggested this question, so I might as well ask you, advice for young people.So you kind of are all across the world, like, you know, you're potentially licensing ideas to companies, but you're within academia.And you're also, you know, kind of a CS science communicator.So you're across many realms.What is your advice for nerds in general or, yeah, people who want careers in science?
01:08:50Well, first of all, if you are currently in high school, something, you know, I hope you're having a good experience.If you are, that's awesome and, you know, take advantage of it.If you're not, you know, realize that things will get better.You know, so one of, you know, because this is a Y Combinator podcast,I should mention that one of the most influential essays that I ever read was Paul Graham's Why Nerds Are Unpopular.Oh, yeah.It has, you know, an enormous amount of insight, I think.That's the beginning of hackers and painters.
01:09:35Yes.Yeah.Yes.So, you know, so buy his book, but if you don't want to buy it, he's also got it on his webpage.Yeah.And the basic argument.that he develops there is that, you know, we, you know, a teenagerhood is sort of a creation of themodern world, right? It used to be that, you know, once people would pass through puberty, right?
01:10:03Well, you know, either they would go off and get married, you know, right? That or they wouldapprentice themselves to some craftsman or, you know, maybe they'd be working in the fields orwhatever, right? But, you know, but they, in any case, they would not be in this sort ofenvironment of high school, which is sort of an artificial environment that we've created.because we don't know what else to do with these people, right?And, you know, maybe there's some teaching of them that goes on,although if you look at how much knowledge the average high school graduate possesses,you know, it can't have been that much.
01:10:35No, retaining not so much.That's right, that's right.So, but what you do get a lot of is sort of popularity contests that are, you know,can be sort of, you know, based on nothing, right?And yet if you want to do well in it, then you sort of,of have to devote almost all of your time to this.Right.And so that's the core of the essay.
01:10:55Right.Right.So a nerd, you know, in his telling, is someone who is in that environment, but who'salready thinking about the issues that matter in the wider world.Yeah.And he says basically, like, they care more about being smart than being popular.Yeah.So, you know, and he says, like, it's very hard to accept that that is your priority, right?
01:11:18Because it seems like, you know, you would give anything.I mean, you know, you would even accept like a lowering of 30 IQ points or something just to not be in the situation that you're in, right?But except if someone actually gave you that choice, would you actually take it?Right.So, but realize that, you know, there is a wider world of, you know, people who are going to appreciate, you know, sort of things that really matter.right and you know you can try to get get to that world sooner depending on your circumstances so you know so iactually left high school early i got a g ed from new york state when i when i was 15 and i went to aplace called clarkson school in upstate new york which is a program for high school students
01:12:15who can take courses at clarkson university and then you know apply to collegefrom there. You know, almost every college rejected me. I mean, this was kind of a bizarre trajectory,but Cornell was nice enough to accept me. How old are you? I was 16. You were 16 when you started atCornell. Yeah, yeah. And then I, since I already had one year, then I spent three years at Cornell.Okay. And then I went to Berkeley for grad school. Yeah. So, you know, so I was lucky to beable to leave it a little bit earlier.You know, and, you know, my parents, you know, supported me.I mean, once it became clear that this was what I wanted to do.
01:12:55Yeah.Right.They, you know, they warned me, well, look, you know, this is going to make your sociallife, like, really, really difficult, which turned out to be 100% true.But, you know, the, I remember telling them at the time, look, you know, my social lifealready stinks.So, you know, you know, it's all, I mean.You know, at least I could have, you know, I mean, I was lucky to have some very, very good, you know, a few very, very good friends in high school.
01:13:24Some of them are still my wonderful friends, right?But like it was, it was only after, you know, I had been a postdoc for a while that I started finally figuring out how to drive a car, how to ask someone on a date.So I sort of did things in a weird order.So when you, yeah, when you wrote about, you've very much.You've written about depression a little bit in your box.Yeah.Was that during this period or was that?Yeah, it was pretty much during this period.
01:13:52But, you know, but even starting before I had skipped any grades.So, right.So that's the thing.I felt like I was already in such a, uh, a, um, constricted environment, right?That like, at least I could be learning, you know, uh, CS and math.Yeah, yeah.You know, at least I could, uh, be in an environment that was, uh, you know, where we're,people cared about the intellectual things that I cared about, right? But but but but really, you know,
01:14:20you know, once you get into that environment, right, you are not the only one, right? Eventually, you know,you will be able to, uh, you know, a great thing about the modern world is that people can sortthemselves, right? And you can find a group of friends who will care about the things thatyou care about. Yeah. So in other words, you know, put yourself out there and try things.Yeah. Yeah. Cool. Um, all right, Scott. Well, thank you so much for coming in.Yeah, of course.Thank you.All right, thanks for listening.
01:14:48So as always, you can find the transcript and the video at blog.combinator.com.And if you have a second, it would be awesome to give us a rating and review wherever you find your podcast.See you next time.
There aren't comments yet for this episode. Click any sentence in the transcript to leave one.