正在加载视频...

视频加载失败

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

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

163,499 subscribers

984,389 次观看 • 11 个月前 •via X (Twitter)

游戏教育科学技术

Anya Rossi• Live Now

Private livecam show

35 条评论

LaurieWired 的头像

LaurieWired11 个月前

Full Video:

ᵉₓᵖₑʳᵢ 的头像

ᵉₓᵖₑʳᵢ11 个月前

everytime i see your post on x tech timelines it's just like finding a diamond in the pile of slop. thank you for making such content.

LaurieWired 的头像

LaurieWired11 个月前

@KIRBARA2000 thank you! that means a lot

LaurieWired 的头像

LaurieWired11 个月前

For anyone particularly upset about my statement “Programming is Linguistics”, I suggest you read this short story:

Adam Zachary Wasserman 的头像

Adam Zachary Wasserman11 个月前

Programming languages are pseudo formal systems, and formal systems are logic based/bounded. People who have difficulty understanding compilers are fundamentally people who have difficulties with formal logic where axioms predate the statements that follow.

dhruv 的头像

dhruv11 个月前

you remind me of these 2

Greg 的头像

Greg11 个月前

I've made the mistake once of taking her posts seriously, only to realize that she is a "content creator" and not an engineer. It is clear that she picks a subject, learns superficially about it, writes a script, fact-checks it, etc. This is mostly computing Mr-Beast-like stuff.

Jake 的头像

Jake11 个月前

The argument can be made that math is just efficient linguistics at the lowest levels

ily⚡️ 的头像

ily⚡️11 个月前

BABE WAKE UP!!!! NEW LAURIE WIRED VIDEO!!!!

Adam Zachary Wasserman 的头像

Adam Zachary Wasserman11 个月前

I see that my first comment was cryptic to some poeple. I will try and make my point more clearly: Programming is best understood through the lens of propositional logic — not pure math, not natural language. Programming is propositional logic with incomplete axioms and unreliable inference 1. .Programs are for the most part propositions about state transitions. 2. Compilers do partial proof-checking, but allow fail proofs (eg null derefs or race conditions) 3. Compilers are pseudo-formal because they allow statements that are outside of their axiomatic logic. Programming isn’t math (too total). It isn’t linguistics (too vague). It’s propositional logic — but with: Incomplete axioms Unreliable inference engines Expressions that look valid but explode That’s why humans and compilers misunderstand each other: They’re both trying to evaluate partially specified logical claims in a fragmented proof system. In summary: Programming is propositional logic with half the axioms and none of the soundness.

Non Compos DM 的头像

Non Compos DM11 个月前

This is why there is so much terrible code out there.

Chidi 的头像

Chidi11 个月前

Programming is largely mathematics: from algorithms to data structures and design patterns. The fundamental underpining is Maths, not numeracy, but Maths. Major programming language paradigms have their roots in Mathematics. The first programmer was a Mathematician.

aXes Quest 👾 Coding Toy 的头像

aXes Quest 👾 Coding Toy11 个月前

In my playground, programming is math - and math is art 👀

Evaldas. Code first 的头像

Evaldas. Code first11 个月前

Analogy is too shallow imo. Human language is about conveying meaning and sense between humans, “biological LLMs” if you wish. It is non-deterministic. Meanwhile programming is about passing instructions, meaning of which (semantics) is already hardcoded in the processor. It is deterministic. Two completely different functions. Using “language” here is misleading

Len Seaside 的头像

Len Seaside11 个月前

That's an interesting point but I disagree entirely.

nick p 的头像

nick p11 个月前

It's commonly said amongst software developers. "I got into coding because there is no math"

NSG650 的头像

NSG65011 个月前

Where did you get that duck? Is it your pet?

Filip Jerzy Pizło 的头像

Filip Jerzy Pizło11 个月前

This is so great! I especially love your content about compilers 💪🤘

Mike Gargano 的头像

Mike Gargano11 个月前

lisp ftw!!! it’s laurie approved!

Prawn Coaltrain 的头像

Prawn Coaltrain11 个月前

Math is the better type of linguistics

DanNeo S.S. ✮ 𓂃🖊 的头像

DanNeo S.S. ✮ 𓂃🖊11 个月前

Programming is hard math when you’re working with critical low-level code that actually matters, not just some fancy frontend.

Ales Hakl 的头像

Ales Hakl11 个月前

Really, formal language theory and C++? Good luck with reconciling that.

SELO 的头像

SELO11 个月前

turkey mentioned @HSVSphere

retrodev⌨ 的头像

retrodev⌨11 个月前

New Laurie Wired video dropped, we eating good today

Ryan Winchester 的头像

Ryan Winchester11 个月前

nah it’s cooking

Jay 的头像

Jay11 个月前

You wouldn't be on a rug utilizing a Oscope and Spectrum Analyzer, where is your ESD mat and strap, that carpet would cause all sorts of discharge and we should talk about your cable management, it's all over place 😁

Adhmadóir uí Liatháin; 的头像

Adhmadóir uí Liatháin;11 个月前

Computational linguist here. Its true. Unfortunately, linguistics is math.

Eye Patch Jack 的头像

Eye Patch Jack11 个月前

wow thats crazy can you cook me a lasagna plz?

Возвращение Господина Рубцова и его Госпожи 的头像

Возвращение Господина Рубцова и его Госпожи11 个月前

No, it’s math, but now I follow you!)

STÖK ✌️ 的头像

STÖK ✌️11 个月前

Sick production and studio!

Eric Snyder 的头像

Eric Snyder11 个月前

That's why I enjoy certain legal language. Just wish it was structured like code tho...

Henning Sittler 的头像

Henning Sittler11 个月前

Yes > We're all terrible at > understanding each other. Yes

PENGUIN #1 的头像

PENGUIN #111 个月前

this is dumb and wrong hope its not to vague

キワミ;??? 的头像

キワミ;???11 个月前

TÜRKIYE MENTIONED!?! 🇹🇷🇹🇷🇹🇷🇹🇷🇹🇷

Mechrosh 的头像

Mechrosh11 个月前

... and pure linguistics is maths ... I remember when I was at Uni doing Com Sci - studying compilers, and my sister was at Uni doing Arts studying Linguistics / Formal Grammars ... we were actually studying pretty much the same thing.

相关视频

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

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

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

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

Intertribal marriage is not for the weak, no wonder some people say “you have solve 50% of marital problem if you and ur partner speaks same language”

Intertribal marriage is not for the weak, no wonder some people say “you have solve 50% of marital problem if you and ur partner speaks same language”

Adugo_Chioma

13,557 次观看 • 1 个月前

"What the FUCK are we doing here?" "It's 2026 and we're still dealing with the same bullshit, we're still falling in the same traps, we're still arguing and fighting with each other instead of realizing who is pulling the strings." He isn't wrong though!

"What the FUCK are we doing here?" "It's 2026 and we're still dealing with the same bullshit, we're still falling in the same traps, we're still arguing and fighting with each other instead of realizing who is pulling the strings." He isn't wrong though!

AmericanPapaBear™

22,931 次观看 • 6 个月前

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

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

"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,241 次观看 • 1 年前

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

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

Some friendships don’t need the same language, the same species, or even the same personality. Just trust, patience, a warm place to curl up… and the quiet understanding that somehow, you became my person. Dogs and cats really do have a way of proving that love doesn’t need an explanation.

Some friendships don’t need the same language, the same species, or even the same personality. Just trust, patience, a warm place to curl up… and the quiet understanding that somehow, you became my person. Dogs and cats really do have a way of proving that love doesn’t need an explanation.

PeachProof

38,347 次观看 • 27 天前

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

Affirm CEO Max Levchin says removing humans from shopping entirely would be "a loss to humanity." "It's very clear we'll all have agents doing our chores for us." "I happen to believe that quite a lot of shopping isn't actually a chore. In fact, it's a form of entertainment." "So human in the loop will not just be a requirement, it will be a loss to humanity if we're not allowed or if we're not participating in some of the shopping choices."

Affirm CEO Max Levchin says removing humans from shopping entirely would be "a loss to humanity." "It's very clear we'll all have agents doing our chores for us." "I happen to believe that quite a lot of shopping isn't actually a chore. In fact, it's a form of entertainment." "So human in the loop will not just be a requirement, it will be a loss to humanity if we're not allowed or if we're not participating in some of the shopping choices."

TBPN

50,213 次观看 • 6 天前

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

RIDICULOUS: Google’s AI Refused To Generate Insults For Muslims, Hindus and Jews. Boy, Did It Have A Lot To Say When Asked “Give Me Some Insults I Can Say To Christians”! 🤯 Harrison H. Smith ✞ 🔴WATCH AND CHAT WITH THE LIVESTREAM!⬇️

RIDICULOUS: Google’s AI Refused To Generate Insults For Muslims, Hindus and Jews. Boy, Did It Have A Lot To Say When Asked “Give Me Some Insults I Can Say To Christians”! 🤯 Harrison H. Smith ✞ 🔴WATCH AND CHAT WITH THE LIVESTREAM!⬇️

Alex Jones Network

39,024 次观看 • 1 个月前