博客
我的博客覆盖了前端、后端、客户端以及系统编程等领域,以构建高效、弹性、可维护的应用程序为目标。请随意翻阅查看。这里记录了我对一些新技术、新工具以及在项目中的开发实践,往前翻翻还有很多不着调的诗歌。
从 Flutter 优化到软件工程:在变化中寻找不变性
本文论述了从Flutter性能优化到通用软件工程,驾驭复杂性的核心之道,并非简单套用固定模式,而是在持续的“变化”中,敏锐地识别并围绕关键的“不变性”来构建和演进系统。
深入理解 Dart Freezed:从 OO SOLID 的视角
本文从面向对象的 SOLID 设计原则出发,深入剖析 freezed 的架构之美,揭示其看似复杂的层级背后,所蕴含的深刻软件工程思想。
FullStack Dart:Server、Client CI/CD 最佳实践
本文围绕一个多平台 Flutter Client + Dart Server 项目,详细阐述在 AI 辅助开发和 Vibe Coding 流行的当下,代码组织、环境配置到自动化构建与部署的最佳实践。
我的减肥心路:从工具迭代到认知升级,用“积分制”重塑健康(附App实践)
在寻求更健康生活方式的道路上,体重管理往往是一个重要的课题。本文旨在分享通过迭代自研App、升级健康认知,并最终实现有效体重管理的实践与思考。
大道至简:为何真正的简单方能成就最终的易用
本文探讨了“大道至简”(Simple makes easy)的理念,论证了真正的简单性而非表面的易用性,才是通往问题本质和实现长久成功的关键。本文提出一种观点:将“简单性”比作在未知领域中导航的灯塔,指引人们穿透复杂迷雾,找到通往本质的路径。
论情色:解码欲望、焦虑与僭越的机制
借鉴乔治·巴塔耶的理论,本文批判性地审视情色现象,阐释了情色是如何通过对禁忌的“僭越”所达至的生命“耗费”、个体界限消融及“连续性”追求的象征性体验。
聪明饮食,轻松瘦身:科学减肥指南
你是否曾经尝试过各种减肥方法,却总是收效甚微?或者减重成功后又很快反弹?今天我们将深入探讨基于科学的减肥饮食策略,从代谢机制、营养学和内分泌学角度解析如何实现健康、可持续的体重管理。
系统1与系统2:AI 时代的思考通路与人机协作新范式
本文探讨了 AI 在丹尼尔·卡尼曼提出的双系统思考模型中的位置:AI如同人类系统1,提供思考快速通路;人类系统2与AI协作,形成自底向上的反馈循环。笔者通过软件开发的例子为这一人机协作范式提供了实践经验。这篇文章由 AI 写就,这本身就是对其核心论点的绝佳证明:AI确实可以作为人类思考的"快速通路",提供高质量的系统1类思考输出,同时也展示了AI与人类思维协作的潜力。
【转载】LISP 魔咒:非技术性吐槽
这是一篇非技术性质的文章,但是它也许比很多技术文章能更好地解释一些疑问。列举几个无聊的的命题:“为什么世界上最好的编程语言没有得到它应有的地位”、“为什么自底向上支撑着我们个人计算机乃至整个网络的Unix / BSD / GNU / GTK+ / Qt / Linux / Apache / MySQL...不是用LISP/Scheme写的”、“为什么王垠批完Google批学术界却没做多少牛逼哄哄的项目”或者“为什么说‘孤狼黑客’对开源软件的生态环境是有害的”……诸如此类。