➡️
继续阅读
-
规范语言该不该带类型:Lean vs. TLA+
计算机科学家莱斯利·兰波特写论文说类型系统对数学有害,但他自己的规范语言TLA+却靠无类型集合论运转了二十多年。这个事实让一群用Lean证明定理的数学家很...
-
chat.nvim v1.11.0 与 v1.11.1:多 API Key 透明故障转移、截断续写与工具参数归一化
chat.nvim v1.11.0 发布,重点是提升请求稳定性与工具调用的健壮性。主要改进包括:支持多 API Key 轮换与透明故障转移,并按错误类型区...
-
区分事件类型和带有类型字段的通用事件
订单取消拆成独立事件类型,下游消费者会集体崩溃。通用事件里的可选字段会变成隐患! 一个电商系统跑了五年,订单取消只有一种写法,所有人相安无事。 某天运营加...
-
微说 | 想让马儿跑,得让马儿吃草!
文章借《亮剑》中李云龙与旅长的对话说明:要让下属干事,就须给予相应自主权和资源,不能既要人搞枪又要人当乖孩子,强调权责对等、放权才能成事。
-
真热闹!爱好者们使用eMudhra泄露证书为谷歌签发10.6万张证书 能通过CA公钥认证
印度CA机构eMudhra泄露中间证书私钥,其中一张私钥仅为数字4。爱好者利用该私钥为谷歌域名签发约10.6万张证书,占CT日志记录10.7万条的99%。...
-
发现频道:10款大家发现的好评软件[2026年第43期]
小众软件论坛“发现频道”近10日热门排行榜由系统自动生成,前十名依次为:Open Typora开源Markdown编辑器、Textus AI Markdo...