将 SQLite WAL 数据库嵌入便携式应用文件格式:实现 ACID 事务与并发读
面向便携应用,给出 SQLite WAL 模式的文件格式设计、并发参数与原子升级清单。
Latest Essays
继续沿着时间线阅读近期的工程实践与技术观察。
近期的思考与工程笔记。
面向便携应用,给出 SQLite WAL 模式的文件格式设计、并发参数与原子升级清单。
LightRAG低资源RAG场景下,query fusion的chunk thresholds调优参数与distillation权重设置,实现高效融合检索与资源优化。
针对TigerBeetle DB状态机,对AFL++、libFuzzer、CMurphi、Kani进行crash复现、覆盖率及harness设计基准,剖析生产fuzzing集成权衡与参数优化。
在低资源环境下,利用 LightRAG 双图索引实现查询融合与模型蒸馏,详细调优 chunk 阈值与融合权重,提升检索精度。
基于开源banrays原型,给出IR LED电路设计、低功耗参数与嵌入式警报部署要点。
剖析 Moss 以26k行Rust代码实现Linux ABI兼容的关键最小化策略:精简syscall表、buddy-slab混合内存管理和异步ABI桥接实践。
基于 Google ADK-Go,以代码定义构建复杂 AI 代理的核心工具调用机制、评估管道配置参数,以及部署运行时灵活控制要点。
剖析Moss Rust内核最小syscall表实现Linux ABI兼容,焦点模块化异步分派、virtio设备直通桥接与工程化参数。
剖析Moss Rust内核Buddy分配器的物理页操作机制,以及Slab-like smalloc引导小对象分配,实现Linux兼容的无碎片内存管理,提供参数调优清单。
基于 Spinellis 项目,手把手重建 Unix 历史 repo:合成 commits,支持 blame 和 diffs 进行历时代码分析,提供参数清单。
基于Dia2构建低延迟流式TTS系统,给出prefix条件、CUDA graph优化、Mimi chunk参数与监控阈值清单。
用Qiskit在NISQ模拟器实现Shor周期查找QFT电路,分解小半素数,并给出破解2048位RSA的工程参数:数千逻辑比特、百万物理比特与T门清单。
WSABuilds 项目提供预构建 WSA,支持 Magisk/KernelSU Root 和 MindTheGapps,一键部署根 Android 子系统,避免手动补丁。
moss 项目以 26k 行 Rust 代码实现 Linux 兼容内核,聚焦 no_std 环境、自定义分配器及 syscall 实现,提供内存安全的最小引导与用户空间兼容。
光化学加工(PCM)通过光阻、曝光、显影与化学蚀刻,实现薄板金属微米级精密零件生产,支持复杂几何无机械应力、无毛刺,详述工程参数、侧蚀控制与生产清单。
LightRAG通过双图索引融合local/global查询,实现低资源RAG:动态chunk阈值选择、实体关系检索阈值优化及高效部署参数清单。
Go 单文件嵌入 SQLite+WebSocket 实现实时 CRUD 同步、冲突解决策略与 Admin UI 一体部署的关键参数与监控要点。
Haskell 数据笔记本中 xeus-Haskell (C++/WASM/pybind11) 与 IHaskell (GHCi 嵌入) 的工程化 tradeoffs,给出启动延迟阈值、小部件兼容清单与包管理参数。
在开放寻址哈希表中引入Robin Hood的反向探测序列,实现缓存局部性最大化,支持>90%负载因子的工程参数、伪码与监控策略。
通过 PocketBase 实现单文件 Go 后端,利用 SQLite hooks 捕获变更并经 WebSocket 广播 delta,支持 offline-first 应用的冲突解析。