所有文章
Issue 驱动的创作
带有 blog-post 标签的 Issue 会自动出现在这里。
2026-04-20
遥远的数学危机与直觉主义
数学的大厦，向来被视作人类理性最坚实、最璀璨的殿堂。然而，这座大厦的基石之下，曾数次传来令人不安的裂响。这裂响，便是数学危机。它们并非知识的匮乏，而是根基的动摇，迫使一代代最聪慧的头脑停下建设的脚步，转而审视脚下土地的稳固。其中，以二十世纪初的第三次危机最为深远，它不仅撼动了整…
2026-04-02
笔记本功耗分配的技巧
# 给CPU“拔电源”反而能涨帧？笔记本功耗分配的那些反直觉技巧 玩笔记本游戏本的朋友，大概都经历过这种“玄学时刻”：明明显卡是满血4060/4070，跑个3A大作帧数却像坐过山车。温度一上来，风扇直接起飞，帧数跟着跳水。今天不聊换硅脂、不聊清灰，咱们聊点更底层的——**有时候…
2025-12-03
离散数学期末突击
# 一，数理逻辑 #### 安装目标： 真值表 主范式 构造证明逻辑 依赖包： 命题逻辑基础 命题 命题的逻辑表达 逻辑运算 元命题 极小项与极大项 真值 合取范式和析取范式 ## 1，真值表 一种可以暴力求取的手段 当你得到一个逻辑表达式时，可以通过等值演算的方式求主范式，这…
2025-11-29
Easy-blogging
> Write with Issues, build with Actions, ship with Pages. A fully automated static blog template. ## Overview Easy-blogging turns GitHub Is…
2025-11-29
轻松博客 · Easy-blogging
> Issue 写作、Action 构建、Pages 发布，一站式自动化静态博客模板。 ## 项目简介 轻松博客提供“写好 Issue 即生成博客页面”的极简写作体验：通过 GitHub Actions 自动把带标签的 Issue 渲染为统一风格的静态页面，并推送到仓库供 Gi…