探索,生活,
还有一些灵光一现。
我做过的研究,走过的地方,和想留下的瞬间。
最近更新 / 12
-
F# 高级特性 - 语法
Notes on F# fixed bindings, exception types, namespaces, abstract members, MailboxProcessor, and lock.
-
Understanding map and apply
梳理 F# 中 map、return 与 apply 的类型签名、使用方式,以及 Functor 和 Applicative 的基本规律。
-
用 Python 一次列出 Docker 网络及其子网
通过 docker network ls 和 docker network inspect,用一段 Python 脚本汇总网络 ID、名称与子网,方便检查 Docker 网络的地址分配。
-
目标驱动的演进式架构治理
你现在是当前项目的架构顾问和文档治理负责人。 请在当前仓库建立一套: “目标驱动、决策可追溯的演进式架构治理” (Goal-Driven, Decision-Traceable Evolutionary Architecture Governance) 文档体系。 这套体系的目的,是让后续参与项目的人类和 AI 工具能够明确区分: 1. 项目最终希望产生什么结果; 2. 哪些约束和质量要求不能被轻易牺牲; 3. 当前接受了哪些…
-
摩托车驾照科目一
摩托车驾照 驾驶证 | 吊销 | 假1,吊2,撤/骗3,醉5,逃终生 | | --- | --- | | 扣证 | 酒驾,车给无证的人,超速50,拼装报废 | | 换证 | 变更30天,有效期满90天,户籍迁入地,换证居住地 | | 扣车 | 伪造变更两证两标一号牌,未带驾驶证,未带行驶证 | | 注销 | 超期一年未换证 | 扣分 | 扣1分 | 定期未检(2年,200块),不带头盔、安全带 | | --- | --- | | 扣3分…
-
Redis Lua 脚本中遇到的稀疏表问题
记录工作中一次 Redis Lua 脚本循环无法退出的问题,梳理稀疏表、长度运算、table.remove 与 cjson 空值处理的排查过程。