プログラミング
Show HN: IRS連邦税フォームの概念実証としての形式化
Show HN: A proof-of-concept formalization of the IRS federal tax forms (github.com)
要約
このGitHubリポジトリは、IRS連邦税フォームの概念実証としての形式化を示しています。開発者は、従来の税務ソフトウェアがメンテナンス担当者から信頼を得ているのに対し、この形式化は検証可能性と、ユーザーやメンテナンス担当者が主張や解釈を権威あるソース文書にまで追跡できるメカニズムを組み込むことを目指しています。これは公共の利益のために存在するべきだと考えられており、その形状を理解するために構築されました。
全文翻訳
リンクされたリポジトリは100%バイブコーディングされていますが、いくつかの原則に基づいています。
-
ほとんどの税務ソフトウェアは、それを維持する当事者（例：Intuit、IRSなど）から信頼を得ています。
-
バイブコーディングされたソフトウェアにはこの信頼性が欠けています。
-
したがって、どのような形式化も、検証可能性と、ユーザー/メンテナンス担当者が主張/解釈を権威あるソース文書にまで追跡できるようにするメカニズムを組み込むべきです。
これは現在、非常にバックバーナーのパッシブプロジェクトです（これを実際の目的で使用しないでください！）。しかし、公共の利益のためにこのようなものが存在するべきだと強く感じています。私は、そのようなものがどのような形になりうるかを理解するためにこれを構築しました。