08·022026信息资料2026.08.02闭包之内,仍有新数学从 AI 数学研究的最新进展出发,借助演绎闭包、证明超图与证明复杂度,讨论闭包之内为何仍会产生新的数学知识。约 27 分钟75%#AI#数学图片加载失败
07·172026信息资料2026.07.17大模型如何一步步跑偏:从“山谷小球”到“城市司机”用城市导航的比喻,解释大模型如何逐 token 生成,以及语义惯性、上下文漂移、温度、思维链和工具验证为何影响最终答案。约 14 分钟80%#AI#大语言模型图片加载失败
06·102026开发2026.06.10给想法做时间戳:我的 Proof Ledger 工作流记录一套用 SHA-256、OpenTimestamps、Git 和 GPG 给研究笔记与 idea draft 做时间戳的轻量 Proof Ledger 工作流。约 5 分钟95%#研究#OpenTimestamps图片加载失败
05·242026随笔2026.05.24我的计算机之旅(大学前)回顾大学前与计算机相遇、学习编程、接触工程实践、投入算法竞赛,以及一路更换设备的个人经历。约 10 分钟20%#计算机#编程图片加载失败
03·172026开发2026.03.17给博客做了一次不小的翻新从文章头部、SEO、Feed、专题系统到双向链接,再到发文 CLI,这次顺手把博客里很多一直想补的东西都补上了。约 6 分钟95%#VitePress#博客图片加载失败
10·142025逆向2025.10.14逆向噢易 OSS 机房硬盘保护系统,并获得账密粗略地逆向了一下 噢易(Oseasy) OSS 机房硬盘保护系统,并最终获得管理员账密。约 1 分钟#逆向#IDA图片加载失败
10·122025开发2025.10.12修复 VitePress 在 Vercel 上的内容加载延迟问题排查并修复博客在 Vercel 上“刷新后才显示内容”问题:原来是 rewrites 规则惹的祸。约 3 分钟#Vercel#Debug图片加载失败
09·222025杂项2025.09.22针对低配电脑的 MPV-lazy 配置,让 N95 也能流畅解码 4K 蓝光一个可以大幅降低硬件负载的 MPV 配置(适用于低端电脑)约 3 分钟#MPV#影音图片加载失败