使用OCR和RAG curation 中国K-12教育语料库支持LLM微调
基于开源中国教科书资源,通过OCR提取、元数据标注构建结构化语料库,并集成RAG系统,用于教育AI中的多语言LLM微调与知识检索。
Latest Essays
继续沿着时间线阅读近期的工程实践与技术观察。
近期的思考与工程笔记。
基于开源中国教科书资源,通过OCR提取、元数据标注构建结构化语料库,并集成RAG系统,用于教育AI中的多语言LLM微调与知识检索。
在 Python unittest 中,Mock 对象若未正确隔离,可能导致后续测试失败。本文探讨通过每个测试使用新鲜实例和避免全局状态共享来实现测试隔离,提供具体参数和清单,确保测试套件稳定运行。
探讨如何利用 Memori 的关系映射功能构建分层知识图谱,实现多代理系统中高效的事实检索和语义深度优化,提供工程参数与实践指南。
探讨 VERL 中自定义奖励塑造的设计与集成,针对人类偏好对齐的安全约束和多目标优化,提供工程参数和落地清单。
使用 De Bruijn 索引在无类型 λ 演算中编码自然数,实现 name-free 表示,优化 β 归约和后继/前驱操作,避免 α 转换开销。
利用浏览器 Favicon 缓存行为和资源计时 API,实现跨会话持久用户指纹识别的技术要点、参数配置与防御策略。
探讨 PicoIDE 开源 IDE 如何通过 ATAPI 仿真处理命令集、数据传输和错误恢复,桥接现代开发工具与复古硬件的工程实践。
利用 Heretic 工具,在 LLM 推理时通过表示工程的 abliteration 技术选择性解除被审查 token 的绑定,实现自动审查移除。
在 Heretic 中实现选择性去审查,通过针对特定表示向量编辑主题敏感的 LLM 安全对齐,实现细粒度控制而不破坏全局性能。
开发模块化逆向工程管道,利用熵分析、部分解码和模糊测试破解20年未破译的文件格式漏洞,无需完整规范。
探讨在 VERL 框架中集成自定义 PPO 采样器,实现高效离线 RLHF 训练,优化 LLM 偏好对齐,包括数据批处理和奖励建模策略。
面向 Cursor AI 用户,提供 Python 脚本重置机器 ID 的工程化实现与参数配置,帮助访问 Pro 功能。
Zig 的 comptime 特性支持编译时计算,实现泛型编程和零成本抽象,适用于高效系统软件开发。
基于 Go 语言构建朴素贝叶斯垃圾邮件分类器,详解分词处理、词汇表构建及拉普拉斯平滑技术,适用于实时邮件过滤场景。
本文探讨利用 ReVoLTE 工具逆向 LTE 协议,通过 SDR 实现对加密语音通话的被动窃听,重点介绍密钥提取和实施参数。
在AI时代,小型开源项目面临维护者流失风险。本文探讨通过自动化入职、倦怠检测工具和去中心化治理,确保项目长期活力,而无需依赖大量资金。
针对飞机运动中的WWVB时间信号,提供HackRF-based SDR管线构建指南,包括FFT-based Doppler检测和PLL频率跟踪参数。
分析 bcrypt 在分布式认证系统中的时序攻击风险,探讨 constant-time 实现缺陷,并提供安全哈希工程化参数与最佳实践。
面向 LLM 服务管道,集成 Heretic 的表示工程技术,实现推理时动态审查移除,并优化低延迟参数与监控机制。
通过分类算法、系统设计模板和行为指南,构建高效的编码面试准备管道,提供工程化参数与清单。