LLM引导式学习工作流:用苏格拉底式Prompt重塑技术学习体验
借鉴Lathe项目理念,设计LLM引导式学习工作流:通过结构化Prompt让模型扮演苏格拉底式导师,引导用户深入新领域而非直接给答案。
Latest Essays
继续沿着时间线阅读近期的工程实践与技术观察。
近期的思考与工程笔记。
借鉴Lathe项目理念,设计LLM引导式学习工作流:通过结构化Prompt让模型扮演苏格拉底式导师,引导用户深入新领域而非直接给答案。
探讨 Lathe 项目如何将 LLM 从代码生成工具转变为学习导师,通过结构化追问、概念拆解和动手实践实现深度领域入门。
基于 Project N.O.M.A.D 的离线 AI 生存系统工程实践,涵盖硬件选型、容器化架构与应急场景部署策略。
通过分层递进的方式重构 Warren Abstract Machine,深入理解 Prolog 的变量绑定、统一算法与回溯机制在抽象机层面的实现原理。
分析AI推理成本下降280倍但支出激增320%的杰文斯悖论,揭示推理模型定价与真实成本之间的结构性倒挂及其可持续性危机。
Yon 语言以 topos 理论为根基,通过 Leech lattice 内容寻址堆实现 O(1) 结构相等性,以函子化类型系统替代传统 typeclass,探索范畴论在编译器设计中的工程化落地路径。
通过taste-skill项目探索AI内容品味过滤的工程化实现,包括可调参数配置、SKILL.md格式设计与image-to-code工作流整合。
解析 Goose AI Agent 的 Rust 实现扩展架构,聚焦 MCP 工具系统集成机制、动态扩展点设计与工程化实践参数。
探讨自托管 WASM 沙箱在 JavaScript Workers 环境中的隔离机制、能力模型与执行架构,为边缘计算场景提供安全隔离的工程化参考。
微软开源的 pg_durable 扩展将持久化执行模式引入 PostgreSQL,支持在数据库内部定义工作流、自动 checkpoint 与故障恢复,无需外部编排服务。
基于 Google TurboQuant 算法的 turbovec 实现解析,探讨高维向量压缩的精度-速度权衡与工程落地参数。
通过多尺度Patch数据集与闭式最优去噪器,实现无需神经网络训练的单图像扩散生成,支持百万像素1秒生成与文本引导风格化。
深入分析 io_uring_spawn 如何利用 IORING_OP_CLONE 与 IORING_OP_EXEC 实现比 posix_spawn 快 30% 的进程创建,探讨与 clone3、vfork 在延迟、吞吐量与安全性上的工程权衡。
解析BGP AS_PATH First AS验证机制,从Cloudflare实测数据看Tier 1网络的安全现状,提供多厂商配置参数与部署检查清单。
分析推测解码与KV缓存压缩的耦合机制,提供预取窗口、压缩粒度与解码并行度的联合优化参数配置,实现推理延迟与内存占用的帕累托最优。
从 CSS 变量驱动到 SVG 路径插值,提供一套可落地的 Vue 动画图标组件架构与性能优化参数清单。
Wolfram最新研究揭示,程序竞争行为受计算不可约性主导,无法通过简单参数预测,必须系统性枚举所有可能策略才能理解竞争本质。
解析 Go 1.26 中 Green Tea GC 从实验到默认的架构变革,以及编译器逃逸分析与栈分配优化对 GMP 调度模型的工程落地影响。
深入解析Win16分段内存架构的核心机制,包括selector/offset映射、NE格式重定位表处理及全局堆锁定策略,为现代兼容层实现提供可落地的技术参数。
从数学公式到工程实现,详解庞加莱圆盘模型中双曲距离计算、测地线绘制算法及莫比乌斯变换的数值稳定性处理。