Jira Terbukti Turing-Complete dengan Minsky Machine
Judul asli: Jira Is Turing-Complete
Mengapa Ini Penting
Menunjukkan kompleksitas tersembunyi dalam tools enterprise dan potensi computational power yang tidak disadari pengguna.
Nicolas Seriot membuktikan Atlassian Jira adalah Turing-complete dengan membangun Minsky register machine menggunakan fitur otomasi Jira. Implementasi menggunakan Epic status sebagai program counter dan linked issues sebagai register.
Seriot memetakan model komputasi Minsky ke dalam Jira: register A dan B diwakili oleh jumlah linked issues bertipe Bug dan Task, program counter menggunakan status Epic, dan dispatch table melalui aturan otomasi Jira. Implementasi penambahan (2+3=5) menggunakan satu Epic dengan workflow BACKLOG→TODO→DEV→PROD, dua aturan otomasi untuk operasi DEC dan INC, serta lima linked issues. Rule TODO melakukan DEC A dengan menghapus Bug dan transisi ke DEV jika masih ada Bug, atau ke PROD jika sudah nol. Rule DEV melakukan INC B dengan membuat Task baru dan transisi ke TODO. Sistem juga dapat menjalankan Fibonacci sequence menggunakan tiga status dan Convert Issue Type untuk menyederhanakan operasi. Proof-of-concept ini dijalankan pada instance Jira Cloud nyata.