Live Roundups Editor's Desk Insights Executive Ops Weather About 🔍
Home › Technology › Multiway Turing Machines (2021 pre-ai)
Technology

Multiway Turing Machines (2021 pre-ai)

Hacker News Sunday 26 July 2026, 20:49 UTC By marysminefnuf 1 min read
Key Points

Article URL: https://bulletins.wolframphysics.org/2021/02/multiway-turing-machines/ Comments URL: https://news.ycombinator.com/item?id=49062259 Points: 4 # Comments: 1

Article URL: https://bulletins.wolframphysics.org/2021/02/multiway-turing-machines/

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

Points: 4

# Comments: 1

Multiway Turing Machines (ORG)
Originally published by Hacker News Read original →

Related Stories

AI cyberattacks mean we can't defend ourselves the same way as before: Singapore's founding cybersecurity chief

AI cyberattacks mean we can't defend ourselves the same way as before: Singapore's founding cybersecurity chief Mr David Koh looked back on his time as chief executive of the Cyber Security Agency of Singapore, in his first exclusive media interview since retiring on Jul 1. SINGAPORE: A burglary is happening in your home right now. You can’t see the intruders – you don’t know who they are, how they got in, what they have taken and how many of them lie in wait.

Channel News Asia 45m ago

Teaching Kids Forth – Anna Liberty

Teaching Kids Forth 2026-04-14 · 11 min · #computing Forth is uncommonly used to teach programming to kids. Scripting languages like Python and visual environments like Scratch are far more popular options. But when I got the opportunity to introduce middle and high school students to programming, I chose the stack-oriented concatenative language from 1970.

Hacker News 1h ago

Champagne and Bullets belongs on the Mount Rushmore of bad movies

Thankfully the movie is bonkers enough to live up to the artwork. | Image: Vinegar Syndrome There's something about a movie like The Room, Troll 2, or Fateful Findings that I find irresistible.

The Verge 1h ago

We have proof automation now

We have proof automation now (26 Jul 2026) I've long had a soft spot for dependently-typed languages like Coq Rocq and Lean. They offer the possibility of a type system capable of encoding and enforcing arbitrarily subtle invariants.

Hacker News 1h ago