Hotdry.

09

2025 年 • 共收录 1967 篇思考

30

2025 / 09
compiler-design

在 LLVM ORC JIT 中集成 TPDE 代码生成后端

本文探讨如何将 TPDE 作为代码生成后端集成到 LLVM ORC JIT 中,实现高效的动态编译和优化,支持即时代码生成管道的工程实践,包括关键参数和监控要点。

systems-engineering

Postgres 中 Kalman 滤波器的实现

使用 PL/pgSQL 和窗口函数在 Postgres 中实现 Kalman 滤波器,进行流式传感器数据的实时状态估计,包括自定义聚合的矩阵操作要点。

systems-engineering

使用 ABS Actor 模型构建无锁并发系统

利用 ABS 语言的 actor 模型,通过异步消息传递和行为类型化,实现可扩展的分布式应用的无锁并发系统构建要点和工程参数。

systems-engineering

使用 pdfplumber 实现零拷贝 PDF 解析

探讨 pdfplumber 在高效提取 PDF 文本、表格和布局元素的工程实践,利用矩形和线检测构建可扩展文档处理管道。

29

2025 / 09
compiler-design

Typst Rust 标记解析器与布局引擎设计

Typst 通过 Rust 实现的标记解析器和布局引擎,支持高效文档编译、数学方程和图表渲染,实现亚秒级响应。探讨其核心设计与工程参数。

compiler-design

将 WASM GC 集成到最小 Scheme 编译器中

探讨在 C 语言编写的简易 Scheme 编译器中集成 WASM GC 提案,实现自动内存管理和高效 WebAssembly 代码生成,提供工程化参数与最佳实践。

28

2025 / 09
systems-engineering

Python 类型提示与运行时验证集成

在 Python 服务中集成运行时类型验证与静态提示,实现动态错误恢复和可观测性指标,提升生产可靠性。

ai-systems

使用 SST Opencode 工程化终端 AI 编码代理

在终端中构建原生 AI 编码代理,使用 TypeScript 和 SST,支持模块化 LLM 集成,实现自治代码生成、重构及本地测试。提供配置参数、监控要点和落地指南。

ai-systems

使用 AutoGen 框架构建协作式 AI 代理

通过 AutoGen 框架定义代理角色、实现对话模式,并协调任务分解,在 Python 环境中解决复杂问题。适合初学者,包含实用代码示例和最佳实践参数。

systems-engineering

Jellyfin 中 DLNA/UPnP 发现协议的工程实现

探讨 Jellyfin 通过 DLNA 插件实现 UPnP 设备自动发现的工程细节,包括 SSDP 协议处理、配置参数和兼容性优化,实现无配置媒体流向智能设备。

ai-systems

FlashAttention-4 中的 IO 感知块分块策略

探讨 FlashAttention-4 中 IO-aware 块分块策略的工程实现,通过重叠计算与 HBM 访问,在 A100 GPU 上实现长序列 MQA 推理的 2 倍吞吐量提升。提供参数调优与监控要点。

compiler-design

优化 Typst 的并行渲染管道

Typst 通过并行处理标记语言优化大型技术文档的 PDF 生成,实现亚秒级编译。探讨管道设计、可落地参数与监控要点。

systems-engineering

Rust Foyer 缓存中的无锁并发访问工程化

在 Rust 的 Foyer 混合缓存中,使用原子操作和风险指针实现无锁并发访问,提供高吞吐量的 S3 对象检索,避免线程争用下的性能瓶颈。

ai-systems

Dynamo 中异构 GPU 集群的零停机自动缩放

探讨 NVIDIA Dynamo 如何使用 Rust 实现零停机滚动更新和自动缩放策略,支持数据中心规模 AI 推理的无缝扩展,提供工程参数和监控要点。

ai-systems

使用 Memvid 在 MP4 中嵌入语义搜索:边缘设备优化

Memvid 通过将文本块编码为 MP4 中的 QR 帧,并将向量索引置于元数据,实现无数据库的亚 100ms 语义搜索。针对边缘设备,提供压缩参数、检索阈值和监控要点,确保高效离线运行。

27

2025 / 09
systems-engineering

使用 ProxyPin 实现跨平台 HTTP 捕获

基于 Dart 的 ProxyPin 工具集成系统代理,支持 HTTP(S) 拦截、TLS pinning 绕过,提供多平台实时请求响应 UI 用于调试与安全测试。

compiler-design

LiteX 最小化语法入门

介绍 LiteX 形式语言的简洁语法规则与交互式教程模块,加速验证工作流从小时到分钟的采用。

systems-engineering

SQLite 向量搜索中产品量化的优化

针对内存受限场景,调优产品量化码本大小与重建阈值,提升 SQLite 向量扩展的存储效率与近似最近邻搜索性能。

ai-systems

Building Modular Terminal AI Agents with Gemini CLI

探讨 Gemini CLI 的核心架构,支持流式响应、动态工具调用和 MCP 插件扩展,实现无缝 CLI 集成。提供工程化参数和配置指南,帮助开发者构建高效的终端 AI 工作流。

systems-engineering

使用 Pgshark 拦截 Postgres 线协议

通过 Wireshark 插件 Pgshark 拦截 Postgres 线协议,实现实时查询日志和性能指标监控,无需修改应用或数据库。

ai-systems

构建Gemini提示的模块化评估管道

利用Gemini Cookbook指标如忠实度和相关性,构建模块化评估管道,实现自动化基准测试与迭代优化,提升生产AI应用提示工程质量。

ai-systems

Moondream 3:实现前沿推理的高速紧凑视觉语言模型

Moondream 3 通过 9B MoE 架构,仅 2B 活跃参数,实现前沿视觉推理能力,支持长上下文和 grounding。优化推理引擎确保边缘部署的高速运行,提供对象检测、OCR 等功能的参数配置与集成指南。

26

2025 / 09
ai-systems

使用 Exo 实现家庭设备间的 P2P AI 推理集群

Exo 项目允许用户在手机、笔记本等消费级设备上构建分布式 AI 集群,实现无云依赖的 LLM 服务。通过 P2P 网络和动态模型分区,支持大规模模型推理,提供 ChatGPT 兼容 API,便于集成。

systems-engineering

树莓派 500:嵌入式项目的紧凑硬件集成

树莓派 500 将 Pi 5 SoC 与暴露 GPIO、触摸屏支持集成到信用卡大小的一体机中,售价 90 美元,适用于教育嵌入式项目和快速原型,提供工程参数和开发清单。

systems-engineering

RedoxFS 中 ZFS 启发的写时复制快照工程

探讨 RedoxFS 在 userspace 实现 ZFS 式 COW 快照、端到端校验与 resilience 的工程实践,提供参数配置与监控要点,确保数据完整性无内核依赖。

systems-engineering

Dynamic Capability Delegation and Revocation in Cap'n Web

在 Cap'n Web 的对象能力 RPC 系统中,实现动态能力委托与撤销,用于安全多租户 web 应用的细粒度访问控制。详述工程参数、处置策略及监控要点。

25

2025 / 09
systems-engineering

IX LAN 中以太网异常检测工具的实现

针对互联网交换点 LAN 中的以太网层异常,如无效 VLAN 标签和多播洪泛,提供数据包捕获分析工具的工程化实现、参数配置与监控策略。

systems-engineering

使用 Git 进行个人活动跟踪

面向个人生产力,给出使用 Git 记录任务日志、生成时间线与总结的工程化参数与监控要点。

ai-systems

使用 Onyx 构建支持 RAG 的团队 GenAI 聊天系统

Onyx 是一个开源平台,用于构建集成团队文档的 RAG 增强 GenAI 聊天系统,支持上下文查询、协作编辑和安全知识共享,无需外部 API。探讨其部署和配置要点。

24

2025 / 09
systems-engineering

yt-dlp 中工程化动态 JS 解析与签名解密

针对 YouTube 新下载限制,探讨 yt-dlp 通过模块化提取器实现动态 JS 解析和签名解密的工程实践,包括关键参数监控与更新策略。

application-security

在CookLikeHOC中构建交互式食谱溯源可视化

利用JavaScript技术栈,在CookLikeHOC项目中实现交互式图表和溯源地图,清晰展示从原料采购到菜品上桌的全链路流程,提供关键参数配置与优化策略。

application-security

使用 Fiber 工程化高性能 HTTP 路由和中间件

基于 Fasthttp 后端的 Go 框架 Fiber,通过零分配处理器和上下文重用实现相对于标准库 10x 加速,针对生产 API 的路由和中间件工程实践与配置参数。

ai-systems

工程化生产级 AI 代理上下文管道

基于真实部署经验,探讨 AI 代理上下文管道的构建,包括混合检索、自适应摘要和故障恢复策略,提供可落地参数、阈值和监控清单。

ai-systems

实现约束束搜索用于LLM JSON生成

在生产环境中,使用约束束搜索确保LLM可靠输出结构化JSON,平衡多样性与准确性,提供关键参数和落地清单。

systems-engineering

Postgres CDC 中使用 Lua 进行行级变换

通过 PeerDB 集成 Lua 脚本,实现 Postgres CDC 流式管道中的自定义数据过滤、丰富和路由,提供工程化参数与监控要点。

ai-systems

Opcode 中安全的后台代理沙盒化

在 Opcode 中工程化沙盒化的后台代理,用于安全的 Claude Code 执行,通过隔离进程、权限范围和实时监控防止多会话环境中的泄漏。

23

2025 / 09
application-security

使用 Cap'n Web 实现安全的跨域 RPC

在浏览器中工程化 Cap'n Web 的跨域 RPC,利用对象能力模型缓解 CSRF 和注入风险,提供 schema 验证替代方案与监控参数。

systems-engineering

Zoxide:用 Rust 实现的模糊目录导航 CLI 工具

Zoxide 是一个用 Rust 编写的智能 cd 命令替代品,利用 SQLite 索引和模糊匹配加速目录跳转,支持会话感知历史记录。在资源受限环境中优化 shell 工作流,提供安装配置参数和性能监控要点。

22

2025 / 09

21

2025 / 09

20

2025 / 09

19

2025 / 09

18

2025 / 09

17

2025 / 09

16

2025 / 09
systems-engineering

用纯x86-64汇编构建基本X11 GUI窗口

从零开始用x86-64汇编实现X11窗口创建、事件循环、绘制原语和输入处理,提供完整代码框架和优化参数。

15

2025 / 09
ai-systems

用 OpenCode 实现终端 AI 编码代理

基于 TypeScript 构建终端 AI 代理,支持本地 LLM 调用与文件 I/O,实现离线多步编码工作流,无需 IDE 依赖。

application-security

Ripple TypeScript UI 框架中的信号式响应原语

探讨 Ripple 框架中基于信号的响应式原语,用于可组合状态管理、高效重渲染以及与虚拟 DOM 差异化的无缝集成,提供工程化参数和实现清单。

14

2025 / 09

13

2025 / 09
ai-systems

Self-Fixing Chatbots with Closed-Loop Analytics

Engineer closed-loop analytics in chatbots to monitor interactions, detect errors via user feedback signals, and trigger self-corrections using adaptive prompts for improved response accuracy.

12

2025 / 09
ai-systems

构建AI对齐研究中心协作平台

探讨AI对齐研究中心协作平台的构建,支持跨机构知识共享、风险评估模型集成与标准化安全协议,实现高效研究协调。

systems-engineering

Motia:统一后端框架的构建与实践

Motia 通过事件驱动架构统一 API、后台作业、工作流和 AI 代理,提供多语言支持与内置可观测性,助力可扩展后端开发。

systems-engineering

维持 curl C 代码库的策略

探讨 curl 项目在 25 年历史中如何演进 API、进行安全审计、吸引贡献者,并平衡创新与向后兼容。

11

2025 / 09
ai-systems

击败LLM推理中的非确定性

通过固定随机种子、温度控制和中间结果缓存,实现LLM生产环境输出可复现,提供工程参数与监控要点。

systems-engineering

Intel E2200 Packet Processing Offload Engineering

Engineering IPU for high-throughput packet processing with custom DMA engines, flow classification, and offload acceleration for 100G+ Ethernet in edge/cloud infrastructure.

10

2025 / 09
ai-systems

MaxKB:企业级代理知识集成

通过 RAG 和工具链集成知识库,实现可扩展代理编排,支持企业 AI 工作流,强调数据隐私和实时查询。

ai-security

AI代理本地控制的安全沙箱隔离机制

探讨工程化AI代理的沙箱隔离、系统调用监控与权限最小化原则,防范本地文件访问和进程控制风险,提供可落地参数与监控要点。

09

2025 / 09
compiler-design

工程化 OCaml 模块与值的统一表示

面向可组合函数抽象,给出 OCaml 模块与值的统一表示工程实践,以减少类型安全代码生成管道中的样板代码。

compiler-design

Visualizing Rust Type System Hierarchies

工程化交互式可视化工具,用于导航 Rust 类型系统,包括 traits、lifetimes 和 borrow checker 的机制,适用于编译器调试和教育。

08

2025 / 09
ai-systems

BitNet 三元权重阈值优化工程实践

通过自定义三元权重阈值选择算法,优化 BitNet 框架,实现 CPU-only 1-bit LLM 的低延迟推理与内存节省,提供工程参数与监控要点。

compiler-design

设计AI驱动代码风格自适应系统

基于语义分析的AI系统自动调整代码布局,取代手动格式化工具,实现跨风格一致性,提供工程参数与监控要点。

systems-engineering

在 Flix 中实现基于处理器的代数效应

探讨 Flix 中处理器驱动的代数效应实现,用于可组合异步操作和错误处理,避免单子变换器以实现更简洁的效应组合。

07

2025 / 09
ai-security

Trivy 模块化漏洞扫描架构剖析

深入解析 Trivy 如何通过模块化设计与多源集成实现容器、K8s、云环境的高效漏洞扫描,涵盖架构设计要点与工程实践。

06

2025 / 09
ai-systems

GLM-4.5与Claude Code的致命组合:重新定义AI编码代理

Zhipu AI最新发布的GLM-4.5模型与Anthropic的Claude Code工具相结合,正在重新定义AI编码代理的能力边界。本文深入分析这一组合的技术优势、实际应用场景以及对开发者工作流程的革命性影响。

general

StartupTech Kickoff Blueprint

深入分析创业公司技术启动的关键决策点,提供从探索到规模化的完整技术架构指南。

05

2025 / 09

04

2025 / 09
general

AI认知衰退的神经科学视角

MIT最新研究揭示AI使用如何重塑大脑神经网络,探讨技术依赖与认知能力之间的微妙平衡

03

2025 / 09