#turingcomplete — Public Fediverse posts

I thought this was quite fun: https://buttondown.com/hillelwayne/archive/vim-is-turing-complete/
#Vim #TuringComplete

I thought this was quite fun: https://buttondown.com/hillelwayne/archive/vim-is-turing-complete/
#Vim #TuringComplete

Can’t say I’m surprised. Saying that something is secretly Turing complete feels weird, I doubt it was a devious plan, systems just end up being Turing complete.

Also this is not a problem with Unicode but with a transliteration system.

#icu #turingcomplete

https://hackernoon.com/unicode-transliteration-rules-are-secretly-turing-complete

Can’t say I’m surprised. Saying that something is secretly Turing complete feels weird, I doubt it was a devious plan, systems just end up being Turing complete.

Also this is not a problem with Unicode but with a transliteration system.

#icu #turingcomplete

https://hackernoon.com/unicode-transliteration-rules-are-secretly-turing-complete

Unicode's transliteration rules are Turing-complete

https://seriot.ch/computation/uts35/

Comments: https://news.ycombinator.com/item?id=48829797

#HackerNews #Unicode #TuringComplete #transliteration #rules #programming #language #computation

Unicode's transliteration rules are Turing-complete

https://seriot.ch/computation/uts35/

Comments: https://news.ycombinator.com/item?id=48829797

#HackerNews #Unicode #TuringComplete #transliteration #rules #programming #language #computation

(quoting myself, from the article, slightly edited)

Seriously, we all need to just chill out and wasting money on these agentic AI loops to generate slop code. The invention of the LLM did not settle the question of whether or not all NP class problems are in the set of P class problems.

By all means, keep using your AI coding assistants to help you write software, if it makes you more productive. But you still need to provide a lot of guidance to the AI assistant to ensure the code that was written was correct. Don’t let it get into a loop trying to solve an NP-Complete coding challenge. And please, at least attempt to make it a little more efficient before you have other people start using it.

I wanted to write this article because of a discussion I had with my friends recently about how, in my experience, although AI coding assistants can write SQL code very well, they tend to have a lot of trouble crafting SQL schemas, because relational logic is a very hard thing to do for both computers and humans. And then I read this excellent article by Ed Zitron about people trying to solve these hard problems with “Agentic AI Loops”, that is, feeding LLM output into another LLM some number of times. So I want to explain why using Agentic Loops does not make hard problems easier to solve. In fact it is probably a bad idea to write large software applications with Agentic AI Loops, generally a very bad idea.

We are scheduled to discuss this article on the Lispy Gopher Climate podcast tomorrow.

(alternate link: https://ramin-honary.neocities.org/articles/the-hard-limits-of-ai)

#tech #AI #LLM #LLMs #ComplexityTheory #ComputerMath #Math #TuringComplete #NPComplete #LispyGopherClimate

(quoting myself, from the article, slightly edited)

Seriously, we all need to just chill out and wasting money on these agentic AI loops to generate slop code. The invention of the LLM did not settle the question of whether or not all NP class problems are in the set of P class problems.

By all means, keep using your AI coding assistants to help you write software, if it makes you more productive. But you still need to provide a lot of guidance to the AI assistant to ensure the code that was written was correct. Don’t let it get into a loop trying to solve an NP-Complete coding challenge. And please, at least attempt to make it a little more efficient before you have other people start using it.

I wanted to write this article because of a discussion I had with my friends recently about how, in my experience, although AI coding assistants can write SQL code very well, they tend to have a lot of trouble crafting SQL schemas, because relational logic is a very hard thing to do for both computers and humans. And then I read this excellent article by Ed Zitron about people trying to solve these hard problems with “Agentic AI Loops”, that is, feeding LLM output into another LLM some number of times. So I want to explain why using Agentic Loops does not make hard problems easier to solve. In fact it is probably a bad idea to write large software applications with Agentic AI Loops, generally a very bad idea.

We are scheduled to discuss this article on the Lispy Gopher Climate podcast tomorrow.

(alternate link: https://ramin-honary.neocities.org/articles/the-hard-limits-of-ai)

#tech #AI #LLM #LLMs #ComplexityTheory #ComputerMath #Math #TuringComplete #NPComplete #LispyGopherClimate

Jira Is Turing-Complete

https://seriot.ch/computation/jira.html

#HackerNews #Jira #TuringComplete #softwaredevelopment #technews #computation

Jira Is Turing-Complete

https://seriot.ch/computation/jira.html

#HackerNews #Jira #TuringComplete #softwaredevelopment #technews #computation

🚀🎩 Behold, the miraculous 7-line wonder that lets you toss together a Turing-complete #language in less time than it takes to microwave your leftover pizza! 🤯🥧 Who knew that the secret to computational enlightenment was simply reading the cliff notes of #SICP while pretending real-world programming languages aren't like, a thing. 🙄📖
https://matt.might.net/articles/implementing-a-programming-language/ #TuringComplete #ProgrammingInnovation #QuickDevelopment #HackerNews #ngated

🚀🎩 Behold, the miraculous 7-line wonder that lets you toss together a Turing-complete #language in less time than it takes to microwave your leftover pizza! 🤯🥧 Who knew that the secret to computational enlightenment was simply reading the cliff notes of #SICP while pretending real-world programming languages aren't like, a thing. 🙄📖
https://matt.might.net/articles/implementing-a-programming-language/ #TuringComplete #ProgrammingInnovation #QuickDevelopment #HackerNews #ngated

TTF-DOOM: как я запустил 3D-рейкастер внутри TrueType-шрифта

Каждый, кто хоть раз заглядывал на Hacker News или r/ItRunsDoom, знает традицию: DOOM должен работать на всём. PDF-файлы, SQL-запросы, кишечные бактерии, тест на беременность - список бесконечен, и каждый новый порт абсурднее предыдущего Но я задался вопросом: а можно ли запустить DOOM внутри шрифта? Оказалось, что можно. И вот как.

https://habr.com/ru/articles/1020668/

#doom #truetype #font #raycasting #hinting #javascript #creative_coding #turingcomplete #байткод #компилятор

So #Timberborn now has logical gates, called relays, memory, input and output. Does this mean it is now #TuringComplete?

https://fed.brid.gy/r/https://bsky.app/profile/did:plc:m5dcinlrpxq6rm2uficksxp7/post/3mg5ocdz6qx2e Timberborn devs announce automation is coming to the city-builder in the 1.0 release
#CityBuilder

Фотонный проц на одной инструкции: как Akhetonics строит комп из чистого света. И почему это куда сложнее, чем кажется

Представьте, что вы читаете громкий заголовок: «Самая простая Turing‑complete архитектура SUBLEQ (всего одна инструкция!) и реализовали её на фотонных логических вентилях». Звучит как настоящий прорыв из научной фантастики — один‑единственный тип команды, и вот уже у нас полноценный универсальный компьютер, работающий на скорости света, без кремния, без транзисторов, с терагерцевыми частотами и энергопотреблением в разы ниже. Но если копнуть глубже, сразу вылезают два больших «но». Первое — SUBLEQ действительно может быть Turing‑полной, но только при очень конкретных условиях. Второе — реализовать даже такую «простую» архитектуру на настоящих фотонных вентилях в железе оказывается совсем не тривиальной задачей. И именно об этом мы сегодня поговорим подробно, без хайпа, но и без излишнего скепсиса. Эта статья — разбор реальной истории, которая происходит прямо сейчас, в 2026 году. Немецкий стартап Akhetonics из Мюнхена всерьёз взялся за all‑optical general‑purpose processor и выбрал для доказательства концепции именно SUBLEQ. Мы пройдёмся по всем нюансам: от теории одной инструкции до проблем фотонной памяти, от лабораторных прототипов до того, почему чистый SUBLEQ, скорее всего, останется красивым PoC, а в реальном продукте придётся расширять набор команд. Готовы? Поехали. Полетели!

https://habr.com/ru/articles/1003266/

#фотонный_процессор #SUBLEQ #Akhetonics #оптические_вычисления #OISC #Turingcomplete #фотонная #alloptical_logic #кремниевая_фотоника #универсальный_процессор

Похоже, мы на пороге вычислительной революции. Благодаря фотонным процессорам. Почему об этом так мало говорят на Хабре?

Привет, хабр! Представьте на секунду: огромный дата-центр где-то в Вирджинии или во Франкфурте. Вместо привычного рёва вентиляторов и жара, от которого плавится воздух, - почти полная тишина. Только лёгкое, едва заметное свечение внутри стоек. Миллиарды фотонов летят по кремниевым волноводам, выполняют триллионы операций в секунду и при этом почти не греются. GPU, которые раньше жрали по 700 ватт и требовали жидкостного охлаждения, теперь выглядят как динозавры. Мы стоим на пороге настоящей революции в вычислениях - такой же масштабной, как переход от электронных ламп к транзисторам или от HDD к SSD. И вот что странно: об этом почти не говорят на Хабре. Пару-тройку новостей в год, редкие комментарии «ну круто, посмотрим через пять лет». Почему? Может, потому что тема кажется слишком «футуристичной»? Или потому что большинство статей пишут маркетологи компаний, а не те, кто реально копается в физике и архитектуре? Не знаю. Но сегодня я решил исправить эту несправедливость. Разберём по-человечески, что уже происходит в 2026 году, кто реально делает железо, какие барьеры ещё стоят и когда мы наконец увидим настоящий all-optical компьютер.

https://habr.com/ru/articles/1002458/

#Фотонные_процессоры #Фотоника #Lightmatter #QANT #Akhetonics #Энергоэффективность #Датацентры #Оптические_вычисления #Turingcomplete #Alloptical_CPU

@sgued @notgull

According to the following proof by @veykril, Rust's decl macros _are_ Turing-complete!

The Little Book of Rust Macros:
https://lukaswirth.dev/tlborm/decl-macros/minutiae/turing-completeness.html

Also a somewhat related blog post by Shea Leffler, who proofs Rust's type system is Turing-complete by implementing another Turing-complete language (Smallfuck) with its type system:
https://sdleffler.github.io/RustTypeSystemTuringComplete/

⚠️ I haven't verified any of this!

#Rust #RustLang #TuringComplete #RustMacro

@sgued @notgull

According to the following proof by @veykril, Rust's decl macros _are_ Turing-complete!

The Little Book of Rust Macros:
https://lukaswirth.dev/tlborm/decl-macros/minutiae/turing-completeness.html

Also a somewhat related blog post by Shea Leffler, who proofs Rust's type system is Turing-complete by implementing another Turing-complete language (Smallfuck) with its type system:
https://sdleffler.github.io/RustTypeSystemTuringComplete/

⚠️ I haven't verified any of this!

#Rust #RustLang #TuringComplete #RustMacro

Oh, look! Another "revolutionary" Turing-complete visual programming platform that promises to save the world 🌍, but will actually just help you create a masterpiece of spaghetti code 🍝 that no one's going to maintain. Congratulations, you've reinvented a clunky wheel! 🚀💡
https://app.getflowcode.io/playground/example1 #TuringComplete #SpaghettiCode #VisualProgramming #SoftwareDevelopment #HackerNews #ngated

Oh, look! Another "revolutionary" Turing-complete visual programming platform that promises to save the world 🌍, but will actually just help you create a masterpiece of spaghetti code 🍝 that no one's going to maintain. Congratulations, you've reinvented a clunky wheel! 🚀💡
https://app.getflowcode.io/playground/example1 #TuringComplete #SpaghettiCode #VisualProgramming #SoftwareDevelopment #HackerNews #ngated

Flowcode – Turing-complete visual programming platform

https://app.getflowcode.io/playground/example1

#HackerNews #Flowcode #TuringComplete #VisualProgramming #TechInnovation #ProgrammingTools

Flowcode – Turing-complete visual programming platform

https://app.getflowcode.io/playground/example1

#HackerNews #Flowcode #TuringComplete #VisualProgramming #TechInnovation #ProgrammingTools

🎉 Welcome to the magical world where everything accidentally becomes Turing-complete! 🧙‍♂️ From C++ templates to Java generics, if it can compute, it will compute. 🤔 Because who doesn't love turning simple tools into complex computational nightmares? 😂
https://beza1e1.tuxen.de/articles/accidentally_turing_complete.html #TuringComplete #C++Templates #JavaGenerics #ComputationMagic #CodeComplexity #HackerNews #ngated

🎉 Welcome to the magical world where everything accidentally becomes Turing-complete! 🧙‍♂️ From C++ templates to Java generics, if it can compute, it will compute. 🤔 Because who doesn't love turning simple tools into complex computational nightmares? 😂
https://beza1e1.tuxen.de/articles/accidentally_turing_complete.html #TuringComplete #C++Templates #JavaGenerics #ComputationMagic #CodeComplexity #HackerNews #ngated

The Analytical Engine

https://en.wikipedia.org/wiki/Analytical_engine

"The analytical engine was a proposed digital mechanical general-purpose #computer designed by English mathematician and computer pioneer Charles Babbage."

"The analytical engine incorporated an arithmetic logic unit, control flow in the form of conditional branching and loops, and integrated memory, making it the first design for a general-purpose computer that could be described in modern terms as Turing-Complete."

#History #TuringComplete

The Analytical Engine

https://en.wikipedia.org/wiki/Analytical_engine

"The analytical engine was a proposed digital mechanical general-purpose #computer designed by English mathematician and computer pioneer Charles Babbage."

"The analytical engine incorporated an arithmetic logic unit, control flow in the form of conditional branching and loops, and integrated memory, making it the first design for a general-purpose computer that could be described in modern terms as Turing-Complete."

#History #TuringComplete

Some may also recognize the trace of #Turing-complete & the halting problem in relation to Gödel. Arguments over "mind vs machine" led to revealing a hidden assumption that the mind is consistent in determining truth. We also must include a philosophy of #Time, as no system has ∞ time to adapt.

Right, that's quite enough time spent remote-#debugging a weird #FloatingPoint edge case. Now time to watch rugby. My apologies to all the #Windows users who have to suffer this bug. Owing to your OS vendor's refusal to let authors use their proprietary platform, what would take me 5 minutes to investigate on Mac or Linux takes 2 weeks on Windows. Consider upgrading. To anything. Literally anything. I have recently proven that the international postal service is #TuringComplete, try that.

Right, that's quite enough time spent remote-#debugging a weird #FloatingPoint edge case. Now time to watch rugby. My apologies to all the #Windows users who have to suffer this bug. Owing to your OS vendor's refusal to let authors use their proprietary platform, what would take me 5 minutes to investigate on Mac or Linux takes 2 weeks on Windows. Consider upgrading. To anything. Literally anything. I have recently proven that the international postal service is #TuringComplete, try that.

#TuringComplete

Not a fan for the opcodes they chose for the comparison operators of the LEG architecture. It lacks some properties that allow an elegant solution.

I built a computer <3

#TuringComplete

I built a computer <3

#TuringComplete

Proof that find + mkdir are Turing-Complete - Data manipulation is at the heart of computation, and a system is said to be Turin... - https://hackaday.com/2024/08/05/proof-that-find-mkdir-are-turing-complete/ #turingcomplete #softwarehacks #tagsystem #gnu

Proof that find + mkdir are Turing-Complete - Data manipulation is at the heart of computation, and a system is said to be Turin... - https://hackaday.com/2024/08/05/proof-that-find-mkdir-are-turing-complete/ #turingcomplete #softwarehacks #tagsystem #gnu

Подборка игр с низкоуровневым программированием

TL;DR Игры от Zachtronics: TIS-100 , EXAPUNKS , SHENZHEN I/O Про создание процессора от логических элементов и до написания кода на ассемблере: браузерная бесплатная nandgame.com , более продвинутая Turing complete . Если Вам нравится какая-то игра из перечисленных - наверно, и остальные тоже подойдут. В каждую из них я наиграл по 30+ часов, получил кучу удовольствия и научился чему-то новому. Подробности

https://habr.com/ru/articles/833652/

#TIS100 #shenzhen_i/o #exapunks #turingcomplete #никто_не_читает_теги #nandgame

Turing Complete Origami - Origami can be an interesting starting point for a project, but we weren’t expecti... - https://hackaday.com/2024/02/21/turing-complete-origami/ #turingcomplete #computerhacks #turingmachine #origami

Turing Complete Origami - Origami can be an interesting starting point for a project, but we weren’t expecti... - https://hackaday.com/2024/02/21/turing-complete-origami/ #turingcomplete #computerhacks #turingmachine #origami

@maaretp It has a tragic-comical quality to see the conflicting goals of having something simple as #NoCode or #LowCode and something expressive as a #TuringComplete programming language being alternatively satisfied, never widely realising those are intricately linked in #CS; escaping #Java, #Kotlin or #Scala only to arrive at #YAML with #JNinja2 templates as values.

@maaretp It has a tragic-comical quality to see the conflicting goals of having something simple as #NoCode or #LowCode and something expressive as a #TuringComplete programming language being alternatively satisfied, never widely realising those are intricately linked in #CS; escaping #Java, #Kotlin or #Scala only to arrive at #YAML with #JNinja2 templates as values.

Coming soon: tcp-over-wrapping-paper

https://www.quantamagazine.org/how-to-build-an-origami-computer-20240130/

#origami #math #TuringComplete #SurprisinglyTuringComplete

Today I learned that Magic: The Gathering is Turing complete. 🤯 https://arxiv.org/abs/1904.09828

#MagicTheGathering #MTG #TuringComplete #HaltingProblem

Bitcoiner drops BitVM paper — bringing Ethereum-like contracts to Bitcoin - The author of the white paper, Robin Linus, based BitVM’s archite... - https://cointelegraph.com/news/bitcoin-bitvm-whitepaper-computation-smart-contracts #turingcomplete #dylanleclair #robinlinus #signature #zerosync #hashlock #timelock #adamback #taproot #bitvm