2026-10-08 Hacker News 热门头条汇总

2026-10-08 Hacker News Top Stories

汇总包含OpenAI公开722份附部分Lean形式化证明的数学稿件、Photopea作者举报GitHub盗版未获违规确认、Chrome 155将支持JPEG XL解码等资讯。