ACompleteTuring's profile picture. Finding things that are unintentionally Turing complete.

Accidentally Turing Complete

@ACompleteTuring

Finding things that are unintentionally Turing complete.

Remote Direct Memory Access (RDMA) is accidentally Turing complete. arxiv.org/pdf/2103.13351…


The game @Habbo is accidentally Turing complete.

We know that there are some talented Habbos out there but this one might just take the cake! One of our players @sirjonasxx took on the challenge of creating a functioning Turing machine in-game and they SUCCEEDED! Let’s check it out.

Habbo's tweet image. We know that there are some talented Habbos out there but this one might just take the cake!

One of our players @sirjonasxx took on the challenge of creating a functioning Turing machine in-game and they SUCCEEDED!

Let’s check it out.


C’s printf function is Turing complete. Nicholas Carlini has used this to write a Tic-Tac-Toe game in a single call to printf. github.com/carlini/printf…


Kaggle.io is a web-based data science and machine learning platform. The configuration of Kaggle projects (called kernels in Kaggle) is Turing complete. residentmar.io/2018/02/25/kag…


“Don [Knuth] tried very hard not to make TeX a programming language. Unfortunately, he didn't succeed.” —Michael Plass, quoted by Norman Ramsey stackoverflow.com/a/1931504


ComputeDRAM: In-Memory Compute Using Off-the-Shelf DRAMs. “a proof of concept that in-memory computation is possible with unmodi- fied DRAM modules” parallel.princeton.edu/papers/micro19…


A raycasting 3D engine implemented in the rules of the Factorio game. forums.factorio.com/viewtopic.php?…


“Typo is a programming language that runs in Haskell's type system. A Typo program is compiled to a Haskell module that's then typechecked to compute the result. All computation happens in Haskell's type system.” github.com/seliopou/typo

github.com

GitHub - seliopou/typo: A programming language that runs in Haskell's type system.

A programming language that runs in Haskell's type system. - seliopou/typo


“A 4-Bit Virtual Machine implemented in TypeScript's type system. Capable of running a sample 'FizzBuzz' program. Syntax emits zero JavaScript.” gist.github.com/acutmore/9d2ce…


Programming languages with type systems known to be Turing complete: C++ Scala TypeScript Java Rust ... Do you know of any more?


A design for Turing complete version numbers, compatible with Debian package naming. joeyh.name/blog/entry/tur…


Sokoban is Turing complete. “It is shown that the popular puzzle Sokoban can be used to emulate a linear bounded automata (finite tape Turing Machine).” researchgate.net/publication/27…


هذا الحساب لا يتابع أي شخص حاليًا
Loading...

Something went wrong.


Something went wrong.