正在加载视频...

视频加载失败

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

Kinda makes sense that natural language is the final programming language?

Sara Dietschy 🍑y

171,112 subscribers

15,333 次观看 • 9 个月前 •via X (Twitter)

Anya Rossi• Live Now

Private livecam show

0 条评论

暂无评论

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

相关视频

As kindness is a language that can be understood by anybody, it makes sense that it is the language to which this cat responds🤍

As kindness is a language that can be understood by anybody, it makes sense that it is the language to which this cat responds🤍

Tansu Yegen

647,197 次观看 • 3 年前

.Guillermo Rauch, English is becoming the next hot programming language.

.Guillermo Rauch, English is becoming the next hot programming language.

Extraordinary

17,086 次观看 • 2 个月前

Guessing the engine? Nahh... Guess the programming language

Guessing the engine? Nahh... Guess the programming language

Hilko Janssen | Car Park Capital

73,582 次观看 • 24 天前

Guess the programming language this was built with.

Guess the programming language this was built with.

Ray 👨🏽‍💻 website & app developer

13,286 次观看 • 4 个月前

It may seem counterintuitive to teach students with limited English proficiency to code. But research shows that learning a programming language has more in common with learning a natural language than you might think.💡

It may seem counterintuitive to teach students with limited English proficiency to code. But research shows that learning a programming language has more in common with learning a natural language than you might think.💡

edutopia

34,206 次观看 • 2 年前

Programming language logo challenge 💀

F.O.L.A

393,249 次观看 • 1 个月前

Picking a programming language in 2024?

Picking a programming language in 2024?

Julian W.

48,660 次观看 • 2 年前

We just got backed by a16z a16z speedrun 🧊. We believe the next interface is natural language. We call it the Language User Interface (LUI) An interface that talks to your APIs, understands your product, and lets users get work done with natural language (thread below)

We just got backed by a16z a16z speedrun 🧊. We believe the next interface is natural language. We call it the Language User Interface (LUI) An interface that talks to your APIs, understands your product, and lets users get work done with natural language (thread below)

jai

135,731 次观看 • 11 个月前

French Makes No Sense: April’s Fish #AprilFoolsDay #why #french #tiktok #universallanguage #funny #language

French Makes No Sense: April’s Fish #AprilFoolsDay #why #french #tiktok #universallanguage #funny #language

loicsuberville

227,261 次观看 • 3 年前

#rust #c++ #golang programming language, speed compilation

#rust #c++ #golang programming language, speed compilation

Rust Bytes 🦀

44,506 次观看 • 6 个月前

I added the most requested feature to AI Code Translator… Natural language to/from code! You can now: - Use natural language to generate code. - Get natural language explanations from code. Try it: GitHub:

I added the most requested feature to AI Code Translator… Natural language to/from code! You can now: - Use natural language to generate code. - Get natural language explanations from code. Try it: GitHub:

Mckay Wrigley

605,915 次观看 • 3 年前

“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 个月前

I'm the MrBeast of tech $100 For Every Programming Language You Guess

I'm the MrBeast of tech $100 For Every Programming Language You Guess

Victor

17,868 次观看 • 29 天前

Natural Language Screening via Deepvue Terminal - Create Screens using Natural Language - Automatically saved and loaded on creation Here is a preview 🚀 Coming next week

Natural Language Screening via Deepvue Terminal - Create Screens using Natural Language - Automatically saved and loaded on creation Here is a preview 🚀 Coming next week

Ameet Rai

37,982 次观看 • 4 个月前

How can the language of twelve Chiefs who speaks the same Ibani language evolve and completely wiped out against the language of one single man whose language is Igbo? What magic is that? Follow TheTribes

How can the language of twelve Chiefs who speaks the same Ibani language evolve and completely wiped out against the language of one single man whose language is Igbo? What magic is that? Follow TheTribes

TheTribes

15,995 次观看 • 11 个月前

Episode 109: GPU Programming and Language Design with Chris Lattner! 🎉

Episode 109: GPU Programming and Language Design with Chris Lattner! 🎉

Software Unscripted

32,137 次观看 • 11 个月前

Marco Rubio makes the case that the US is still the only remaining global superpower: ‘Our language is used extensively throughout the world!’

Marco Rubio makes the case that the US is still the only remaining global superpower: ‘Our language is used extensively throughout the world!’

The Gulag

42,169 次观看 • 25 天前

Well Chicheng's love language is Kinda Hot and Sexy I love it Kinda my type #Revengedlove #Chiwei #TianZiyu

Well Chicheng's love language is Kinda Hot and Sexy I love it Kinda my type #Revengedlove #Chiwei #TianZiyu

𝐂𝐇𝐄𝐍𝐆_𝟗𝟕 ٭࣭✌︎

11,700 次观看 • 7 个月前