{"type":"link","version":"1.0","title":"过去 Jane Street… | Formal methods and… · HotDaily 每日晚报","description":"过去 Jane Street 因极高的验证成本（如 seL4 案例）对形式化方法持保留态度，但 AI…","url":"https://hotdaily.top/item/e84fb5a7-a028-470b-ba93-18544f7460ef","provider_name":"HotDaily","provider_url":"https://hotdaily.top","thumbnail_url":"https://hotdaily.top/og.png","thumbnail_width":1200,"thumbnail_height":630}