Hotdry.

Month Archive

2026-05

共 2205 篇文章。

visual intro to manifolds tangent space curvature

title: "可视化理解微分流形:从切空间到曲率张量的直观桥梁" date: "2026-05-31T17:51:18+08:00" excerpt: "用" 平坦相机 "与" 牙签实验 "构建微分流形的直观理解,掌握切空间、平行输运与曲率张量的可视化方法。" category: "systems" 微分几何的形式化定义往往令人望而生畏 —— 流形、切丛、

2026-05-31general2026-05

ai coding tools and frontends lost decade

title: "AI 编码工具与前端的" 失落十年 ":抽象层爆炸的循环陷阱" date: "2026-05-30T08:50:36+08:00" excerpt: "从 jQuery 到 React 再到 AI 生成代码,前端技术栈在抽象层爆炸中循环往复。本文剖析 AI 工具如何加速这一陷阱,并提出可落地的架构防护策略。" category: "web"

2026-05-30general2026-05

engineering ai taste calibration ai tells detection

title: "工程化构建 AI Taste 校准机制:AI Tells 检测技能文件的实践路径" date: "2026-05-30T19:28:22+08:00" excerpt: "基于 stop-slop 技能文件,构建 AI 生成文本的" 品味 "校准框架,通过特征模式识别消除标志性 AI 痕迹,并提供可落地的五维评分与集成策略。" categor

2026-05-30general2026-05

building ai text de slopping pipeline with skill files

title: "用技能文件模式构建 AI 文本" 去 AI 痕迹 "流水线" date: "2026-05-29T14:26:50+08:00" excerpt: "基于 stop-slop 技能文件,构建规则引擎驱动的 AI 文本风格检测与重写流水线,实现可配置的" 去 AI 痕迹 "工程方案。" category: "ai-systems" AI 生成文

2026-05-29general2026-05

building llm smells detection system

title: "构建 LLM 输出" 异味 "检测系统:从规则到智能分类" date: "2026-05-29T04:49:16+08:00" excerpt: "基于软件工程中 Code Smells 理念,构建 LLM 输出质量检测系统,识别重复短语、过度格式化等 AI 味特征,实现自动化质量过滤。" category: "ai-systems" LLM

2026-05-29general2026-05

frontend ai toolchain abstraction trap

title: "AI 工具链加剧的前端抽象层陷阱:从 Mastro 的 700 行代码谈起" date: "2026-05-29T20:51:03+08:00" excerpt: "以 Mastro 框架的极简设计为切入点,分析 AI 辅助开发工具链如何在前端" 失落的十年 "基础上叠加新的抽象层复杂度,并提出可落地的依赖治理与架构守卫策略。" catego

2026-05-29general2026-05

Rust 1.96类型推断优化与const泛型迁移实践

Rust 1.96在类型系统层面修复了元组表达式中never类型的强制转换和函数参数推断指导问题,同时强化了const泛型参数的类型检查,本文提供迁移检查清单与兼容性应对策略。

2026-05-29compilers2026-05

lr schedule cooldown training rest days

title: "学习率调度的休息日机制:用周期性冷却打破损失平面停滞" date: "2026-05-28T11:28:24+08:00" excerpt: "探索周期性学习率冷却机制的工程实践:在密集训练阶段插入" 休息日 ",通过 CLR、Warm Restarts 等策略逃离损失平面停滞,提升模型收敛效率与泛化性能。" category: "ml-tr

2026-05-28general2026-05

光追与潜行:当真实光照破坏游戏可读性

《Splinter Cell: Chaos Theory》总监指出,现代实时光追与全局光照技术虽提升视觉保真度,却使潜行游戏的光影边界难以辨识。本文探讨光照真实性与玩法可读性的工程权衡,并提出可落地的灯光设计参数。

2026-05-27systems2026-05

filtering ai text style with structured skill files

title: "用结构化技能文件过滤 AI 文本的"AI 味 "" date: "2026-05-27T04:49:32+08:00" excerpt: "介绍 stop-slop 项目如何通过结构化技能文件识别并过滤 AI 生成文本中的常见"AI 味 "特征,包含三层过滤机制与五维评分体系。" category: "ai-systems" 大语言模型生成的

2026-05-27general2026-05

the just say no engineer post zirp framework

title: "从" 拒绝型工程师 "到机会成本框架:ZIRP 结束后技术决策文化的重构" date: "2026-05-27T13:01:21+08:00" excerpt: "分析 ZIRP 时期 ' 拒绝型工程师 ' 文化的技术决策模式,探讨从资源丰裕期的过度筛选到常态下的机会成本计算框架的转变。" category: "systems" 在 2010

2026-05-27general2026-05

Gnutella协议25年持续运行的设计启示

从Gnutella协议的设计特性出发,探讨去中心化P2P系统如何通过架构选择实现长期稳定运行,以及可落地的工程参数与演化策略。

2026-05-25systems2026-05

8位机约束环境如何塑造系统级直觉

从Susam Pal的童年计算经历出发,探讨早期资源受限环境如何在工程师心智中植入内存布局、I/O时序与资源稀缺性的直觉模型,并映射到现代系统设计的决策框架。

2026-05-25systems2026-05

build your own x deep learning through reconstruction

title: "Build Your Own X:通过重建经典系统掌握底层工程原理" date: "2026-05-24T21:02:22+08:00" excerpt: "从使用 Redis、Git 到亲手重建它们,探索" 从零构建 "这一被顶尖工程师验证的深度学习方法论,包含实践路径与阶段规划。" category: "systems" 在软件工程的学习

2026-05-24general2026-05

z386:基于原始微码的开源 80386 FPGA 实现

z386 项目通过执行原始 Intel 微码在现代 FPGA 上重建 80386,实现了仅 8K 行代码即可运行 Doom 的精简架构,为复古 CPU 设计与微码考古提供了可落地的工程范式。

2026-05-24hardware2026-05

chrome devtools mcp ai browser debugging

title: "Chrome DevTools MCP:让 AI 代理获得浏览器调试能力的工程实践" date: "2026-05-21T20:50:15+08:00" excerpt: "通过 Chrome DevTools MCP 服务器,AI 编码代理可直接操控浏览器进行性能分析、DOM 调试与自动化测试,实现从" 蒙眼编程 "到" 眼见为实 "的转变

2026-05-21general2026-05

open source death and sustainability patterns

title: "开源项目的" 死亡 "与可持续治理的工程实践" date: "2026-05-20T07:25:54+08:00" excerpt: "剖析开源项目失败的六种典型模式,从单一维护者依赖到财务错配,提供可落地的工程治理策略与倦怠预防机制。" category: "systems" 开源项目的 "死亡" 很少是突然发生的。它更像是一种渐进的可持续

2026-05-20general2026-05

bambu studio agpl networking violation analysis

title: "Bambu Studio 网络插件 AGPL 违规分析:闭源二进制与开源许可证的冲突" date: "2026-05-18T14:49:20+08:00" excerpt: "分析 Bambu Studio 闭源网络插件与 AGPL-3.0 许可证的冲突,探讨" 衍生作品 "界定、安全审计风险及合规实践建议。" category: "secu

2026-05-18general2026-05

lemma engineering formal proof strategy

title: "引理工程:形式化证明中的策略性引理选择" date: "2026-05-18T12:50:38+08:00" excerpt: "从 Zeilberger 的" 好引理胜过千条定理 "出发,探讨形式化证明中引理选择的工程策略,提供可落地的分解原则与维护参数。" category: "systems" 在形式化证明工程(Lean、Coq、Isa

2026-05-18general2026-05

klaxon liveview edge serverless realtime earthquake

title: "Klaxon:LiveView 无后端架构下的实时地震流与边缘渲染边界" date: "2026-05-17T20:26:50+08:00" excerpt: "探索 Klaxon 如何利用 Phoenix LiveView 的 PubSub 与 diff 渲染,在" 无后端 "架构中实现毫秒级地震数据推送,并权衡服务器渲染与边缘计算的适用边

2026-05-17general2026-05

Supertonic Swift ONNX TTS Integration

深入解析 Supertonic 如何将量化 ONNX 模型嵌入 Swift 运行时,通过流式推理调度与 CoreAudio 渲染管线实现设备端多语言低延迟语音合成。

2026-05-17ai-systems2026-05

AI辅助编程中的决策质量与工程护栏实践

从工程实践角度解析 Mitchell Hashimoto 的 Agentic Workflow 方法论,探讨如何通过 Harness Engineering 与分层验证机制,在保持代码理解深度的同时提升团队决策质量与生产力。

2026-05-16ai-systems2026-05

OVMS 电动车远程诊断与 OTA 工程实现解析

深入解析 OVMS 开源电动车监控系统的工程架构:CAN 总线协议解析、DBC 解码与注入机制、双向命令通道设计、A/B 分区 OTA 机制与安全回滚策略。

2026-05-15ai-systems2026-05

GGUF 张量级量化参数编码规范的结构性缺失

剖析 GGUF 格式在 tensor 级量化参数编码层面的规范空白——bitpacking 语义、量化轴约定、group size 元数据缺失——以及由此引发的跨推理引擎量化保真度碎片化问题。

2026-05-15ai-systems2026-05

当软件遇见 AI:Emacs 可扩展哲学的范式复兴

探讨 Emacs 的可扩展设计理念如何重塑现代 AI 辅助编程工具与软件架构范式,从 Lisp Machine 理念到 AI Agents 的自我演进,揭示可扩展性哲学在 AI 时代的深层回响。

2026-05-14ai-systems2026-05

Traceway:90秒自托管的MIT许可可观测性栈

基于OpenTelemetry、ClickHouse与Grafana技术栈,Traceway实现Logs/Traces/Metrics/Session Replay一体化,提供90秒Docker Compose自托管方案与嵌入式Go模式,对比商业SaaS解决成本与 Vendor Lock-in 痛点。

2026-05-13observability2026-05

when idle isnt idle quic kernel timer coalescing bug

title: "当" 空闲 "并非真空闲:Linux 内核优化如何演变为 QUIC 死亡螺旋" date: "2026-05-13T22:01:58+08:00" excerpt: "解析 Linux 内核 timer coalescing 机制如何导致 QUIC idle 超时误判,以及最小拥塞窗口场景下的连接稳定性陷阱。" category: "syst

2026-05-13general2026-05

语义图编码驱动的多智能体交互模式设计

将交互模式抽象为可组合的语义图节点,通过结构化图编码实现多智能体系统中的意图传播与状态一致性维护,给出工程化实现参数与图模式设计要点。

2026-05-12ai-systems2026-05

Cloudflare 对 Canonical 市场施压的机制分析

解析 2026 年 4 月 Canonical 遭遇 DDoS 攻击事件中,Cloudflare 如何通过 DNS 解析服务对开源发行版形成商业杠杆,探讨 CDN 供应商的双重角色冲突。

2026-05-12security2026-05

Databricks Lakebase 的 Postgres 写入加速架构

深入解析 Lakebase 如何通过计算与存储分离架构,将全页写入(FPW)瓶颈下推至分布式存储层,实现 5 倍写入吞吐提升与 94% WAL 流量削减。

2026-05-11systems2026-05

x86-64汇编HTTP服务器:零依赖syscall工程实践

用纯汇编直接调用Linux socket syscall实现HTTP/1.1服务器,跳过libc与标准库,探讨寄存器约定、EPOLL事件模型、HTTP解析边界等工程约束与最小化二进制体积的实践路径。

2026-05-10compilers2026-05

OpenAI 实时 API WebRTC 连接故障排查与候补方案

面向 OpenAI 实时 API 的 WebRTC 集成场景,系统梳理 ICE 连接失败与媒体流断连的根因链路,并给出 TURN 候补、信令加固、生产环境验证的实战参数与监控要点。

2026-05-10ai-systems2026-05

BASIC 环境下 Vi 编辑器核心算法实现

在 BASIC 环境中实现 Vi 编辑器的文本操作核心算法,涵盖光标移动、行操作、模式状态机与终端 I/O 处理的技术细节与工程实践参数。

2026-05-07systems2026-05

面向长时序AI代理的增量计算引擎设计

深入解析CocoIndex如何通过声明式状态驱动模型实现增量计算,仅处理变更数据而非全量重跑,为长时序AI代理提供亚秒级新鲜度的技术方案。

2026-05-06ai-systems2026-05

生产系统中高级抽象的隐藏性能开销

分析高级抽象在运行时产生的性能开销与内存开销,探讨垃圾回收、虚函数调度与缓存局部性对生产系统的影响,并给出可落地的优化参数与监控要点。

2026-05-04systems2026-05

IPv6协议复杂性根源的技术剖析

从前IETF主席Brian Carpenter的视角,解析IPv6协议复杂性的三大根源,对比IPv4地址架构与路由机制,为网络工程决策提供技术依据。

2026-05-03systems2026-05

GCC/Clang整数溢出检查性能开销基准分析

基于bzip2等真实基准测试数据,量化分析GCC/Clang在-O3优化级别下启用整数溢出检查的性能开销,为安全关键代码的编译策略提供决策依据。

2026-05-02compilers2026-05