Загрузка видео...

Не удалось загрузить видео

На главную

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's profile picture

LaurieWired

154,053 subscribers

981,446 просмотров • 7 месяцев назад •via X (Twitter)

ИгрыОбразованиеНаука и технологии
LIVE

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.
0:32

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).
0:54

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 месяцев назад

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!
0:56

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 месяцев назад

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
0:51

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 месяцев назад

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."
1:12

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
2:10

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
2:01

"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 просмотров • 9 месяцев назад

“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.”
2:25

“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 просмотров • 3 месяцев назад

"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."
2:57

"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 просмотров • 10 месяцев назад

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."
1:17

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!
0:27

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,340,833 просмотров • 2 лет назад

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

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.
0:33

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.
5:35

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😂
1:28

"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 просмотров • 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 🤷‍♂️
0:55

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 месяцев назад

"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
1:58

"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 месяцев назад

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

"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 год назад