https://zhangjinglin.github.io/categories/%E9%9A%8F%E7%AC%94/关于技术，关于人生Hugo 0.168.0 & FixIt v1.0.0-beta.4zh-CNldxyzjl@163.com (张景林)ldxyzjl@163.com (张景林)Fri, 23 Oct 2026 18:26:03 +0800https://zhangjinglin.github.io/2026/10/ai-education/Fri, 23 Oct 2026 17:50:00 +0800ldxyzjl@163.com (张景林)https://zhangjinglin.github.io/2026/10/ai-education/随笔<p>去年有个学生来找我，成绩很好，做事也认真。他问我：我该上大学学什么。</p> <p>这个问题我回答过很多年，几乎不用想。先问问他喜欢什么、擅长什么，再看看眼下什么行业缺人，然后给个方向——计算机、数学、电子，都行——最后加一句：好好学，这条路是稳的。学生听了踏实，我也觉得自己尽到了责任。</p>https://zhangjinglin.github.io/2026/10/ai-math-civilization/Fri, 23 Oct 2026 16:50:00 +0800ldxyzjl@163.com (张景林)https://zhangjinglin.github.io/2026/10/ai-math-civilization/随笔<p>如果哪一天，AI 把一个定理完整地证完了，摆在你面前，你打开形式化验证器跑一遍，结果显示：正确。</p> <p>然后你问它：这个定理意味着什么？它答了。你追问：为什么它重要？它也答了。每一句都通顺，每一句你都能读，但你就是没法确认——它说的是不是真的那个“重要”。</p>https://zhangjinglin.github.io/2026/10/restart/Fri, 23 Oct 2026 14:50:00 +0800ldxyzjl@163.com (张景林)https://zhangjinglin.github.io/2026/10/restart/随笔<p><img loading="lazy" src='https://zhangjinglin.github.io/images/cover.jpg' alt="不止于代码 —— 一个程序员的后半生"></p> <h2 class="heading-element" id="十年"><span>十年</span> <a href="#%e5%8d%81%e5%b9%b4" class="heading-mark"><svg class="octicon octicon-link" viewBox="0 0 16 16" version="1.1" width="16" height="16" aria-hidden="true"><path d="m7.775 3.275 1.25-1.25a3.5 3.5 0 1 1 4.95 4.95l-2.5 2.5a3.5 3.5 0 0 1-4.95 0 .751.751 0 0 1 .018-1.042.751.751 0 0 1 1.042-.018 1.998 1.998 0 0 0 2.83 0l2.5-2.5a2.002 2.002 0 0 0-2.83-2.83l-1.25 1.25a.751.751 0 0 1-1.042-.018.751.751 0 0 1-.018-1.042Zm-4.69 9.64a1.998 1.998 0 0 0 2.83 0l1.25-1.25a.751.751 0 0 1 1.042.018.751.751 0 0 1 .018 1.042l-1.25 1.25a3.5 3.5 0 1 1-4.95-4.95l2.5-2.5a3.5 3.5 0 0 1 4.95 0 .751.751 0 0 1-.018 1.042.751.751 0 0 1-1.042.018 1.998 1.998 0 0 0-2.83 0l-2.5 2.5a1.998 1.998 0 0 0 0 2.83Z"></path></svg></a> </h2><p>这个站点的第一篇文章写于 2016 年 2 月，最后一篇停在 2017 年 5 月。</p>