So, if complex Jira automations feel like programs, it is because they literally are.
Jira is Turing-Complete
Building a Minsky Machine in Atlassian Automation
22nd May 2026Engineering folklore holds that Jira (Atlassian's project-tracking tool) is Turing-complete. Existing claims point vaguely at automation features without exhibiting a reduction. This article supplies a proof, with setup instructions and execution trace.
Some useful terminology for me (from the abstract's link):
A programming language is said to be Turing-complete if every Turing machine has at least one corresponding program in the language which implements or simulates that machine.
Also from esolangs.org (which is a fun site!):
A Minsky machine is a finite-state automaton with access to a number of unbounded registers or counters. These registers can be thought of as monosymbolic stacks (i.e. stacks of all the same symbol.)
Which... sadly still does not help me.
BUT, doing some Googling, I found that while at Bell Labs, Marvin Minsky came up with the idea for the "ultimate machine" (aka the "useless machine"), and Claude Shannon built one. I love love love these things. (I really should get around to building my own sometime...)
Source: YouTube: The Ultimate Machine - Claude Shannon
Sidenote: Despite not knowing anything about Claude Shannon, several years ago I persuaded my wife and oldest kid to attend a screening of The Bit Player at Mountain View, CA's Computer History Museum. It was a fun watch! (They dramatize a lot of his life.)
In a blockbuster paper in 1948, Claude Shannon introduced the notion of a "bit" and laid the foundation for the information age.
Alas, the film is not streaming for free anywhere (It can be rented/"bought" from Amazon Prime), but here's the trailer and a few Q&As from other screenings:
YouTube: IEEE ITS - The Bit Player - Claude Shannon documentary film
Anyways, yeah, that's enough of a rabbit hole for today. Enjoy!
Darryl Lee
2 comments