discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
Show HN: Making a Compiler to Prove Tmux Is Turing Complete
https://willhbr.net/2024/03/15/making-a-compiler-to-prove-tmux-is-turing-complete/
12 comments
15/3/2024