I'm a software security engineer, and this is my personal website. I love hunting for beauty and accidental logic where neither belongs. I turn printers into game consoles , specs into bugs , and Swiss mountains into GPX routes . Selected pieces:
Visit seriot.ch → On Hacker News Oct 2016 – Jul 2026
Software Engineering 5Web & Frontend 2Tools & Productivity 1Math & Algorithms 1Games & Graphics 1
[2016-10-26] First version of the article [2016-10-28] Presentation at Soft-Shake Conference, Geneva ( slides ) [2016-11-01] Article and comments in The Register [2017-11-16] Presentation at Black Alps Security Conference, Yverdon ( slides ) [2018-03-09] Presentation at Toulouse Hacking Conference ( slides )…
Engineering 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.
Claim: as specified, the UTS #35 transliteration-rule language is Turing-complete. This is an exception in Unicode, where algorithms are deliberately bounded and always terminate. The specification defines a revisiting cursor with no rewrite limit. ICU's implementation implements a per-call cap, but the spec itself…