正在加载视频...

视频加载失败

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

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

155,083 subscribers

981,647 次观看 • 7 个月前 •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,543 次观看 • 8 个月前

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 次观看 • 3 个月前

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 次观看 • 10 个月前

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 次观看 • 11 个月前

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 次观看 • 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,190 次观看 • 10 个月前

“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

23,748 次观看 • 4 个月前

"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 次观看 • 11 个月前

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 次观看 • 1 个月前

The goal of citizenship for all illegals is very clearly stated by the leader of the Senate. For some reason, a lot of people still think this is some crazy conspiracy theory!

The goal of citizenship for all illegals is very clearly stated by the leader of the Senate. For some reason, a lot of people still think this is some crazy conspiracy theory!

Elon Musk

34,341,135 次观看 • 2 年前

Tarik Skubal and Salvador Perez have a lot of respect for each other 🫡

Tarik Skubal and Salvador Perez have a lot of respect for each other 🫡

MLB

292,113 次观看 • 1 年前

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 年前

Brian Kernighan: Rust is "a pain" The C and UNIX legend says the Rust programming language is "incomprehensibly big and slow", "I don't think it's gonna replace C". Bonus: What Kernighan thinks of NixOS.

Brian Kernighan: Rust is "a pain" The C and UNIX legend says the Rust programming language is "incomprehensibly big and slow", "I don't think it's gonna replace C". Bonus: What Kernighan thinks of NixOS.

The Lunduke Journal

10,945 次观看 • 9 个月前

"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 次观看 • 7 个月前

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 次观看 • 4 个月前

"On a word-language level, we're at a terrible disadvantage." Ramy Youssef comparing the different vibes of the words "Islamophobia" and "antisemitism"

"On a word-language level, we're at a terrible disadvantage." Ramy Youssef comparing the different vibes of the words "Islamophobia" and "antisemitism"

The Daily Show

115,716 次观看 • 1 年前

"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 次观看 • 4 个月前