Page 716
最新见解 · 第 716 页
共 16860 篇文章，分类 267 个。
最新见解
近期的思考与工程笔记。
基于LSH的万亿网页去重：分布式爬取与分片PB级存储工程实践
探讨Internet Archive在存档1万亿独特网页时的工程方案，包括LSH去重算法、分布式爬取系统和分片PB级存储策略，提供可落地参数与监控要点。
阅读全文 →
在 CHERI 硬件上以纯能力模式引导 Linux 内核：编译挑战与模式切换
探讨 CHERI 纯能力模式下 Linux 内核引导过程，分析编译难点、模式切换机制及工程化参数，实现无混合妥协的硬件内存隔离。
阅读全文 →
Infisical 中自动化 PKI 证书轮换与 SSH 访问审计
利用 Infisical 的 policy-driven workflows 自动化 PKI 证书轮换和 SSH 访问审计，实现安全合规的基础设施秘密管理。涵盖证书模板配置、续期策略、SSH 证书发行及审计日志监控要点。
阅读全文 →
BitNet 的 TVM 优化移动部署：位串行操作与低延迟内核融合
整合 TVM 编译器传递以支持 BitNet 中的位串行操作，实现移动端低延迟的 1 位 LLM 推理，包括内核融合和运行时调度。
阅读全文 →
通过GPT-OSS反刍模式推断OpenAI训练数据组成与比例
分析开源GPT模型输出中的反刍模式，以逆向工程推断OpenAI训练数据的具体来源和比例，提供高效自定义LLM数据集 curation 的指导参数和清单。
阅读全文 →
Magic Wormhole 中使用 PAKE 实现带外代码验证与 TCP 打洞的加密 P2P 文件传输
探讨 Magic Wormhole 如何利用 SPAKE2 PAKE 协议通过虫洞代码安全建立密钥，并结合 TCP 打洞实现无中介的加密文件传输，提供工程参数与最佳实践。
阅读全文 →
工程化众包 ALPR 摄像头位置映射工具：集成开放数据 API 实现隐私导航与警报
探讨 Deflock 项目如何通过众包和开放 API 工程化 ALPR 摄像头映射，支持隐私保护的导航和实时警报，提供工程参数与最佳实践。
阅读全文 →
工程化 LLM 分词器处理变体选择符与规范化管道：对抗性海马表情序列缓解
针对对抗性 Unicode 变体选择符序列，如海马表情变体，探讨 LLM 分词器的处理机制、规范化管道设计，以及工程参数与监控要点，以提升鲁棒性。
阅读全文 →
Engineering 25-Year DOOM Engine Evolution in SRB2 Fangame
分析SRB2中DOOM引擎的兼容、渲染与资产模块化，聚焦工程实践与性能优化。
阅读全文 →
LLM 分词器中实现多字节 UTF-8 解码回退与规范化：处理对抗性海马表情序列
面向对抗性海马表情序列，给出 LLM 分词器中多字节 UTF-8 解码回退与 Unicode 规范化的工程化实现与参数配置。
阅读全文 →
Custom ASIC Design for BitNet Ternary Logic Accelerators
针对 BitNet 的三进制逻辑单元和位串行乘法器，设计自定义 ASIC 以实现边缘 IoT 设备上超低功耗 1-bit LLM 推理，提供工程参数和优化策略。
阅读全文 →
在安全关键软件中实现 SPARK 形式验证：使用 GNATprove 的合同开发流程
探讨在安全关键 C/C++ 替换中使用 SPARK 形式验证流程，集成 GNATprove 证明无运行时错误。提供工程参数、监控要点和实施清单，帮助开发者从传统测试转向可证明安全。
阅读全文 →
FPGA上BitNet 1-bit LLM推理的位串行乘法器实现：超低功耗边缘部署与HLS流水线
本文探讨在FPGA上使用位串行乘法器加速BitNet 1-bit LLM推理，通过自定义HLS流水线实现边缘设备的超低功耗部署。提供设计参数、优化策略和落地清单，帮助工程师快速构建高效推理系统。
阅读全文 →