ターミナルに寄生するFibonacci計算、/usr/bin/topが刻む
A parasitic Fibonacci computation inside /usr/bin/top
ncursesのterminfoパラメータ展開が2カウンタMinskyマシンをシミュレートできることを示し、Fibonacciプログラムを/usr/bin/topの再描画に同期させて実行する。terminfoは永続変数や条件分岐を持つ小さなプログラミング言語であり、理想化すれば計算万能だが、実際は有限状態に留まる。セキュリティ境界の観点から、この寄生プログラムが特権昇格に至らない理由も解説する。
termifoファイルはチューリング完全である
HNでの議論
11- muvlon
Terminfoは決して特に良いアイデアだったわけではないが、今日この時代においては単に馬鹿げている。その本来の目的は、実際に製造された物理的な端末に関するデータを保存することであり、したがって固定のDBであることは問題なかった（何らかの方法で端末にその能力を対話的に問い合わせるのではなく）。
しかし今日では、端末はすべてソフトウェアだ。単にそれらに尋ねるのは非常に簡単だろう。それでも私たちは固定のterminfoやtermcapsのDBを出荷することに固執している。その結果、新しい端末エミュレータはどれもそこに含まれておらず、ユーザーに許容できる体験を提供するために、それらはすべて嘘をついてxterm-256colorだと名乗る。これにより、実際にterminfo/termcapsに追加するインセンティブが完全に失われる。
こうして、もはや全く役に立たない、恐ろしく複雑でほぼチューリング完全な互換性システムが残っている。
- hbcdbff
2019年に公開された元のterminfoチューリング完全性に関する記事を見つけて、素晴らしいと思ったのを覚えている。
LLMの時代では、こうした記事はもう私には何の感銘も与えない。
この記事は主に、いや完全にLLMによって生成されている。ほとんどのものより少しだけ露骨でない方法で書かれているが、兆候はあり、pangramも同意している。
しかし、たとえこの記事が人間によって書かれたとしても、今は感銘を受けないだろう。発見の背後に人間がいたことを知る方法はない。
- readthenotes1
もうDoomは動くのか？