Loading video...

Video Failed to Load

There was a problem loading this video. This could be due to a temporary network issue or the video might be unavailable.

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

Sara Dietschy 🍑y

171,112 subscribers

15,333 views • 9 months ago •via X (Twitter)

Anya Rossi• Live Now

Private livecam show

0 Comments

No comments available

Comments from the original post will appear here

Related Videos

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 views • 3 years ago

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

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

Extraordinary

17,086 views • 2 months ago

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

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

Hilko Janssen | Car Park Capital

73,582 views • 23 days ago

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 views • 2 years ago

Guess the programming language this was built with.

Guess the programming language this was built with.

Ray 👨🏽‍💻 website & app developer

13,286 views • 4 months ago

Programming language logo challenge 💀

F.O.L.A

393,249 views • 1 month ago

Picking a programming language in 2024?

Picking a programming language in 2024?

Julian W.

48,660 views • 2 years ago

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 views • 11 months ago

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 views • 3 years ago

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

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

Rust Bytes 🦀

44,506 views • 6 months ago

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 views • 3 years ago

“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 views • 4 months ago

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 views • 28 days ago

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 views • 4 months ago

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 views • 11 months ago

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 views • 24 days ago

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

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

Software Unscripted

32,137 views • 11 months ago

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 views • 7 months ago