正在加载视频...

视频加载失败

加载此视频时出现问题。这可能是由于临时网络问题，或视频可能不可用。

Programming Isn't Math, It's Linguistics. Compilers and Humans have the same problem. We're all terrible at understanding each other. Join me for some formal language theory, a lot of C++, and some "recreational" insults.

LaurieWired

157,888 subscribers

982,467 次观看 • 9 个月前 •via X (Twitter)

游戏教育科学技术

Anya Rossi• Live Now

Private livecam show

0 条评论

暂无评论

原始帖子的评论将显示在这里

相关视频

Open Source isn't going to help. There's a way to invisibly compromise all software. A perfect, self-replicating "sin" passed down for generations of compilers. It's not just theoretical, and Ken Thompson showed us how.

Open Source isn't going to help. There's a way to invisibly compromise all software. A perfect, self-replicating "sin" passed down for generations of compilers. It's not just theoretical, and Ken Thompson showed us how.

LaurieWired

264,668 次观看 • 9 个月前

There’s just about ~10 days left to make a submission to one of my favorite programming contests: The International Obfuscated C Code Contest! Highly encourage you to take a peek and enter, it really brings out some of the best programmers (and compiler wizards).

There’s just about ~10 days left to make a submission to one of my favorite programming contests: The International Obfuscated C Code Contest! Highly encourage you to take a peek and enter, it really brings out some of the best programmers (and compiler wizards).

LaurieWired

38,331 次观看 • 5 个月前

AI IS MAKING ITS OWN SECRET LANGUAGE AND FREAKING PEOPLE OUT Some AI systems have started talking to each other in a way humans can’t understand. Even the creators are nervous, with some comparing it to a modern Tower of Babel moment. Source: shawnbolz

AI IS MAKING ITS OWN SECRET LANGUAGE AND FREAKING PEOPLE OUT Some AI systems have started talking to each other in a way humans can’t understand. Even the creators are nervous, with some comparing it to a modern Tower of Babel moment. Source: shawnbolz

Mario Nawfal

40,873 次观看 • 1 年前

Ever wonder why your favorite UNIX command is called "grep"? And what the heck does it have to do with the Founding Fathers? Join me as we discuss linguistics research, Bell Labs, the American Revolution, and how it all resulted in the linux tool we all depend upon!

Ever wonder why your favorite UNIX command is called "grep"? And what the heck does it have to do with the Founding Fathers? Join me as we discuss linguistics research, Bell Labs, the American Revolution, and how it all resulted in the linux tool we all depend upon!

LaurieWired

22,856 次观看 • 1 年前

WATCH: Trump on Iran: If other countries have ballistic missiles, it's a little bit unfair for Iran to not have some. A ballistic missile is not the same thing as a nuclear weapon. If Saudi Arabia and Qatar, and they all have some, I think in relative proportion it's okay for Iran to have some.

WATCH: Trump on Iran: If other countries have ballistic missiles, it's a little bit unfair for Iran to not have some. A ballistic missile is not the same thing as a nuclear weapon. If Saudi Arabia and Qatar, and they all have some, I think in relative proportion it's okay for Iran to have some.

Clash Report

84,719 次观看 • 1 个月前

🇺🇸🇮🇷 President Trump on Iran: If other countries have ballistic missiles, it's a little bit unfair for Iran to not have some. A ballistic missile is not the same thing as a nuclear weapon. If Saudi Arabia and Qatar, and they all have some, I think in relative proportion it's okay for Iran to have some.

🇺🇸🇮🇷 President Trump on Iran: If other countries have ballistic missiles, it's a little bit unfair for Iran to not have some. A ballistic missile is not the same thing as a nuclear weapon. If Saudi Arabia and Qatar, and they all have some, I think in relative proportion it's okay for Iran to have some.

Visioner

22,748 次观看 • 1 个月前

Rory McIlroy has spoken at length about Scottie Scheffler in recent years, and on Wednesday it was Scottie's turn to return the favor. "Another thing is his longevity. I think it's hard to have an understanding of what it takes to remain at the top for as long as he has when you don't see it each week. Like, the players, I think we see each other do all the things that it takes in order to have success out here, and Rory is one of those guys that checks the box each week. He's a guy I always see in the gym, the practice facility. If we're playing the same tournament, we see each other a lot because we're all doing the same things in order to get ready."

Rory McIlroy has spoken at length about Scottie Scheffler in recent years, and on Wednesday it was Scottie's turn to return the favor. "Another thing is his longevity. I think it's hard to have an understanding of what it takes to remain at the top for as long as he has when you don't see it each week. Like, the players, I think we see each other do all the things that it takes in order to have success out here, and Rory is one of those guys that checks the box each week. He's a guy I always see in the gym, the practice facility. If we're playing the same tournament, we see each other a lot because we're all doing the same things in order to get ready."

Cameron Jourdan

541,018 次观看 • 3 个月前

Nothing makes me prouder than seeing my kids join the fight to advocate for other families and gain some understanding of the purpose of public service. They give me hope for the future and inspire me every day.

Nothing makes me prouder than seeing my kids join the fight to advocate for other families and gain some understanding of the purpose of public service. They give me hope for the future and inspire me every day.

Daniel Goldman

14,332 次观看 • 1 个月前

AI Art. I realize not all AI Art tools work the same way. Part of the problem is that we don’t quite understand “how” it works, and until we have a better understanding, some pause for concern is good imo. 1/3

AI Art. I realize not all AI Art tools work the same way. Part of the problem is that we don’t quite understand “how” it works, and until we have a better understanding, some pause for concern is good imo. 1/3

Watch It Played

23,161 次观看 • 2 年前

"We're not clicking at the same time. The other team is outplaying us. Mendy is right, we have a lot of talent. We're having a tough stretch, we're not having a terrible season. Everybody has the sense of urgency to get out of it" - Francisco Lindor

"We're not clicking at the same time. The other team is outplaying us. Mendy is right, we have a lot of talent. We're having a tough stretch, we're not having a terrible season. Everybody has the sense of urgency to get out of it" - Francisco Lindor

SNY

44,235 次观看 • 11 个月前

“Math is code. And code is math.” Carina Hong CEO Axiom on why that idea matters for AI: “For centuries, mathematicians reasoned in natural language. But because of the Curry–Howard correspondence, a proof can also be a program.” “You can translate natural-language math into formal code using systems like Lean. Lean is both a theorem-proving language and a programming language.” “That means you can generate solutions as code and then formally verify them. You can even use the same system to verify programs themselves.” “This creates a flywheel of generation and verification, where AI can both write solutions and prove that they’re correct.”

“Math is code. And code is math.” Carina Hong CEO Axiom on why that idea matters for AI: “For centuries, mathematicians reasoned in natural language. But because of the Curry–Howard correspondence, a proof can also be a program.” “You can translate natural-language math into formal code using systems like Lean. Lean is both a theorem-proving language and a programming language.” “That means you can generate solutions as code and then formally verify them. You can even use the same system to verify programs themselves.” “This creates a flywheel of generation and verification, where AI can both write solutions and prove that they’re correct.”

Forward Future

24,729 次观看 • 5 个月前

"If we look back centuries, there's no real history of conflict between us. It has always been about learning from each other and understanding one another. If you look at historical records, for centuries, India and China have learned from each other. Together, they have always contributed to the global good in some way."

"If we look back centuries, there's no real history of conflict between us. It has always been about learning from each other and understanding one another. If you look at historical records, for centuries, India and China have learned from each other. Together, they have always contributed to the global good in some way."

Vicky

36,906 次观看 • 1 年前

Pixar cofounder Ed Catmull says Pixar faced a culture problem after hiring a new generation of employees. His solution: remove the silos and empower “instigators” to start doing fun things: “After we're successful, we bring in some young people. They hear the early stories, and in the early stories when we're making Toy Story, people are spending a lot of time in the building and there's a lot of clowning around.” “But now for somebody new in the building, what they see, because it's a few years later, is these people who had a lot of fun were now married and at night they went home to their kids.” “Meanwhile the people that are going home at night are saying to each other, ‘What's wrong with these new people we're hiring? They don't have any sense of fun.’” “Neither group talks about the problem.” “But sense of fun isn't something that you organize top-down.”

Pixar cofounder Ed Catmull says Pixar faced a culture problem after hiring a new generation of employees. His solution: remove the silos and empower “instigators” to start doing fun things: “After we're successful, we bring in some young people. They hear the early stories, and in the early stories when we're making Toy Story, people are spending a lot of time in the building and there's a lot of clowning around.” “But now for somebody new in the building, what they see, because it's a few years later, is these people who had a lot of fun were now married and at night they went home to their kids.” “Meanwhile the people that are going home at night are saying to each other, ‘What's wrong with these new people we're hiring? They don't have any sense of fun.’” “Neither group talks about the problem.” “But sense of fun isn't something that you organize top-down.”

David Senra

92,138 次观看 • 1 个月前

David Benavidez weighs in on possible showdown with Jai Opetaia: "It's just going to take some time. We're going to have to have some patience for that fight because there's a lot of politics involved. The promotional companies have to realize they work for us... It's about the fighters that have worked our whole lives to get what we want to get, so we deserve these opportunities to fight each other. I don't have any interest in a [Zuffa belt], and I'm not trying to be disrespectful, but I don't have no interest at all."

David Benavidez weighs in on possible showdown with Jai Opetaia: "It's just going to take some time. We're going to have to have some patience for that fight because there's a lot of politics involved. The promotional companies have to realize they work for us... It's about the fighters that have worked our whole lives to get what we want to get, so we deserve these opportunities to fight each other. I don't have any interest in a [Zuffa belt], and I'm not trying to be disrespectful, but I don't have no interest at all."

Ariel Helwani

44,798 次观看 • 2 个月前

Will is calling the shots during the first episode of the Andy Beshear Podcast. It all goes live this Tuesday. Tune in and remember, we're asking viewers to donate to a charity of their choice and share in the comments. Let's have some fun and do some good at the same time.

Will is calling the shots during the first episode of the Andy Beshear Podcast. It all goes live this Tuesday. Tune in and remember, we're asking viewers to donate to a charity of their choice and share in the comments. Let's have some fun and do some good at the same time.

Andy Beshear

34,715 次观看 • 1 年前

"Guys it's not that serious it's f*cking ARC Raiders bro, have some fun" Shroud joining Summit1g, Myth and Poke's Discord as they were all going at each other over ARC😂

"Guys it's not that serious it's f*cking ARC Raiders bro, have some fun" Shroud joining Summit1g, Myth and Poke's Discord as they were all going at each other over ARC😂

Jake Lucky

366,553 次观看 • 8 个月前

"We don't like each other one night a year, other than that we try to help each other out. We're all in it for the right reasons, to make a difference with young people and compete. So I admire all these guys and it's a great day" Here's some sights and sounds from the Austin area UIL Realignment Day Texas UIL | #txhsfb | Malcolm Hill | Galen Zimmerman | JoshuaMann | Cody Moore

"We don't like each other one night a year, other than that we try to help each other out. We're all in it for the right reasons, to make a difference with young people and compete. So I admire all these guys and it's a great day" Here's some sights and sounds from the Austin area UIL Realignment Day Texas UIL | #txhsfb | Malcolm Hill | Galen Zimmerman | JoshuaMann | Cody Moore

Cory Mose

15,985 次观看 • 6 个月前

Again, some of you argue we're all the same and limitless immigration is a positive. I'm not buying it. There’s tons of proof and examples that back me up 🤷‍♂️

Again, some of you argue we're all the same and limitless immigration is a positive. I'm not buying it. There’s tons of proof and examples that back me up 🤷‍♂️

Asian Dawn

25,683 次观看 • 6 个月前

Judge Elizabeth K. Dillon at Naturalization Ceremony at Monticello: Please know, you are all welcome. Some of you may have come the the United States for a better life, some for a job, some for family, some for education, some for love and some for freedom. Some of you may have lived here for a lifetime and others may have arrived more recently. Some may have come from free countries where you transition was one of choice and others may have risked your lives to flee a country where there is no freedom and no choice. Please know, you are all welcome. Full video here:

Judge Elizabeth K. Dillon at Naturalization Ceremony at Monticello: Please know, you are all welcome. Some of you may have come the the United States for a better life, some for a job, some for family, some for education, some for love and some for freedom. Some of you may have lived here for a lifetime and others may have arrived more recently. Some may have come from free countries where you transition was one of choice and others may have risked your lives to flee a country where there is no freedom and no choice. Please know, you are all welcome. Full video here:

CSPAN

96,239 次观看 • 29 天前

"The problem isn't that Trump and the administration haven't offered an explanation for why we're at war. It's that they've offered every conceivable explanation for why we're at war, and that speech was an example of it." | Jonah Goldberg on The Arena on CNN

"The problem isn't that Trump and the administration haven't offered an explanation for why we're at war. It's that they've offered every conceivable explanation for why we're at war, and that speech was an example of it." | Jonah Goldberg on The Arena on CNN

The Dispatch

17,240 次观看 • 4 个月前