开源项目将美国联邦税表编码为可校验数据
热点事件观察中
开源项目将美国联邦税表编码为可校验数据
1 篇报道1 个报道来源1 天前更新
先了解这件事
AI 综述
一个开源概念验证项目把美国 IRS 联邦个人所得税的税表与填报说明编码为带引用的机器可校验数据，并配一个引导式自助报税问答作为首个客户端。项目称覆盖 2,384 行计算逻辑，全部使用约二十种封闭原子操作，0 行使用不透明函数；TypeScript 与 Lean 两套独立求值器在 1,648 个用例、2,895,826 个行值上对比 0 差异。 项目声明软件不申报、不签名、不传输税表，报税数据不离开本机，也不构成税务或法律建议。检查可在全新克隆上离线运行；但两套引擎的差异对比需先用 setup.sh 安装两个外部引擎，这是唯一的联网步骤，未安装时该步骤会显式跳过、不声称完成对比。
AI 根据报道生成 · 1 天前更新
最新进展10月29日 02:30
Show HN：美国 IRS 联邦税表的机器可校验形式化概念验证报道时间线
沿着报道，了解事件的不同侧面。
10月29日
- Hacker NewsShow HN：美国 IRS 联邦税表的机器可校验形式化概念验证
一个开源概念验证项目把美国 IRS 联邦个人所得税的税表与填报说明编码为带引用的机器可校验数据，并配一个引导式自助报税问答作为首个客户端。项目覆盖 2,384 行计算逻辑，全部使用约二十种封闭原子操作，0 行使用不透明函数；TypeScript 与 Lean 两套独立求值器在 1,648 个用例、2,895,826 个行值上对比 0 差异。软件不申报、不签名、不传输税表，数据不离开本机。
本事件热度走势
- 可比范围当前
- 5
- 可比范围峰值
- 1010月29日 03:00
- 近 24 小时变化
- -50%
02.557.510
06:0012:0018:0010月30日06:00
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。