nowfound

Dev tools · March 15, 2024

Making a Compiler to Prove Tmux Is Turing Complete

You can use features of tmux to implement a Turing-complete instruction set, allowing you to compile code that runs in tmux by moving windows. I feel like I really have to emphasise this: I’m not running a command-line program in tmux, or using tmux to launch a program. I can get tmux to run real co

Making a Compiler to Prove Tmux Is Turing Complete launched on March 15, 2024 with 88 votes, #904 of 4,270 launches that month and more than 90% of that year's launches. The site was still online in September 2026, 2 years on.

Visit willhbr.net ↗Alternativestop 21% of March 2024

In plain words

A developer created a compiler that converts code into tmux commands, demonstrating that the terminal multiplexer is theoretically Turing complete. This project is for programmers interested in esoteric computing and the unexpected capabilities of everyday tools. What stands out is the creative exploration of computational theory through a practical application, showing that tmux's scripting capabilities are more powerful than typically assumed.

written from the facts on this page · September 2026

From the sources

You can use features of tmux to implement a Turing-complete instruction set, allowing you to compile code that runs in tmux by moving windows. I feel like I really have to emphasise this: I’m not running a command-line program in tmux, or using tmux to launch a program. I can get tmux to run real code by switching between windows. Watch a demo of it in action below or on YouTube: This whole mess s

Does a similar job

all alternatives →
  • Tmux-IDE, OSS agent-first terminal IDEMar 2026 · tmux.thijsverreck.com · ▲88

    Hey HN, Small OSS project that i created for myself and want to share with the community. It's a declarative, scriptable, terminal-based IDE focussed on agentic engineering. That's a lot of jargon, but essentially its a multi-agent IDE that you start in your terminal. Why is that relevant? Thanks to tmux and SSH, it means that you have a really simple and efficient way to create your own always-on coding setup. Boot into your IDE through ssh, give a prompt to claude and close off your machine. In tmux-ide claude will keep working. The tool is intentionally really lightweight, because I think…

  • Rmux – A programmable terminal multiplexer with a Playwright-style SDKMay 2026 · github.com · ▲194

    Author here. RMUX started from a frustration: I've used tmux for years and got tired of scraping output with grep and sleeps to automate anything. So I rebuilt the multiplexer from scratch in Rust, with a programmable layer on top. Two surfaces: a tmux-compatible CLI (~90 commands, your keybindings just work), and a typed async Rust SDK on the same daemon — stable pane IDs, structured snapshots, locator-style waits. The idea is Playwright-style automation, but for terminals. Native on Linux, macOS, Windows (real ConPTY, no WSL). Demos and docs at rmux.io. Happy to answer questions about the…

  • Dwm.tmux – a dwm-inspired window manager for tmuxJan 2026 · github.com · ▲101

    Hey, HN! With all recent agentic workflows being primarily terminal- and tmux-based, I wanted to share a little project I created about decade ago. I've continued to use this as my primary terminal "window manager" and wanted to share in case others might find it useful. I would love to hear about other's terminal-based workflows and any other tools you may use with similar functionality.

  • myCompiler2019 · mycompiler.io · ▲122

    Run your favourite programming languages online

  • The Tsonic Programming LanguageJan 2026 · tsonic.org · ▲62

    You can see some examples here: https://github.com/tsoniclang/proof-is-in-the-pudding And a hugo clone (which compiles to native code) here: https://github.com/tsoniclang/tsumo Linux and macOS for now.

  • Libtmux – A tmux workspace manager in Python2016 · libtmux.git-pull.com · ▲86

    Typed Python API for tmux. Control servers, sessions, windows, and panes as Python objects. Quickstart Install and make your first API call in 5 minutes. Quickstart Topics Architecture, traversal, ...

More dev tools this month

the category →
  • /dev/null▲490

    a social network for devs

    Dev tools · 4d ago · dev-null.sh

  • open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.

    Dev tools · 29d ago · github.com

  • Contribute to reladraw/reladraw development by creating an account on GitHub.

    Dev tools · 27d ago · github.com

  • Contribute to oosexgang/hackios-xnu-kernel development by creating an account on GitHub.

    Dev tools · 14h ago · github.com

  • OpenBot▲362

    Grok Bot alternative: free, local, open-source, multiplayer

    Dev tools · 24d ago · openbot.run

  • Talanoa▲346

    Hi HN, I’m a fullstack developer, and honestly, I’ve lost count of how many side projects I’ve worked on over the years. But one idea kept coming back to me: a different kind of email client. It first came to me in 2014: “What if we could handle emails more like conversations?” Every year, I’d revisit this concept in my “Build Notes.” Ten years later, no one had built exactly what I had in mind — so I finally decided to do it myself. That’s how Talanoa was born. I wanted something focused on people, not timelines. I was tired of marking messages as unread just to remember to reply later, or…

    Dev tools · 21d ago · talanoa.email

Source: Show HN post ↗

Launched alongside, March 2024

the whole month →
  • Dub.co▲1,475

    Short links with superpowers

    Dev tools · 2024 · dub.co

  • 🌐 The Internet Computer! Free, Open-Source, and Self-Hostable. - HeyPuter/puter

    Dev tools · 2024 · github.com

  • Microlaunch▲1,115

    Launch and get feedback on both the idea and product

    Dev tools · 2024 · microlaunch.net

  • Milestone▲1,113

    Interactive, gamified product tours for SaaS

    Growth · 2024 · milestoneflow.io

  • Hunted Space▲1,004

    Insights on Product Hunt launches

    Growth · 2024 · hunted.space

  • Creatie▲850

    The one-stop product design tool amplified by AI

    AI · 2024 · creatie.ai