典籍总览
共收录 3,250 篇典籍 · 汇集四海道友之言
懒于运动的人，早上开始爬十层楼梯
我是个长期懒于运动的人，在深圳这些年，虽然住的地方都离公园绿道很近，但是几乎没怎么跑过步。每次路过公园旁边，看到一个个从身边呼啸而过的跑步运动者🏃♀️，都感到一丝丝的自愧不如。 经常在周末的时候，爬一爬公园的矮山了，跟女儿一起，既为了自己运动一下，也为了拉女儿出来户外运动一下。踏几百级石阶，垂直爬升高度一百二十多米就到山顶了，既不那么轻松，也不那么累。 最近从原来的二十几层搬到了十层，想着与其花...
我是不是该去烧两柱了
2026年7月26日晚开公司车被同事开车干了一下2026年7月27日晚跟电瓶车干了一下2026年7月30日晚出门车打不着了，显示电压低当晚找了保险公司来免费搭电{cat_waterfall}{/cat_waterfall}又让工作人员帮我测了一下电瓶寿命，还剩12。。（就花了几秒钟）2026年7月31日一早就跑去4s店换了电瓶，花了七百多4s店的测试还是比较全面的，把几种情况都测了一遍，确定电池寿...
Stay Foolish
乔帮主在斯坦福大学毕业典礼上说”Stay Hungry, Stay Foolish.” 我已经记不清帮主具体怎么说了。但是这话似乎和我有共鸣，但不能说是击穿。因为我感觉他把我的一种状态描绘了出来。 奥地利哲学家维特根斯坦说，“语言是思维的边界”。大约能准确描绘出内心所想的人，是思想深刻，并且只会的人。 我试着把这种状态描述一下。我觉得我不是保持饥饿状态，因为有时我其实吃的挺饱。尤其是读了大学，学习...
MyBatis Invalid bound statement 怎么处理
MyBatis报错Invalid bound statement not found怎么办？本文整理Mapper XML找不到、namespace写错、id和接口方法名不一致、mapper-locations配置错误、XML未打包、@MapperScan扫描失败、多模块项目和MyBatis-Plus自定义方法等排查方法。
Spring Boot 端口被占用怎么处理
Spring Boot启动报错Port 8080 was already in use怎么办？本文整理Windows、Linux、macOS查看8080端口占用的方法，包含netstat、lsof、kill、taskkill、server.port修改、启动参数、环境变量、Docker端口映射和IDEA重复启动排查。
突突突~开着电驴去救援我妈
快中午了我妈打电话跟我说车在路上趴窝了，我骑着车带着绳子去救她到那我看了一下是电瓶连接线断了。 拉回家要好几公里我直接把我妈拉到就近的修车铺花了10块钱把车修好了。
账户管家(马甲管理器) - 多账户登录管理器 浏览器拓展插件 送专业版套餐
最近开发一个项目需要用到不同账号进行切换，找了好多方案都没有满足，于是搞了浏览器插件。
Hugo 静态博客管理的姿势
2023 年年初开始瞎捣鼓这个 hugo博客，写文经历了四个阶段。 1.0原始时代 直接登录 GitHub 网页，在仓库里通过 Add file 新建文件、敲字、提交，最原始但也最直接。 2.0独立建库 用上了Obsidian，作为一个单独库，在Obsidian中写Hugo博客发布。 3.0融合统一 Obsidian 不将仓库单独管理了，直接在日常笔记库中合二为一，Obsidian 自动同步到 H...
燥热七月，琐碎记录
作者回顾了燥热七月的生活状态：虽未做成大事，但完成了博客二十周年纪念品和四座奖杯的设计；观察到技术博客更易引流，却仍安于记录生活琐碎与感悟，视博客为晚年回望的私人记忆库。同时坦承锻炼松懈、体重停滞在81公斤的困境，但强调未丧失生活热情。最后透露正开发怀旧向的“呆呆农场”小游戏，虽测试中问题不断，仍抱持期待。全文以平实自嘲的笔调，交织着对时间流逝的接纳、对个人爱好的坚守，以及“慢一点也要往前走”的自...
雪孩子的故事
雪，下个不停，一连下了好几天。这天早上，天晴了，兔妈妈要出门去。小白兔嚷起来：“妈妈，妈妈，我也要去！”兔妈妈说：“好孩子，妈妈有事，你不能跟着去。”兔妈妈在门外的空地上给小白兔堆了个雪孩子。小白兔有了小伙伴，就不跟妈妈去了。小白兔跳舞给雪孩子看，唱歌给雪孩子听。他玩累了，就回家去睡午觉。“屋子里真冷，赶紧往火堆里添把柴吧！”小白兔添了柴，把火烧得旺旺的，屋子里渐渐暖和了。他躺在床上，闭上眼睛，一...
对角线论证：改变数学与计算机的证明方法
RSS 阅读器可能不支持渲染数学公式。 点击这里阅读原文：https://dreams.plus/blog/2026/2026-07-31-the-diagonal-argument-en1891 年，德国数学家格奥尔格·康托尔发表了一篇仅几页的论文，证明了一个在当时看来有悖直觉的结论：存在不同「大小」的无穷。他所采用的证明技巧——对角线论证——不仅解决了手头的问题，更在此后一个多世纪里，成为数理...