background picture of the home page

Hi,Friend

类unix系统不想被娘化

前不久在实验室和学长聊天时,谈到自己把主力机从archlinux换成nixos,用了一个比喻,Archlinux是需要每天陪伴要记住喜好和做过的事的宠物,大忙人养不起宠物。而nixos是牲畜,没了硬件还可以换一头,额,或者说,勤勤恳恳的秘书,叫它做什么就做什么,绝不多做,绝不多搞配置漂移。回宿舍路上

thumbnail of the cover of the post

也许是nas的折腾终点?——补一下我nixosnas的配置

其实4月底就配得差不多了,只是一直咕咕咕到现在才开始整理一下 起因:设备的交替 我一直看我的QNAP TC-464C不惯。 当时近三千的配置,买来一台不可升级内存,webui的XML解析吓人,跑很多软件只能上docker的硬件。(而且性价比其实也不怎么好,多少还是为系统付费了),虽然在简陋的UI里面

thumbnail of the cover of the post

沙、海

文章以沙漠的浩瀚与闭塞开篇,对比海洋的生机与包容,进而推演水生文明的可能性——它们以声波交流、以压力分层、因水的重量而难以离开母星。作者借Docker鲸鱼logo隐喻文明迁徙的困境:必须背负生存环境才能远航。最终文章追溯至星辰,指出人类血液里的铁、钙皆来自超新星爆炸,因此我们探索太空不仅是开拓,更是携带着海洋记忆与星辰原子的双重归乡,在宇宙中找寻自身处境与使命。

thumbnail of the cover of the post

再论Linux,走出Windows舒适区后的另一片天地

本文指导Windows用户转向Linux的核心思维转变。五条心法包括:忘掉盘符,理解"一切皆文件"的单一目录树;承担更大责任,自主维护安全与更新,谨慎使用sudo;相信系统透明可解释,通过文本配置和日志审计掌握运作原理;尊重系统秩序,避免手动修改/usr等包管理器管辖区域;灵活运用多种工具,结合GUI与CLI、容器等技术解决问题。Linux要求用户从"消费者"转变为"构建者",在开放、模块化的系统中享受深度定制与完全掌控的乐趣。

thumbnail of the cover of the post

探索另一种范式:Haskell与Nix —— 关于计算、声明与未来的思考

文章探讨了从命令式编程向声明式函数式范式的转变,以Haskell和NixOS为例。Haskell基于λ演算,通过声明式编程、代数数据类型、高阶函数和柯里化,实现了"描述问题而非步骤"的编程方式,提升了代码的严谨性和可验证性。Pandoc展示了函数式思想在文档处理中的强大应用。NixOS则将这种哲学扩展到系统层面,通过纯函数构建和声明式配置,实现了不可变基础设施、确定性部署和沙箱级安全,解决了传统Linux的依赖地狱和状态管理问题。在AI时代,这种高信噪比、可复现、可组合的架构代表了软件工程应对复杂性的未来方向。

thumbnail of the cover of the post

以史为鉴——从汇编到高级语言到低代码,Agent时代的编程究竟意味着什么

文章通过回顾编程语言从机器码到高级语言、再到低代码平台的演进史,回应了"AI是否会取代程序员"的焦虑。作者引用《人月神话》中"本质复杂度"与"偶然复杂度"的区分,指出工具革新始终解决的是后者(如编码效率),而前者(需求洞察、数学建模、工程管理)仍需人类智慧。面对Agent时代,作者提出程序员应聚焦三座高山:人本的创作(愿景与设计)、数学建模的体系(抽象与算法)、工程复杂度的管理(架构与协作)。文章最终呼吁,技术浪潮虽冲刷行业红利,但"建造者"的核心能力——观察、抽象、系统建构与人文理解——将始终不可替代,唯有找到内在热情,方能穿越迷雾。

thumbnail of the cover of the post

k8s的克苏鲁小故事

本文以"陌生化"文学手法重构Kubernetes技术体系,将其转化为克苏鲁式规则怪谈。K8s控制平面化身为掌控生死的八爪章鱼,存活探针变成必须每30秒发送的"心跳"仪式,容器Pod则成为需要投喂、会"叫"并被重启的躯壳。作者将Rowhammer、Meltdown等硬件漏洞具象化为叩击现实的"天灾",通过短篇小说《心跳与狗》展现主角作为可替换"容器"的觉醒与反抗。这种将抽象技术概念(yaml、健康检查、镜像仓库)转化为具有温度、气味和生命威胁的神话叙事,剥离了术语的麻木感,揭示了云原生架构背后隐藏的权力结构、暴力逻辑与存在主义恐怖,迫使读者从"被编排者"的视角重新审视日常运维工作。

thumbnail of the cover of the post

聊天记录整排:Git,Linux,学习路径和一点鼓励

本文是一篇技术漫谈,系统梳理了Git版本控制(从基础提交到分支合并与远程协作)、Linux系统操作(核心目录、Shell技巧、文本处理与系统管理)及软件开发路径选择。作者以"树"喻Git,以"王国"喻Linux,强调理解底层原理的重要性。在开发路径上,从微信小程序、PWA等快速原型,到Electron、Flutter跨平台方案,再到原生开发,建议根据业务需求选择抽象层级,警惕复杂度陷阱。最后提出"人本主义"工程观:善用AI工具提升效率,但需掌握核心概念以避免抽象泄露,最终目标是用恰到好处的技术解决问题,而非追求技术完美,为自己留出生活空间。

thumbnail of the cover of the post

能不能再直白点——AI会对传统编程语言造成冲击吗?

本文探讨编程语言为何需要复杂语法。通过"FreeLang"思想实验,作者论证绝对自由的编程语言如何从乌托邦沦为维护噩梦——歧义爆炸和隐式上下文证明:没有约束的"思想直通"反而阻碍协作。 从信息论、类型论视角看,语法是消除歧义的必要协议,抽象是管理复杂度的认知工具。AI时代虽提升抽象层次,但状态机等本质复杂度依然存在,更需精确约束。 结论:编程语言的语法不是限制,而是连接人类思维与机器执行的桥梁,是团队协作的共享约定。约束创造真正的自由,让构建复杂系统成为可能。

thumbnail of the cover of the post