インターネット上では、フィットシーツがたった2つの特許から生まれたという神話が流布しています。この記事では、フィットシーツは1992年以前から存在し、多くの場合、ゴムバンドを使用していなかったことを示し、この神話を否定します。より詳細な特許調査により、現代のフィットシーツに似た多くの初期のデザインが明らかになり、より複雑な進化の過程が示唆されています。著者は、「2つの特許」という物語は単純化であり、オンライン情報の検証と歴史的物語のニュアンスの重要性を強調しています。
続きを読む
著者は、貼り付けられたコンテンツからネストされた``タグと``タグを手動でほどくという、イライラする作業に遭遇しました。そのフォーマットはめちゃくちゃで、意味的な正確さではなく見た目重視に機械生成されたもので、テキストは編集不可能に近い状態でした。著者は、この悪い編集体験が平均的なユーザーを落胆させると主張し、「WYSINWLB：What You See Is Not What Lies Beneath」という用語を作り、貼り付けられたテキストの欺瞞的なシンプルさを強調する問題点を浮き彫りにしました。
この記事では、プログラミング言語のサイズと表現力のトレードオフについて探求しています。著者は、アセンブリ言語のような小さな言語は表現力が限られているのに対し、Forth、Lisp、Tclなどの言語は簡潔な構文で強力な表現力を実現していると主張しています。Luaは、その小さなコア（わずか27ページ！）のために、小さく簡単に学習できる言語として強調されています。標準ライブラリが言語の認識されるサイズに及ぼす影響についても議論されており、Ramdaの広範な機能は、学習曲線の増加の例として使用されています。最終的に、著者は小さな言語のエレガンスと喜びを擁護し、簡潔さは表現力を上回る可能性があると示唆しています。
続きを読む
この記事では、Forth言語のコアをどれほど小さくできるかを探ります。PlanckForth（1000バイト未満）、SmithForth（約1000バイト）、sectorforth（512バイト）、milliForth（336バイト）など、いくつかのミニマルなForth実装を紹介しています。これらの実装は、非常に小さな命令セットで、コンパイラを含むForthの基本機能を実現しています。Frank Sergeantの3命令Forthはさらに極端で、Motorola MC68HC11チップ上でわずか66バイトで動作します。これらの例は、プログラミング言語のサイズに関する私たちの仮定に挑戦し、言語設計の優雅さを示しています。
続きを読む
Snobol4は、パターンマッチングを中心とした魅力的なプログラミング言語です。ループや条件文に依存する言語とは異なり、Snobol4はすべてのロジックと制御フローにパターンマッチングステートメントを使用します。このミニマリストのアプローチは、大規模なプログラムでは効率が低くなる可能性がありますが、初心者にとって驚くほど理解しやすく、小規模なタスクでは効果的であることが証明されています。著者は、そのパターンマッチングをAwkと比較していますが、はるかに強力であり、その印象的な純粋さを強調し、「奇妙なテクニック」が驚くほど効果的なプログラミングをもたらすことを示しています。
続きを読む
ピーター・ナウアの論文は、巨大プログラムの「理論」はコードそのものではなく、それを構築したプログラマーが持つ深い理解であると主張しています。ライルのアナロジーを用いると、コードは道であり、プログラムを理解することはその道を歩くことに相当します。LLMは一見理論的に詳しいテキストを生成できますが、これは表面的なものに過ぎず、真の理解を欠いています。ナウアは、巨大プログラムを理解するには、その開発と保守に継続的に関与する必要があると強調しています。これは、コードやドキュメントを読むだけでは得られない知識です。
続きを読む