【读书记1686】郑乐隽《数学的逻辑》
非黑即白的僵化世界观仅仅是对数学的一种极为狭隘的理解。抽象的数学其实并没有明确的正误之别,尤其是在研究层面上, […]
丙午年五月初七
早上起床后,老婆没做早饭,摆了一些零食在桌子上,继续昨天的政策:早饭少吃,留着肚子吃午饭。此时已经九点半,确实到了中午消化不完正餐。上午陪孩子写作业,快中午我下楼给多多买粥,顺便买了十块钱的地瓜条。午...
灵感时刻-2026-06-21 20:28:10
这正是童年的美好之处。
徒步良渚康门水库
也不知道是啥原因,最近康门水库在我手机里出现的次数有点多,而且以各种匪夷所思的标题撩拨着我。「良渚天梯」,「良渚塞尔达」,「良渚小瑞士」,「杭州小八达岭」,「杭州瓦尔登湖」……,我忍不住想要去一探究竟...
我做了一个免费的在线图片压缩工具——VeryPixel
平时写博客,我总需要先压缩配图、转换格式,然后再上传。网上的图片压缩工具虽然多,但用起来总不太顺手:有的需要下载客户端甚至收费,有的直接传到服务器存在隐私风险。我之前常用在线工具 Squoosh,压缩...
龙山新笋蜀山陶
四月份是跟四川杠上了,从成都回来后的第二周周末参加宜兴大龙山坡挖笋活动,完事后组织者安排逛蜀山古南街——是的, […]
百花山爬了5小时
端午小假期,孩子约上同学一起去爬山。当然,父母需要全程陪同,当好司机、后勤、出资人、向导、搬运工、受伤护理、情绪管理、防晒顾问、喝水监督…… 这次挑战的是百花山...
端午节第三弹:Typecho Newsletter插件;及Claude Code + DeepSeek的使用体验
Typecho Newsletter插件继Typecho发布和中文日期处理两款Obsidian插件之后,我的第三个vibe coding项目落地了——一款Typecho Newsletter插件。关注...
记录自己第一个父亲节,最珍贵的礼物
今年是我第一次过父亲节,怀里是两个可爱的女儿,心里满是难以言说的感慨。 刚成为爸爸的时候手忙脚乱,连抱孩子都小心翼翼,看着两张稚嫩的小脸,忽然读懂了父辈的辛苦,别人都说儿子是靠山,可我觉得,两个女儿是...
没有运动手表的日子,我开始重视体感
有些东西,习惯了、再失去,那段落差永远无法完全弥补。