I remember finding the original terminfo Turing completeness article, which was published in 2019, amazing.

In the era of LLMs articles such as these do nothing for me any more.

This article is mostly, if not entirely, LLM-generated. It’s done in a slightly less blatant way than most, but the tells are there, and pangram agrees.

But even if the article was human-written, I’d still not find it impressive now. There’s no way of telling a human was behind the discovery.

There is a system that I’ve dealt with for a long time, and wondered if it was Turing complete. After many years of thinking “I’ll prove it one day”, I broke down and asked Sol. Five minutes later, I had a proof.

This article? https://weinholt.se/articles/terminfo-and-its-dsl/