Video yükleniyor...

Video Yüklenemedi

Ana Sayfaya Dön

Mathlib is Lean library that has formalized a lot of humanity's math concepts and proofs. Grant speculated about a really interesting possibility: You could just have different AIs fork MathLib and build their own parallel math civilization. Lean guarantees that whatever new conjectures they come up with would be...

dwarkesh_sp's profile picture

Dwarkesh Patel

271,566 subscribers

61,878 görüntüleme • 3 ay önce •via X (Twitter)

EğitimBilim & Teknoloji
LIVE

Anya Rossi• Live Now

Private livecam show

0 Yorum

Yorum bulunmuyor

Orijinal gönderinin yorumları burada görünecek

Benzer Videolar

Terence Tao: "Previously, you needed a PhD to contribute to math research. Now a high school student can." Dwarkesh asks the world's most famous mathematician: what's your advice for someone considering a career in math, especially in light of AI progress? Tao is honest about uncertainty: "We live in a time of change. A particularly unpredictable era. Things that we've taken for granted for centuries may not hold anymore. The way we do everything... not just mathematics... will change." He admits his preference: "In many ways, I would prefer a much more boring, quiet era where things are much the same as they were 10 or 20 years ago. But one just has to embrace this. There's going to be a lot of change. The things you study... some of them may become obsolete or revolutionized. But some things will be retained." On new opportunities: "Previously, you had to go through years and years of education and get a math PhD before you could contribute to the frontier of math research. But now it's quite possible at the high school level that you could get involved in a math project and actually make a real contribution... because of all these AI tools and Lean and everything else." His advice: "There will be a lot of non-traditional opportunities to learn. You need a very adaptable mindset. There'll be worth pursuing things just for curiosity and for playing around. Still go through traditional education and learn math and science the old-fashioned way for a while... credentials will still be important. But you should also be open to very, very different ways of doing science. Some of which don't exist yet." He concludes: "It's a scary time. But also very exciting."
2:28

Terence Tao: "Previously, you needed a PhD to contribute to math research. Now a high school student can." Dwarkesh asks the world's most famous mathematician: what's your advice for someone considering a career in math, especially in light of AI progress? Tao is honest about uncertainty: "We live in a time of change. A particularly unpredictable era. Things that we've taken for granted for centuries may not hold anymore. The way we do everything... not just mathematics... will change." He admits his preference: "In many ways, I would prefer a much more boring, quiet era where things are much the same as they were 10 or 20 years ago. But one just has to embrace this. There's going to be a lot of change. The things you study... some of them may become obsolete or revolutionized. But some things will be retained." On new opportunities: "Previously, you had to go through years and years of education and get a math PhD before you could contribute to the frontier of math research. But now it's quite possible at the high school level that you could get involved in a math project and actually make a real contribution... because of all these AI tools and Lean and everything else." His advice: "There will be a lot of non-traditional opportunities to learn. You need a very adaptable mindset. There'll be worth pursuing things just for curiosity and for playing around. Still go through traditional education and learn math and science the old-fashioned way for a while... credentials will still be important. But you should also be open to very, very different ways of doing science. Some of which don't exist yet." He concludes: "It's a scary time. But also very exciting."

Jaynit

77,698 görüntüleme • 5 ay önce

Terence Tao summarized how AI is massively accelerating math career and math research. "In math, you previously had to basically go through years and years of education to be a math PhD before you could contribute to the frontier of math research. But now it's quite possible at the high school level or whatever, that you could get involved in a math project and actually make a real contribution because of all these AI tools and lean and everything else." From Dwarkesh Patel podcast (link to full video in comment)
0:28

Terence Tao summarized how AI is massively accelerating math career and math research. "In math, you previously had to basically go through years and years of education to be a math PhD before you could contribute to the frontier of math research. But now it's quite possible at the high school level or whatever, that you could get involved in a math project and actually make a real contribution because of all these AI tools and lean and everything else." From Dwarkesh Patel podcast (link to full video in comment)

Rohan Paul

61,874 görüntüleme • 4 ay önce

Codex doesn't lock you into OpenAI models. Tibo Tibo on why: "If you are part of this community and building an excellent coding harness, why would you couple it to your model? That felt quite disappointing, to make that decision. It didn't feel right. And it's open source in the first place. It would have been trivial for anyone to fork it. But then you're encouraging people to go and use that fork, and now suddenly you have overhead and the only reason you have a fork is because you wanted to change 10 lines of code to add support for another model provider. That feels very silly. So why not just support it in the first place? The other thing is we benefit a lot from being able to give optionality. Maybe today you love using OpenAI models and you're super productive with them, but tomorrow there's a new model that comes out and you want to try that. Why force you to completely change your setup just to try a new model? Optionality is very important to companies that we work with. And this is something that we absolutely lean into."
1:50

Codex doesn't lock you into OpenAI models. Tibo Tibo on why: "If you are part of this community and building an excellent coding harness, why would you couple it to your model? That felt quite disappointing, to make that decision. It didn't feel right. And it's open source in the first place. It would have been trivial for anyone to fork it. But then you're encouraging people to go and use that fork, and now suddenly you have overhead and the only reason you have a fork is because you wanted to change 10 lines of code to add support for another model provider. That feels very silly. So why not just support it in the first place? The other thing is we benefit a lot from being able to give optionality. Maybe today you love using OpenAI models and you're super productive with them, but tomorrow there's a new model that comes out and you want to try that. Why force you to completely change your setup just to try a new model? Optionality is very important to companies that we work with. And this is something that we absolutely lean into."

The Pragmatic Engineer

198,981 görüntüleme • 22 gün önce

Asked Jayson Tatum if — given how everything panned out — he still felt certain that he made the right decision to return this season after so much back and forth: “100%. I'm very happy that I came back to be a part of this team, got back to doing what I love, to help give us a chance to compete for a championship, to prove to myself that I can get back to being the guy who I was, and hopefully better. And just to kind of defy what this injury means — not necessarily from a standpoint of, ‘I'm great look at what I was able to accomplish,‘ but to give other guys hope. Obviously I don't want anybody to have to go through tearing their Achilles, but in the unfortunate event that it does happen, that I can be sort of inspirational — if you attack rehab a certain way if you follow these guidelines, or do it a certain way, that it's not like a career-ending injury, that you can come back, that you can be yourself, that you can be better, that it won't take 18 months, that you can come back, whenever is right for you. So I'm happy and proud of the fact that I was able to do that, and unfortunately, if somebody else has to deal with this, they can look at what I was able to do and and have some hope and inspiration that it's not what people used to think it was. And, you can come back from this, and be who you were and hopefully be better.“
2:04

Asked Jayson Tatum if — given how everything panned out — he still felt certain that he made the right decision to return this season after so much back and forth: “100%. I'm very happy that I came back to be a part of this team, got back to doing what I love, to help give us a chance to compete for a championship, to prove to myself that I can get back to being the guy who I was, and hopefully better. And just to kind of defy what this injury means — not necessarily from a standpoint of, ‘I'm great look at what I was able to accomplish,‘ but to give other guys hope. Obviously I don't want anybody to have to go through tearing their Achilles, but in the unfortunate event that it does happen, that I can be sort of inspirational — if you attack rehab a certain way if you follow these guidelines, or do it a certain way, that it's not like a career-ending injury, that you can come back, that you can be yourself, that you can be better, that it won't take 18 months, that you can come back, whenever is right for you. So I'm happy and proud of the fact that I was able to do that, and unfortunately, if somebody else has to deal with this, they can look at what I was able to do and and have some hope and inspiration that it's not what people used to think it was. And, you can come back from this, and be who you were and hopefully be better.“

Noa Dalzell 🏀

73,831 görüntüleme • 5 ay önce

Axiom Math's Carina Hong on why verification isn't about catching mistakes, it's how you drive the cost of a proof to zero: "Formal verification is going to make your life slightly better if you're facing a proof with one million lines. Remember the Erdős unit distance problem, the chain of thought being generated? There are actual mathematicians trying to follow it step by step and scrutinize it. That seems very difficult if you're not in that very niche domain of discrete geometry intersecting with algebraic number theory." "But if you have a Lean proof accompanying it, you can just run it. And running the Lean proof gives you that provable guarantee that this proof is sound." "I have a hot take. People think Lean is this library built on the existing Mathlib. I think it's going to grow significantly. A lot of the hurdles where Lean is difficult is that the basic definitions of some mathematical fields are just not in the library." "My hot take is the scaling law, if you go down the formal mathematics path, is going to be a lot steeper than informal mathematics. So it's not just for verification, for trust, it's also for performance, it's also for optimal generation." "Verification is not like insurance. It's not something where, oh, we want to make sure there's no flaw. That's great, but it also helps you generate mathematics, both proofs and conjectures and theories, a lot better." "So imagine the cost of proof goes to zero. Then you can massage the problem statements, and even if it's an open problem, a lot more easily, flexibly, and adaptively." Carina Hong Axiom
3:17

Axiom Math's Carina Hong on why verification isn't about catching mistakes, it's how you drive the cost of a proof to zero: "Formal verification is going to make your life slightly better if you're facing a proof with one million lines. Remember the Erdős unit distance problem, the chain of thought being generated? There are actual mathematicians trying to follow it step by step and scrutinize it. That seems very difficult if you're not in that very niche domain of discrete geometry intersecting with algebraic number theory." "But if you have a Lean proof accompanying it, you can just run it. And running the Lean proof gives you that provable guarantee that this proof is sound." "I have a hot take. People think Lean is this library built on the existing Mathlib. I think it's going to grow significantly. A lot of the hurdles where Lean is difficult is that the basic definitions of some mathematical fields are just not in the library." "My hot take is the scaling law, if you go down the formal mathematics path, is going to be a lot steeper than informal mathematics. So it's not just for verification, for trust, it's also for performance, it's also for optimal generation." "Verification is not like insurance. It's not something where, oh, we want to make sure there's no flaw. That's great, but it also helps you generate mathematics, both proofs and conjectures and theories, a lot better." "So imagine the cost of proof goes to zero. Then you can massage the problem statements, and even if it's an open problem, a lot more easily, flexibly, and adaptively." Carina Hong Axiom

MTS

13,324 görüntüleme • 2 ay önce

🐈‍⬛: first of all, i think our upcoming 8th mini album is going to be out really soon… as all the members said, we’re really confident about it. i wanted this to be the highest point of our career at this moment, and i believe this album is going to do that for us. 🐈‍⬛: and after that i think we will just keep going on with the world tour. we only just started. this is our second or third stop here in the us and latin america, and we still have a long way to go and a lot of things to do. 🐈‍⬛: the only thing i can say is that everything’s going to be AMAZING
0:46

🐈‍⬛: first of all, i think our upcoming 8th mini album is going to be out really soon… as all the members said, we’re really confident about it. i wanted this to be the highest point of our career at this moment, and i believe this album is going to do that for us. 🐈‍⬛: and after that i think we will just keep going on with the world tour. we only just started. this is our second or third stop here in the us and latin america, and we still have a long way to go and a lot of things to do. 🐈‍⬛: the only thing i can say is that everything’s going to be AMAZING

샐마•𝗘𝗡╸

85,989 görüntüleme • 2 ay önce

"I didn't read much because the books I was exposed to, I didn't find too interesting." Now, MrBeast is teaming up with James Patterson to change that with their new book The Most Dangerous Games. "We both have adult and kid readers, and we wanted both audiences to, you know, this sort of epic adventure to save the world that you couldn't put down." "For a lot of kids, and this has happened to me a couple of times before, people come up to me and say, that book got me... That's why I'm a reader now, and that's what's going to happen with this." "Hundreds of thousands of people at some point in our lives will come up and say that this book, it's why I'm a reader now."
1:23

"I didn't read much because the books I was exposed to, I didn't find too interesting." Now, MrBeast is teaming up with James Patterson to change that with their new book The Most Dangerous Games. "We both have adult and kid readers, and we wanted both audiences to, you know, this sort of epic adventure to save the world that you couldn't put down." "For a lot of kids, and this has happened to me a couple of times before, people come up to me and say, that book got me... That's why I'm a reader now, and that's what's going to happen with this." "Hundreds of thousands of people at some point in our lives will come up and say that this book, it's why I'm a reader now."

FOX & Friends

11,000 görüntüleme • 1 ay önce

American logically breaks down why Zohran Mamdani swearing in on the Quran is actually a very big deal “So Zohran Mamdani took his oath, and he took his oath by placing his hand on the Quran. And for most liberals, they're not going to care. They're going to say, hey, this is not a big deal. Do not look at this. Do not be islamophobic, and why is this even important? But to the people who actually study religion, who have actually read the Quran, who have actually been paying attention, they know that everything inside that book, inside their Bible, does not represent the views of Americans. It's very anti-American, it's very anti-woman, it's very anti-everything that we stand for. And so now the thing is, is that Americans are going to have to watch and see just how radicalized Zohran Mamdani really is. He's already a self-proclaimed socialist, and we've known that with the studies throughout history, socialism has never worked. Had it worked, there would be tons of examples, there would be reasons to actually apply this, but the truth is that it has absolutely never worked, and as a matter of fact, anybody that's ever applied socialism has failed miserably. And when I say failed miserably, I mean the collapse of absolute society has happened under socialism. So we watch this happen, and now we have to watch and see what it's going to look like in the future. And to be honest with you, I don't think it's going to be good.”
1:29

American logically breaks down why Zohran Mamdani swearing in on the Quran is actually a very big deal “So Zohran Mamdani took his oath, and he took his oath by placing his hand on the Quran. And for most liberals, they're not going to care. They're going to say, hey, this is not a big deal. Do not look at this. Do not be islamophobic, and why is this even important? But to the people who actually study religion, who have actually read the Quran, who have actually been paying attention, they know that everything inside that book, inside their Bible, does not represent the views of Americans. It's very anti-American, it's very anti-woman, it's very anti-everything that we stand for. And so now the thing is, is that Americans are going to have to watch and see just how radicalized Zohran Mamdani really is. He's already a self-proclaimed socialist, and we've known that with the studies throughout history, socialism has never worked. Had it worked, there would be tons of examples, there would be reasons to actually apply this, but the truth is that it has absolutely never worked, and as a matter of fact, anybody that's ever applied socialism has failed miserably. And when I say failed miserably, I mean the collapse of absolute society has happened under socialism. So we watch this happen, and now we have to watch and see what it's going to look like in the future. And to be honest with you, I don't think it's going to be good.”

Wall Street Apes

73,243 görüntüleme • 9 ay önce

Elon Musk: I'll be long dead before we're really a multiplanet species. But at least I'd like to see us make great progress in this direction. “Why do these things? I think this is important for maximizing the probable lifespan of humanity or consciousness. Human civilization could come to an end for external reasons, like a giant meteor, or supervolcanoes, or extreme climate change. Or World War III, or, you know, any one of a number of reasons. But the probable lifespan of civilization and consciousness, as we know it, which we should really view as this very delicate thing, like a small candle in a vast darkness, that is what appears to be the case. We're in this vast darkness of space, and there's this little candle of consciousness that's only really come about after 4.5 billion years. And it could just go out. I think that's powerful, and I think a lot of people will be inspired by that vision. And so the reason you need the million people is because there has to be enough people there to do everything that you need to survive. The critical threshold is, if the ships from Earth stop coming for any reason, does the Mars city die out or not? We have to pass that. People talk about the great filters, the things that perhaps, you know, we talk about the Fermi paradox and where are the aliens, and, well, maybe there is various great filters that the aliens didn't pass, and so they eventually just cease to exist. And one of the great filters is becoming a multiplanet species. So we want to pass that filter. And I'll be long dead before this is a real thing, before it happens. But I'd like to at least see us make great progress in this direction.” Source: TED, April 6, 2022.
2:05

Elon Musk: I'll be long dead before we're really a multiplanet species. But at least I'd like to see us make great progress in this direction. “Why do these things? I think this is important for maximizing the probable lifespan of humanity or consciousness. Human civilization could come to an end for external reasons, like a giant meteor, or supervolcanoes, or extreme climate change. Or World War III, or, you know, any one of a number of reasons. But the probable lifespan of civilization and consciousness, as we know it, which we should really view as this very delicate thing, like a small candle in a vast darkness, that is what appears to be the case. We're in this vast darkness of space, and there's this little candle of consciousness that's only really come about after 4.5 billion years. And it could just go out. I think that's powerful, and I think a lot of people will be inspired by that vision. And so the reason you need the million people is because there has to be enough people there to do everything that you need to survive. The critical threshold is, if the ships from Earth stop coming for any reason, does the Mars city die out or not? We have to pass that. People talk about the great filters, the things that perhaps, you know, we talk about the Fermi paradox and where are the aliens, and, well, maybe there is various great filters that the aliens didn't pass, and so they eventually just cease to exist. And one of the great filters is becoming a multiplanet species. So we want to pass that filter. And I'll be long dead before this is a real thing, before it happens. But I'd like to at least see us make great progress in this direction.” Source: TED, April 6, 2022.

ELON CLIPS

37,110 görüntüleme • 2 ay önce

co-founder of Ramp, Eric Glyman on hiring: "We often like to write very short job descriptions. If there's one thing that matters, go just for that. Have the interviews center around just one thing and look for extraordinary spikes." some of the early hires at Ramp were 15 or 17 and known in the Minecraft community for being kids making private servers and building successful businesses to pay their way through college. their code wouldn't pass a Google review, but it was an early sign that they could build something from nothing, figure out the hard parts, and ship it to real users. as we build out the team at Lyra, this is something I keep coming back to, because as Eric said: "It's so hard to be excellent at anything. And if you can find someone who is excellent at something, even if it's very distinct or weird or a certain hobby, that's a sign that someone probably has what you're really looking for."
4:04

co-founder of Ramp, Eric Glyman on hiring: "We often like to write very short job descriptions. If there's one thing that matters, go just for that. Have the interviews center around just one thing and look for extraordinary spikes." some of the early hires at Ramp were 15 or 17 and known in the Minecraft community for being kids making private servers and building successful businesses to pay their way through college. their code wouldn't pass a Google review, but it was an early sign that they could build something from nothing, figure out the hard parts, and ship it to real users. as we build out the team at Lyra, this is something I keep coming back to, because as Eric said: "It's so hard to be excellent at anything. And if you can find someone who is excellent at something, even if it's very distinct or weird or a certain hobby, that's a sign that someone probably has what you're really looking for."

Courtne Marland

53,316 görüntüleme • 6 ay önce

ABC’s Mary Bruce: “On the rising oil and gas prices, the President has said that this is a small price to pay for getting rid of a nuclear weapon. But ten weeks in, are we any closer to getting rid of Iran’s nuclear material?” Secretary Marco Rubio: “Yeah, but look, here’s the way to think about Iran. And this is what I described at the very beginning of this. What was Iran’s plan? You have to understand what their plan was. Their plan was they were going to build this conventional shield where they would have so many thousands of missiles and drones and rockets that they couldn’t be attacked. And behind that conventional shield that they were trying to build, they would then break out and do whatever they wanted with their nuclear program. They no longer have that conventional shield, okay? We told you guys from the very beginning, and we’re very consistent in this messaging. The operation that has concluded was going to destroy their navy. They have no navy left. They don’t. Not a navy. They have small boats and Boston Whalers, but they don’t have a navy left. They don’t have an air force. I challenge you. When is the last time you read or heard about an Iranian jet flying anywhere? They don’t have an air force. Their missile launching capability has been substantially degraded. And their industrial base — their defense industrial base has been severely, severely damaged. So, their ability to build a shield behind which they could hide their nuclear program was wiped out. That’s a very substantial achievement. And that was the purpose of this operation from day one.” Bruce: “But do you HAVE to get their nuclear material in order for this war to end?” Rubio: “Well, that’s one of the topics that needs to be discussed. I don’t know about. I think you’re linking it — the operation is over. Epic Fury is — President notified Congress we’re done with that stage of it. Okay. We’re now on to this project of freedom. As far as the negotiation is concerned, I think the President’s been clear that part of the negotiation process has to be not just the enrichment, but what happens to this material that’s buried deep somewhere that they have still have access to if they ever wanted to dig it out, that has to be addressed. And that’s being addressed in the negotiation. I’m not going to go further on what progress has been made on that topic, because I don’t want to endanger the negotiations, but suffice it to say that the President and this entire team is aware of the centrality of that question, and that will have to be addressed one way or the other.”
1:59

ABC’s Mary Bruce: “On the rising oil and gas prices, the President has said that this is a small price to pay for getting rid of a nuclear weapon. But ten weeks in, are we any closer to getting rid of Iran’s nuclear material?” Secretary Marco Rubio: “Yeah, but look, here’s the way to think about Iran. And this is what I described at the very beginning of this. What was Iran’s plan? You have to understand what their plan was. Their plan was they were going to build this conventional shield where they would have so many thousands of missiles and drones and rockets that they couldn’t be attacked. And behind that conventional shield that they were trying to build, they would then break out and do whatever they wanted with their nuclear program. They no longer have that conventional shield, okay? We told you guys from the very beginning, and we’re very consistent in this messaging. The operation that has concluded was going to destroy their navy. They have no navy left. They don’t. Not a navy. They have small boats and Boston Whalers, but they don’t have a navy left. They don’t have an air force. I challenge you. When is the last time you read or heard about an Iranian jet flying anywhere? They don’t have an air force. Their missile launching capability has been substantially degraded. And their industrial base — their defense industrial base has been severely, severely damaged. So, their ability to build a shield behind which they could hide their nuclear program was wiped out. That’s a very substantial achievement. And that was the purpose of this operation from day one.” Bruce: “But do you HAVE to get their nuclear material in order for this war to end?” Rubio: “Well, that’s one of the topics that needs to be discussed. I don’t know about. I think you’re linking it — the operation is over. Epic Fury is — President notified Congress we’re done with that stage of it. Okay. We’re now on to this project of freedom. As far as the negotiation is concerned, I think the President’s been clear that part of the negotiation process has to be not just the enrichment, but what happens to this material that’s buried deep somewhere that they have still have access to if they ever wanted to dig it out, that has to be addressed. And that’s being addressed in the negotiation. I’m not going to go further on what progress has been made on that topic, because I don’t want to endanger the negotiations, but suffice it to say that the President and this entire team is aware of the centrality of that question, and that will have to be addressed one way or the other.”

Curtis Houck

51,169 görüntüleme • 5 ay önce

Naval Ravikant’s checklist for starting a company “The most important thing is there are no formulas. At the end of the day, you have to do what you love, and you have to do it even though people tell you it’ll never work. But that being said, if there was a formula [for starting a company], I would put it something like this.” Naval started seven companies before AngelList and this is the checklist he recommends running through before starting a startup: 1. Pick a great cofounder. This is most important: “You can do a company on your own, but it’s like you can raise a child on your own, but you probably shouldn’t. You need someone who’s going to be there with you.” This has it’s own checklist. Your cofounder should be: a. Very high intelligence (”hopefully they make you feel dumb, or they’re not smart enough”) b. Very high energy (”They should be extremely hardworking. A founder is someone who never has to be motivated. You should not have to be telling them to do their job.”) c. Very high integrity. (”a smart, hardworking crook who’s going to cheat you is the worst kind of person to be paired up with.”) 2. Pick a very large market. “Notice I don’t talk about the idea. I think ideas are almost irrelevant… The more important thing is that you pick a large space that you’re knowledgeable and passionate about. And then you will figure out what the right thing to do within that space is.” You want to be able to say to investors: “This is a space where there’s a huge market. I’m really knowledgeable and passionate about it. Here’s the great person that I have doing it with me. And here’s the minimum viable product that we have built. That will show that we can test in the marketplace… You iterate until you get to product/market fit… And then you go and you raise money from people you trust. And you use that money to scale.”
2:44

Naval Ravikant’s checklist for starting a company “The most important thing is there are no formulas. At the end of the day, you have to do what you love, and you have to do it even though people tell you it’ll never work. But that being said, if there was a formula [for starting a company], I would put it something like this.” Naval started seven companies before AngelList and this is the checklist he recommends running through before starting a startup: 1. Pick a great cofounder. This is most important: “You can do a company on your own, but it’s like you can raise a child on your own, but you probably shouldn’t. You need someone who’s going to be there with you.” This has it’s own checklist. Your cofounder should be: a. Very high intelligence (”hopefully they make you feel dumb, or they’re not smart enough”) b. Very high energy (”They should be extremely hardworking. A founder is someone who never has to be motivated. You should not have to be telling them to do their job.”) c. Very high integrity. (”a smart, hardworking crook who’s going to cheat you is the worst kind of person to be paired up with.”) 2. Pick a very large market. “Notice I don’t talk about the idea. I think ideas are almost irrelevant… The more important thing is that you pick a large space that you’re knowledgeable and passionate about. And then you will figure out what the right thing to do within that space is.” You want to be able to say to investors: “This is a space where there’s a huge market. I’m really knowledgeable and passionate about it. Here’s the great person that I have doing it with me. And here’s the minimum viable product that we have built. That will show that we can test in the marketplace… You iterate until you get to product/market fit… And then you go and you raise money from people you trust. And you use that money to scale.”

Startup Archive

36,050 görüntüleme • 1 yıl önce

.Tucker Carlson Issues Major Warning on What the Establishment Has in Store for Trump “If you want to know what things are going to look like in the future, just chart out what has been happening recently and ask yourself, are things accelerating or decelerating? … just chart it out. And in the case of Trump, they started with protests, they moved to impeachment. Now they're at indictment. None of it has worked. What's next? What could possibly be next?” he asked. That next step appears to be taking Trump off the ballot altogether. But Tucker suggested something much more sinister is looming. “If you felt, and you really believed — and a lot of them do — that the worst thing that could happen to the country, and, more specifically, to you, in the professional class, is to have Donald Trump as president. And everything you have tried has failed. And they have been accelerating steps: protests, impeachment, indictment. How many more arrows do you have in your quiver? And what's the next one? And, of course, it's assassination.”
1:48

.Tucker Carlson Issues Major Warning on What the Establishment Has in Store for Trump “If you want to know what things are going to look like in the future, just chart out what has been happening recently and ask yourself, are things accelerating or decelerating? … just chart it out. And in the case of Trump, they started with protests, they moved to impeachment. Now they're at indictment. None of it has worked. What's next? What could possibly be next?” he asked. That next step appears to be taking Trump off the ballot altogether. But Tucker suggested something much more sinister is looming. “If you felt, and you really believed — and a lot of them do — that the worst thing that could happen to the country, and, more specifically, to you, in the professional class, is to have Donald Trump as president. And everything you have tried has failed. And they have been accelerating steps: protests, impeachment, indictment. How many more arrows do you have in your quiver? And what's the next one? And, of course, it's assassination.”

The Vigilant Fox 🦊

601,160 görüntüleme • 2 yıl önce

"One of the very confusing things about the models right now: how to reconcile the fact that they are doing so well on evals. And you look at the evals and you go, 'Those are pretty hard evals.' But the economic impact seems to be dramatically behind. There is [a possible] explanation. Back when people were doing pre-training, the question of what data to train on was answered, because that answer was everything. So you don't have to think if it's going to be this data or that data. When people do RL training, they say, 'Okay, we want to have this kind of RL training for this thing and that kind of RL training for that thing.' You say, 'Hey, I would love our model to do really well when we release it. I want the evals to look great. What would be RL training that could help on this task?' If you combine this with generalization of the models actually being inadequate, that has the potential to explain a lot of what we are seeing, this disconnect between eval performance and actual real-world performance"
2:21

"One of the very confusing things about the models right now: how to reconcile the fact that they are doing so well on evals. And you look at the evals and you go, 'Those are pretty hard evals.' But the economic impact seems to be dramatically behind. There is [a possible] explanation. Back when people were doing pre-training, the question of what data to train on was answered, because that answer was everything. So you don't have to think if it's going to be this data or that data. When people do RL training, they say, 'Okay, we want to have this kind of RL training for this thing and that kind of RL training for that thing.' You say, 'Hey, I would love our model to do really well when we release it. I want the evals to look great. What would be RL training that could help on this task?' If you combine this with generalization of the models actually being inadequate, that has the potential to explain a lot of what we are seeing, this disconnect between eval performance and actual real-world performance"

Dwarkesh Patel

502,761 görüntüleme • 10 ay önce

Elon Musk, "There's got to be a change of government in Britain" "We don't have another four years or whenever your next election is, it's too long, something has got to be done" "There has got to be a dissolution of parliament and a new vote held" "You got to appeal to the average, the normal people that just want to go about their business, that are in a village" "You've got to point out to them if they don't take action, other people are just going to come a maraud them" "There's genuine risk of rape and murder and the destruction of the country. And dissolution of the entire way of life" "If you weren't under massive attack then people should go about their business" "But unfortunately, if the fight comes to you, you don't have a choice, you have to fight, you have to rally all of the people to fight for the future" "If this doesn't happen there won't be a future" "You know what I mean" "If you know what's going to happen to your town and village just visit London and you'll see that it's filled with crime, doesn't feel like Britain at all" "It's only a matter of time till that happens to towns and villages. It will spread. And no one will have any peace"
2:43

Elon Musk, "There's got to be a change of government in Britain" "We don't have another four years or whenever your next election is, it's too long, something has got to be done" "There has got to be a dissolution of parliament and a new vote held" "You got to appeal to the average, the normal people that just want to go about their business, that are in a village" "You've got to point out to them if they don't take action, other people are just going to come a maraud them" "There's genuine risk of rape and murder and the destruction of the country. And dissolution of the entire way of life" "If you weren't under massive attack then people should go about their business" "But unfortunately, if the fight comes to you, you don't have a choice, you have to fight, you have to rally all of the people to fight for the future" "If this doesn't happen there won't be a future" "You know what I mean" "If you know what's going to happen to your town and village just visit London and you'll see that it's filled with crime, doesn't feel like Britain at all" "It's only a matter of time till that happens to towns and villages. It will spread. And no one will have any peace"

Farrukh

1,951,612 görüntüleme • 1 yıl önce