← 返回情报台

原始观测记录 / Hacker News

LLMs are making formal software verification feasible at a much larger scale

首次发现 10/23 08:00 · 最近观测 10/23 09:00 · 来源数据在有效期内

阅读原始来源 ↗

标题整理LLMs are making formal software verification feasible at a much larger scale

为什么值得看该来源当前榜单中的讨论线索，可从原文核实细节；榜单排名不代表内容可靠性。

发布 10/23 06:54

30 分钟排名变化-1

基准观测 10/23 08:30

1 小时排名变化0

基准观测 10/23 08:00

24 小时排名变化—

数据积累中

平台排名记录

7 次观测

升温分 0/100 = max(0,1 小时位次上升) ÷ 基准位次 × 100；不叠加平台热度。

2310/23 08:00 · 3 位10/23 08:10 · 3 位10/23 08:20 · 3 位10/23 08:30 · 2 位10/23 08:40 · 2 位10/23 08:50 · 2 位10/23 09:00 · 3 位10/23 08:0010/23 09:00
Official public API · linked titles only· 作者 johnbender
查看原始观测时间与位次
观测时间（北京时间）来源位次
10/23 09:003
10/23 08:502
10/23 08:402
10/23 08:302
10/23 08:203
10/23 08:103
10/23 08:003
每日聚合历史
日期当日最佳位次当日最后位次观测次数
2026-10-23237