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

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

На главную

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

algoritmic's profile picture

algoritmic

37,746 subscribers

171,050 просмотров • 1 год назад •via X (Twitter)

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

Anya Rossi• Live Now

Private livecam show

Комментарии: 10

Фото профиля Henning Sittler
Henning Sittler1 год назад

Odd to rule odds?

Фото профиля π
π1 год назад

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

Фото профиля Ovelha Negra
Ovelha Negra1 год назад

now this is magic.

Фото профиля Tom Blackwell
Tom Blackwell1 год назад

This is so cool

Фото профиля nk
nk1 год назад

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🏎️
ELO🏎️1 год назад

So Prolog?

Фото профиля ENTEROUT
ENTEROUT1 год назад

🔥

Фото профиля Fedor F Kamenets
Fedor F Kamenets1 год назад

боже

Фото профиля π
π1 год назад

💯💯💯💯💯

Фото профиля turnt🌑ff
turnt🌑ff1 год назад

Invade my brain 👾

Похожие видео

They are programming computer code. Each weave through a magnetic core is a “1”. These computer programs got us to space.
0:27

They are programming computer code. Each weave through a magnetic core is a “1”. These computer programs got us to space.

Brian Roemmele

35,844 просмотров • 8 месяцев назад

Ember is turning interpretability into neural programming. “Language models will deny they're conscious, but if you do brain surgery and turn up their consciousness neurons, they change their tune.” $50M raised to decode and rewrite the mind of AI itself.
0:57

Ember is turning interpretability into neural programming. “Language models will deny they're conscious, but if you do brain surgery and turn up their consciousness neurons, they change their tune.” $50M raised to decode and rewrite the mind of AI itself.

vitrupo

11,346 просмотров • 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.”
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

24,729 просмотров • 5 месяцев назад

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

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

Libs of TikTok

708,776 просмотров • 2 лет назад

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
1:27:52

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

127,721 просмотров • 1 месяц назад

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

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,259 просмотров • 1 год назад

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

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.

347,615 просмотров • 2 месяцев назад

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

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

87,979 просмотров • 7 месяцев назад

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?
0:44

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

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.
11:42

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

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.
1:30

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.

spicylemonade

68,590 просмотров • 3 месяцев назад

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

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

Wow! He nails it and this is where we are today. Keep fighting. Language alert.
2:10

Wow! He nails it and this is where we are today. Keep fighting. Language alert.

SweetPeaBelle

42,552 просмотров • 3 лет назад

Children's programs like Sesame Street and Bill Nye the Science Guy are vital, free educational programming accessible to every American child. They wouldn't be possible without the funding of the Corporation for Public Broadcasting. But this is what the GOP is doing.
1:55

Children's programs like Sesame Street and Bill Nye the Science Guy are vital, free educational programming accessible to every American child. They wouldn't be possible without the funding of the Corporation for Public Broadcasting. But this is what the GOP is doing.

Rep. Dan Goldman

15,358 просмотров • 1 год назад

What is AI inference engineering, why is it such an in-demand skill, and how do you break into the field? With author of Inference Engineering Philip Kiely and head of training at Baseten Charlie O'Neill 0:00: What is inference? 2:47: History of inference 4:59: Downstream effects of AI research on inference 13:54: What you'll learn from Inference Engineering 16:14: Advice for engineers transitioning into AI 19:00: Open source models driving inference growth 20:55: Specialization vs. frontier closed models 23:51: "Big Token" and the importance of open source AI 27:18: Where to get Inference Engineering
27:58

What is AI inference engineering, why is it such an in-demand skill, and how do you break into the field? With author of Inference Engineering Philip Kiely and head of training at Baseten Charlie O'Neill 0:00: What is inference? 2:47: History of inference 4:59: Downstream effects of AI research on inference 13:54: What you'll learn from Inference Engineering 16:14: Advice for engineers transitioning into AI 19:00: Open source models driving inference growth 20:55: Specialization vs. frontier closed models 23:51: "Big Token" and the importance of open source AI 27:18: Where to get Inference Engineering

Madison Kanna

119,268 просмотров • 4 месяцев назад

Cursor CEO Michael Truell: Programming in the future might not mean programming with an AI helper, but in a new language entirely. "There is a future version of the world where the way you interact with AI is a little bit less like it's a human helper that you're delegating work to... and instead, it's a little bit more of an advance in compiler or interpreter technology." "It can lead you to a world where programming languages actually change. They can start to be a little bit more about what you want and a little bit less about how you do it." "There is a world where direct manipulation of the UI starts to play a little bit more into it." Michael Truell with Patrick Collison
1:25

Cursor CEO Michael Truell: Programming in the future might not mean programming with an AI helper, but in a new language entirely. "There is a future version of the world where the way you interact with AI is a little bit less like it's a human helper that you're delegating work to... and instead, it's a little bit more of an advance in compiler or interpreter technology." "It can lead you to a world where programming languages actually change. They can start to be a little bit more about what you want and a little bit less about how you do it." "There is a world where direct manipulation of the UI starts to play a little bit more into it." Michael Truell with Patrick Collison

a16z

92,602 просмотров • 5 месяцев назад

The Power of Femdom 👑 It’s the ultimate power shift. Femdom isn't just about control; it's a mutual rewrite of authority where her commands are law, and his absolute surrender is the only option.
21:16

Sensitive content

The Power of Femdom 👑 It’s the ultimate power shift. Femdom isn't just about control; it's a mutual rewrite of authority where her commands are law, and his absolute surrender is the only option.

REAL BDSM

102,328 просмотров • 1 месяц назад

Another example of the multiple TTS parallel pipelines pattern. Here's a voice AI agent that speaks both English and Arabic, using a specific model/voice for each language. These are PlayAI voices. The STT, TTS, and LLM inference is all running on Groq Inc. (The LLM is LLama 4 Maverick.)
1:26

Another example of the multiple TTS parallel pipelines pattern. Here's a voice AI agent that speaks both English and Arabic, using a specific model/voice for each language. These are PlayAI voices. The STT, TTS, and LLM inference is all running on Groq Inc. (The LLM is LLama 4 Maverick.)

kwindla

13,401 просмотров • 1 год назад