Video yükleniyor...

Video Yüklenemedi

Bu video yüklenirken bir sorun oluştu. Bu geçici bir ağ sorunundan kaynaklanıyor olabilir veya video kullanılamıyor olabilir.

Ana Sayfaya Dön

MarkovJunior is a probabilistic programming language where programs are combinations of rewrite rules and inference is performed via constraint propagation

algoritmic

37,658 subscribers

171,123 görüntüleme • 2 yıl önce •via X (Twitter)

Bilim & Teknoloji Eğitim

Anya Rossi• Live Now

Private livecam show

10 Yorum

Henning Sittler profil fotoğrafı

Henning Sittler2 yıl önce

Odd to rule odds?

π profil fotoğrafı

π2 yıl önce

That one guy who enjoys quantum engineering and chip making.. going yoink..

Ovelha Negra profil fotoğrafı

Ovelha Negra2 yıl önce

now this is magic.

Tom Blackwell profil fotoğrafı

Tom Blackwell2 yıl önce

This is so cool

nk profil fotoğrafı

nk2 yıl önce

Funny name, given it probably originated from the Wikipedia article, which itself had a debate if the very Anglo "Junior" should really be used to separate the guy from his (same named, Russian) father.

ELO🏎️ profil fotoğrafı

ELO🏎️2 yıl önce

So Prolog?

ENTEROUT profil fotoğrafı

ENTEROUT2 yıl önce

🔥

Fedor F Kamenets profil fotoğrafı

Fedor F Kamenets2 yıl önce

боже

π profil fotoğrafı

π2 yıl önce

💯💯💯💯💯

turnt🌑ff profil fotoğrafı

turnt🌑ff2 yıl önce

Invade my brain 👾

Benzer Videolar

“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 görüntüleme • 8 ay önce

The English language and grammar rules are racist and correcting someone’s grammar is also racist.

The English language and grammar rules are racist and correcting someone’s grammar is also racist.

Libs of TikTok

708,776 görüntüleme • 2 yıl önce

Simon Peyton Jones is the co-creator of Haskell (pure functional programming language) and I interviewed him about functional programming, why it matters, and his thoughts on other programming languages. In this episode: • Useful and useless programming languages • Rust vs C • Haskell vs OCaml • Why functional programming matters • Static languages and their value for LLMs • Why Excel is his 2nd favorite programming language Where to watch: • YouTube - • Spotify - • Apple Podcasts - • Transcript - Thank you to the sponsor of this episode for supporting my work: • WorkOS: makes your app Enterprise Ready with easy to use APIs to add SSO, SCIM, RBAC, and more in just a few lines of code, check them out at Chapters: 00:00 - Intro 00:39 - What functional programming is 09:18 - Downsides of functional programming 10:53 - Specialized hardware for functional programming 21:47 - Haskell is useless 25:59 - Rust vs C 28:26 - Haskell vs OCaml 35:26 - Side effects in Haskell 44:26 - Type systems 57:30 - How the Haskell compiler works 01:04:35 - Why Haskell is talked about more than used 01:09:07 - Avoiding success at all costs 01:11:12 - LLMs and programming languages 01:13:57 - New programming language design 01:15:59 - Should students continue to learn programming 01:22:33 - Why Excel is is 2nd favorite programming language 01:25:04 - Advice for his younger self

Simon Peyton Jones is the co-creator of Haskell (pure functional programming language) and I interviewed him about functional programming, why it matters, and his thoughts on other programming languages. In this episode: • Useful and useless programming languages • Rust vs C • Haskell vs OCaml • Why functional programming matters • Static languages and their value for LLMs • Why Excel is his 2nd favorite programming language Where to watch: • YouTube - • Spotify - • Apple Podcasts - • Transcript - Thank you to the sponsor of this episode for supporting my work: • WorkOS: makes your app Enterprise Ready with easy to use APIs to add SSO, SCIM, RBAC, and more in just a few lines of code, check them out at Chapters: 00:00 - Intro 00:39 - What functional programming is 09:18 - Downsides of functional programming 10:53 - Specialized hardware for functional programming 21:47 - Haskell is useless 25:59 - Rust vs C 28:26 - Haskell vs OCaml 35:26 - Side effects in Haskell 44:26 - Type systems 57:30 - How the Haskell compiler works 01:04:35 - Why Haskell is talked about more than used 01:09:07 - Avoiding success at all costs 01:11:12 - LLMs and programming languages 01:13:57 - New programming language design 01:15:59 - Should students continue to learn programming 01:22:33 - Why Excel is is 2nd favorite programming language 01:25:04 - Advice for his younger self

Ryan Peterman

128,845 görüntüleme • 4 ay önce

Steven Sinofsky on why Jev fixes his oldest complaint about AI: natural language was never an efficient interface. "Ask yourself how many people are really, really good at asking questions. Less than half the people can ask a good question in a meeting." "And then how often do you look at the answer and get really frustrated before it's finished, but you have to pay all this money to watch the seven paragraphs come out...?" "My favorite is the output of it is designed for probabilistic programming." "Instead of saying, 'Is this a customer service question? Then route to customer service, otherwise route to general help desk,' it's, 'This is 80% customer service.' That's exactly simulation." "There's 50 years of computer science research in literally probabilistic if statements. Suddenly the coolest place to be in computer science is gonna be probabilistic programming, which was all of computer science in the 1960s and '70s." "This is not all new. It's gonna be very interesting to dust off all of that work, because it's exactly what's going on. An if statement now is if X percent, not if always." "The way that Jev works is it's a custom programming language almost, which is: here's the prompt, come back with a percentage. And then you put that in the if statement." Steven Sinofsky

Steven Sinofsky on why Jev fixes his oldest complaint about AI: natural language was never an efficient interface. "Ask yourself how many people are really, really good at asking questions. Less than half the people can ask a good question in a meeting." "And then how often do you look at the answer and get really frustrated before it's finished, but you have to pay all this money to watch the seven paragraphs come out...?" "My favorite is the output of it is designed for probabilistic programming." "Instead of saying, 'Is this a customer service question? Then route to customer service, otherwise route to general help desk,' it's, 'This is 80% customer service.' That's exactly simulation." "There's 50 years of computer science research in literally probabilistic if statements. Suddenly the coolest place to be in computer science is gonna be probabilistic programming, which was all of computer science in the 1960s and '70s." "This is not all new. It's gonna be very interesting to dust off all of that work, because it's exactly what's going on. An if statement now is if X percent, not if always." "The way that Jev works is it's a custom programming language almost, which is: here's the prompt, come back with a percentage. And then you put that in the if statement." Steven Sinofsky

a16z

148,850 görüntüleme • 1 ay önce

English is our best export. Department of State supports English language programs in places like the Domenico Americano School where students are learning English to open new doors and create even greater opportunities for themselves.

English is our best export. Department of State supports English language programs in places like the Domenico Americano School where students are learning English to open new doors and create even greater opportunities for themselves.

Secretary Antony Blinken

239,655 görüntüleme • 1 yıl önce

Freepik is now Magnific One platform to rewrite the rules of creativity

Freepik is now Magnific One platform to rewrite the rules of creativity

Magnific

1,004,851 görüntüleme • 6 ay önce

Yann LeCun says LLMs are strongest in domains where language itself is the substrate of reasoning, like math and code They can solve problems, prove theorems, and write programs — but they are not creative mathematicians, software architects, or computer scientists "their role is to help humans build"

Yann LeCun says LLMs are strongest in domains where language itself is the substrate of reasoning, like math and code They can solve problems, prove theorems, and write programs — but they are not creative mathematicians, software architects, or computer scientists "their role is to help humans build"

Haider.

348,119 görüntüleme • 5 ay önce

AI development is increasingly centralised. Gensyn is building an open protocol for machine intelligence - where verifiable AI training, inference, evaluation, and payments can be performed on any device, not just large clusters.

AI development is increasingly centralised. Gensyn is building an open protocol for machine intelligence - where verifiable AI training, inference, evaluation, and payments can be performed on any device, not just large clusters.

gensyn

88,014 görüntüleme • 10 ay önce

A game where some players — not all — are on their knees. Why introduce this constraint? What benefits does it create? What objectives can it target? Changing the rules changes the game — and reveals new behaviours. 👉 What do you see as the main benefit of this constraint?

A game where some players — not all — are on their knees. Why introduce this constraint? What benefits does it create? What objectives can it target? Changing the rules changes the game — and reveals new behaviours. 👉 What do you see as the main benefit of this constraint?

⚽️Pedro Mendonça🧠

19,626 görüntüleme • 9 ay önce

Is Rust the least secure programming language? There was yet *another* massive Rust security failure... and nobody seemed surprised. Most Rust activists simply shrugged at the normalcy of it. Considering the frequency and severity of malicious code being added to the Rust Crates ecosystem... is it the least secure programming language toolchain?

Is Rust the least secure programming language? There was yet another massive Rust security failure... and nobody seemed surprised. Most Rust activists simply shrugged at the normalcy of it. Considering the frequency and severity of malicious code being added to the Rust Crates ecosystem... is it the least secure programming language toolchain?

The Lunduke Journal

18,898 görüntüleme • 2 ay önce

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

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

Extraordinary

18,360 görüntüleme • 7 ay önce

SQLite is a masterclass in a library design. It shows how projects of even huge complexity can be very simple and unobtrusive to use. You can learn a lot from them if you are library author, regardless of programming language.

SQLite is a masterclass in a library design. It shows how projects of even huge complexity can be very simple and unobtrusive to use. You can learn a lot from them if you are library author, regardless of programming language.

Valentin Ignatev

125,595 görüntüleme • 7 ay önce

"so this is fun, and exactly what i wanted, but now lets try one that actually is educational" This is actually pretty impressive. It kept the constraint of multiple genres but did a nice job explaining recursion, in its programming meaning, in an interesting and accessible way.

"so this is fun, and exactly what i wanted, but now lets try one that actually is educational" This is actually pretty impressive. It kept the constraint of multiple genres but did a nice job explaining recursion, in its programming meaning, in an interesting and accessible way.

Ethan Mollick

32,471 görüntüleme • 1 ay önce

I built the first implementation of Minecraft in Brainf*ck (a programming language where the only instructions are ><+-.,[]). 12 million lines of Brainf*ck, that is. It runs terrain generation, block physics, player movement, gravity, jumping, combat, mob AI, inventory, a day/night cycle, and its own renderer. All in Brainf*ck.

I built the first implementation of Minecraft in Brainfck (a programming language where the only instructions are ><+-.,[]). 12 million lines of Brainfck, that is. It runs terrain generation, block physics, player movement, gravity, jumping, combat, mob AI, inventory, a day/night cycle, and its own renderer. All in Brainf*ck.

spicylemonade

68,590 görüntüleme • 6 ay önce

Is a passport proof of citizenship or merely a travel document? Different countries have different rules. Madhavdas G. explains where passports are treated as proof of citizenship—and where they aren't.

Is a passport proof of citizenship or merely a travel document? Different countries have different rules. Madhavdas G. explains where passports are treated as proof of citizenship—and where they aren't.

TIMES NOW

11,309 görüntüleme • 4 ay önce

We say training is simple, yet I continue to be told by my collegiate athletes yearly their programs look like “3x10 of every lift” year-round. Programming to build and improve athleticism is a skill and takes a coach’s eye.

We say training is simple, yet I continue to be told by my collegiate athletes yearly their programs look like “3x10 of every lift” year-round. Programming to build and improve athleticism is a skill and takes a coach’s eye.

Jeremy Toohey

26,816 görüntüleme • 1 yıl önce