正在加载视频...

视频加载失败

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

What does it mean for something to be Turing complete? I answer this question with a series of interactive Turing machine simulations! Play, pause, step forwards and backwards, and even write your own Turing machine programs in my latest blog post.

Sam Rose

19,687 subscribers

67,106 次观看 • 1 年前 •via X (Twitter)

科学技术教育

Anya Rossi• Live Now

Private livecam show

11 条评论

Sam Rose 的头像

Sam Rose1 年前

This might be the fastest any of my posts has ever made it onto HN 😅

Sam Rose 的头像

Sam Rose1 年前

The orange website is very confusing. This was not posted 2 hours ago. I’m not complaining, though 😅

Places Visited & Pictures Taken 的头像

Places Visited & Pictures Taken2 年前

Wondering what happens when AI is used? Here’s the answer 🙂

Sam Rose 的头像

Sam Rose1 年前

As always, the code for all of my visual / interactive blog posts can be found at For this post I included source maps, so if you view the code in your browser dev tools you should also see the original code instead of the minified version.

Aaron Francis 的头像

Aaron Francis1 年前

You madman you've done it again

Sam Rose 的头像

Sam Rose1 年前

This post is everything, man. I've poured everything I have into this one. I'm so proud of it.

nolen 的头像

nolen1 年前

it's outttt

Sam Rose 的头像

Sam Rose1 年前

I kinda feel like crying tbh.

Danilo Leal 的头像

Danilo Leal1 年前

beautiful work! so inspiring. interactive, learning-driven posts are one of the most amazing things on the internet

Sam Rose 的头像

Sam Rose1 年前

Thank you, Danilo 😁

🆁🅾🅼🅰🅽 z SolvAI 的头像

🆁🅾🅼🅰🅽 z SolvAI1 年前

@ChomatekLukasz

相关视频

Turing and Godel were replying to one of the questions that David Hilbert had asked in 1900. Turing and Godel both addressed the problem and got the right answer. Turing was focused on what could be done by a physical object... Godel was focused on what can't be done by any physical object. ~Conjecture Institute Advisor David Deutsch with Gad Saad

Turing and Godel were replying to one of the questions that David Hilbert had asked in 1900. Turing and Godel both addressed the problem and got the right answer. Turing was focused on what could be done by a physical object... Godel was focused on what can't be done by any physical object. ~Conjecture Institute Advisor David Deutsch with Gad Saad

Conjecture Institute

22,260 次观看 • 2 个月前

David Deutsch says all computation from humans to LLMs shares the same fundamental power: the universal Turing machine The difference is only in programs and outputs. But AGI is different; we don't even understand it in principle. "so the true sign would be a theory, not a machine"

David Deutsch says all computation from humans to LLMs shares the same fundamental power: the universal Turing machine The difference is only in programs and outputs. But AGI is different; we don't even understand it in principle. "so the true sign would be a theory, not a machine"

Haider.

11,720 次观看 • 10 个月前

Genius Group welcomes new Chief AI Officer, Alan Turing - resurrected after 70 years. I believe $GNS is the 1st US public listed company to appoint an #AI to its C-Suite (Although Elon Musk at Tesla may be part-AI already). Will all companies have AIs on their Board & Exec teams in the coming years? Alan's first white paper "Preparing for a Post Turing Test World" is a mindblowing read with his new 'Super Turing Test' for AGI. You can read it and chat to Alan AI here: and Alan Turing #AI #AIRevolution #GeniusGroup #AlanTuring #MagnificentSeven $TSLA $META $NVDA $MSFT $AAPL $GOOGL $AMZN

Genius Group welcomes new Chief AI Officer, Alan Turing - resurrected after 70 years. I believe $GNS is the 1st US public listed company to appoint an #AI to its C-Suite (Although Elon Musk at Tesla may be part-AI already). Will all companies have AIs on their Board & Exec teams in the coming years? Alan's first white paper "Preparing for a Post Turing Test World" is a mindblowing read with his new 'Super Turing Test' for AGI. You can read it and chat to Alan AI here: and Alan Turing #AI #AIRevolution #GeniusGroup #AlanTuring #MagnificentSeven $TSLA $META $NVDA $MSFT $AAPL $GOOGL $AMZN

Roger James Hamilton

1,763,137 次观看 • 2 年前

Brand New Result Proving Penrose & Tao's Uncomputability in Physics! Mathematician Eva Miranda returns with a groundbreaking new result: a real physical system (fluid motion) has been proven to be Turing-complete. This means some fluid paths are logically undecidable. In this mind-bending episode, she walks us through the implications for chaos theory, the Navier-Stokes equations, and uncomputability in nature, confirming long-held suspicions of thinkers like Roger Penrose and Terence Tao. Featuring rubber ducks, Alan Turing, and the limits of knowledge itself.

Curt Jaimungal

37,069 次观看 • 1 年前

Leslie Lamport (Turing Award Winner, Inventor of Paxos & Latex): "I would meet with Dijkstra once a week. When he thought of something, had some idea, he would write it down and send it out to people. He sent the first concurrent garbage collection algorithm. I looked at it, and I realized that I could simplify the algorithm. That seemed to me like a very simple idea, a very obvious idea. And I sent it to him, and then I got the next version of the paper. I discovered he had made me an author, and that had actually impressed Dijkstra. The reason for my success, the reason I wound up getting a Turing Award, was not that I was particularly that smart, but that I had this gift of abstraction, and Dijkstra was smart enough to realize that."

Leslie Lamport (Turing Award Winner, Inventor of Paxos & Latex): "I would meet with Dijkstra once a week. When he thought of something, had some idea, he would write it down and send it out to people. He sent the first concurrent garbage collection algorithm. I looked at it, and I realized that I could simplify the algorithm. That seemed to me like a very simple idea, a very obvious idea. And I sent it to him, and then I got the next version of the paper. I discovered he had made me an author, and that had actually impressed Dijkstra. The reason for my success, the reason I wound up getting a Turing Award, was not that I was particularly that smart, but that I had this gift of abstraction, and Dijkstra was smart enough to realize that."

Ryan Peterman

172,061 次观看 • 3 个月前

What does it mean to be a man? Joby Martin points to the answer, and it's in your Bible.

What does it mean to be a man? Joby Martin points to the answer, and it's in your Bible.

Family Goals Podcast

34,269 次观看 • 6 个月前

Satya Nadella on why Microsoft Excel has been so durable after 40 years: > the power of lists and tables > the malleability of the software (“a blinking canvas”) > spreadsheet software is Turing complete (“I can make it do everything”) > it’s the world’s most approachable programming environment (“you get into it without even thinking your programming”)

Satya Nadella on why Microsoft Excel has been so durable after 40 years: > the power of lists and tables > the malleability of the software (“a blinking canvas”) > spreadsheet software is Turing complete (“I can make it do everything”) > it’s the world’s most approachable programming environment (“you get into it without even thinking your programming”)

Trung Phan

2,262,792 次观看 • 8 个月前

New Blog Post!! It's one of those set ups that was so simple I was a little annoyed that I hadn't ever done something like this earlier. I finally finished up a blog post about the Newton's Law Blocks complete with videos and designs to make your own. 😎

Sensitive content

New Blog Post!! It's one of those set ups that was so simple I was a little annoyed that I hadn't ever done something like this earlier. I finally finished up a blog post about the Newton's Law Blocks complete with videos and designs to make your own. 😎

Joe Cossette

36,722 次观看 • 2 年前

Sam Altman: "The Turing test sort of went whooshing by, which seemed long impossible ( it as this most important test of AI for a long time)", and after a week, everyone took it for granted. The next step: The next big step: AI that conducts science independently, and we are already seeing the first discoveries! Sam Altman's AGI moment, so to speak.

Sam Altman: "The Turing test sort of went whooshing by, which seemed long impossible ( it as this most important test of AI for a long time)", and after a week, everyone took it for granted. The next step: The next big step: AI that conducts science independently, and we are already seeing the first discoveries! Sam Altman's AGI moment, so to speak.

Chubby♨️

47,818 次观看 • 9 个月前

Anthropic co-founder Ben Mann has the clearest definition of AGI I've heard, which he calls The Economic Turing Test: "If you contract an agent for 1-3 months on a particular job and it turns out to be a machine rather than a person, then it's passed the Economic Turing Test for that role. And if the agent can pass that test for 50% of money-weighted jobs, then we have transformative AI. If we pass that threshold, then we would expect massive effects on world GDP increases, and societal change, and the number of people that are employed once these things are possible. That's the start of a new era."

Anthropic co-founder Ben Mann has the clearest definition of AGI I've heard, which he calls The Economic Turing Test: "If you contract an agent for 1-3 months on a particular job and it turns out to be a machine rather than a person, then it's passed the Economic Turing Test for that role. And if the agent can pass that test for 50% of money-weighted jobs, then we have transformative AI. If we pass that threshold, then we would expect massive effects on world GDP increases, and societal change, and the number of people that are employed once these things are possible. That's the start of a new era."

Lenny Rachitsky

56,554 次观看 • 1 年前

I built a new thing arxival [dot] xyz it's a search engine for machine learning papers. ask any question related to ml and it will answer with citations and figures!

I built a new thing arxival [dot] xyz it's a search engine for machine learning papers. ask any question related to ml and it will answer with citations and figures!

rohit

173,569 次观看 • 1 年前

ElevenLabs CEO Mati Staniszewski says we may pass the Turing Test for AI speech this year. Soon after, you'll speak any language, in your own voice, tone, and emotion, and be understood. Maybe it comes through Neuralink. Like the Babel Fish in Hitchhiker's Guide. But real. The universal translator is coming and the cultural shift it brings is wildly under-hyped.

ElevenLabs CEO Mati Staniszewski says we may pass the Turing Test for AI speech this year. Soon after, you'll speak any language, in your own voice, tone, and emotion, and be understood. Maybe it comes through Neuralink. Like the Babel Fish in Hitchhiker's Guide. But real. The universal translator is coming and the cultural shift it brings is wildly under-hyped.

vitrupo

46,001 次观看 • 1 年前

What does it mean to invest in a nation? 1789Capital answers this question with Donald Trump Jr. and Richard Attias and Associates

What does it mean to invest in a nation? 1789Capital answers this question with Donald Trump Jr. and Richard Attias and Associates

Omeed Malik

107,554 次观看 • 3 个月前

Inspired by this tweet, I built my own locally running typing assistant with Ollama and Mistral 7B. It only took ~100 lines of Python code and works really well! I also created a video with step-by-step explanations: - Code: - Blog post: - Coding tutorial:

Inspired by this tweet, I built my own locally running typing assistant with Ollama and Mistral 7B. It only took ~100 lines of Python code and works really well! I also created a video with step-by-step explanations: - Code: - Blog post: - Coding tutorial:

Patrick Loeber

161,584 次观看 • 2 年前

"I write a song when my head is so stuck in a situation or messed up that I have to write it down to get it out, and I have to make something good out of something bad which is what I did with this album."

"I write a song when my head is so stuck in a situation or messed up that I have to write it down to get it out, and I have to make something good out of something bad which is what I did with this album."

Amy Winehouse

30,031 次观看 • 6 个月前

My Amiga 500 port of Zippy Race is almost complete. It never released for the machine and it's a perfect game for the OCS machine. I love developing games for the Amiga. More to come soon!

My Amiga 500 port of Zippy Race is almost complete. It never released for the machine and it's a perfect game for the OCS machine. I love developing games for the Amiga. More to come soon!

MVG

33,279 次观看 • 3 个月前

Created a simple solution to what I thought would be a complex problem. can now write in your own style. All you have to do is select the latest style preset I added, and replace the placeholder with a few paragraphs of your own writing.

Created a simple solution to what I thought would be a complex problem. can now write in your own style. All you have to do is select the latest style preset I added, and replace the placeholder with a few paragraphs of your own writing.

Louis Pereira

14,958 次观看 • 3 年前

Demis Hassabis ans the question "Why not make an alternate AI that works in synchrony with humans instead of trying to replace human intelligence?" He says AGI isn’t about replacing humans project—it’s a science question about what counts as truly general computation, plus an economics reality. The brain is our only known roughly Turing-like machine, so “general intelligence” means that level of flexibility. Companies chase it because general tools cheaply transfer everywhere, "generality" wins because it scales better --- From 'Varun Mayya' YT channel (link in comment)

Demis Hassabis ans the question "Why not make an alternate AI that works in synchrony with humans instead of trying to replace human intelligence?" He says AGI isn’t about replacing humans project—it’s a science question about what counts as truly general computation, plus an economics reality. The brain is our only known roughly Turing-like machine, so “general intelligence” means that level of flexibility. Companies chase it because general tools cheaply transfer everywhere, "generality" wins because it scales better --- From 'Varun Mayya' YT channel (link in comment)

Rohan Paul

32,825 次观看 • 2 个月前

Yann LeCun just raised $1.03 billion to build what comes after LLMs. Then he spent 4 hours explaining why: "There's literally hundreds of billions invested in an industry that is basically counting on the fact that LLMs is going to reach human level intelligence. It's complete bull shit." 1:03:40 00:00 - why machine learning still sucks, in his words 57:02 - what actually comes after LLMs 1:42:34 - what he's building at AMI Labs instead 2:43:08 - JEPA, and the road to human-level AI A Turing laureate who ran Meta's AI for 12 years, backed by Bezos and NVIDIA. Bookmark this & watch it before your feed starts repeating it.

Yann LeCun just raised $1.03 billion to build what comes after LLMs. Then he spent 4 hours explaining why: "There's literally hundreds of billions invested in an industry that is basically counting on the fact that LLMs is going to reach human level intelligence. It's complete bull shit." 1:03:40 00:00 - why machine learning still sucks, in his words 57:02 - what actually comes after LLMs 1:42:34 - what he's building at AMI Labs instead 2:43:08 - JEPA, and the road to human-level AI A Turing laureate who ran Meta's AI for 12 years, backed by Bezos and NVIDIA. Bookmark this & watch it before your feed starts repeating it.

Phosphen

26,937 次观看 • 10 天前

Scott Pelley: "Does the Unites States have your back?" Volodymyr Zelenskyy: *long pause* "Even in this pause of mine, there's a problem because I want to answer truthfully and quickly that the United States is our strategic strong partner, but the pause is doubt."

Scott Pelley: "Does the Unites States have your back?" Volodymyr Zelenskyy: long pause "Even in this pause of mine, there's a problem because I want to answer truthfully and quickly that the United States is our strategic strong partner, but the pause is doubt."

Blue Georgia

491,817 次观看 • 1 年前