Surprisingly Turing-Complete
A catalogue of software constructs, languages, or APIs which are unexpectedly Turing-complete; implications for security and reliability.
A list of things that were not supposed to be Turing-complete, but are.
A catalogue of software constructs, languages, or APIs which are unexpectedly Turing-complete; implications for security and reliability.
Can a mere text editor be powerful enough to calculate anything that a computer can? Sure there’s Emacs, but it’s really just a Lisp interpreter, so it hardly counts. It turns out that …
Link type/link icon subset of /𝚕𝚘𝚛𝚎𝚖
Learn to write types using the type language and leverage your existing javascript knowledge to master TypeScript quicker