{"type":"link","version":"1.0","title":"作者讲述其论文在审稿期间发现核心程序… · An Anecdote Against… | HotDaily","description":"作者讲述其论文在审稿期间发现核心程序 IsLessThanDyadic 因符号错误导致实际不终止，而基于 Loeb 归纳的部分正确性证明仍被验证器接受…","url":"https://hotdaily.top/item/b75c8c81-a900-403a-a1fc-536f8ec42fcf","provider_name":"HotDaily","provider_url":"https://hotdaily.top","thumbnail_url":"https://hotdaily.top/og.png","thumbnail_width":1200,"thumbnail_height":630}