- 博客(1830)
- 资源 (3)
- 收藏
- 关注
RSS订阅原创 Qwen3-VL-Embedding-2B 深度技术解析让文字、图片、视频与文档进入同一个向量空间
本文系统解析了Embedding、OCR、VLM与Reranker四类多模态技术的分工：Embedding用于跨模态语义表示与初步召回，OCR负责文本精确提取，VLM实现深度视觉理解，Reranker则对候选结果进行精细排序。以Qwen3-VL系列为例，2B/8B模型分别承担轻量与高精度任务，强调参数规模≠显存占用，且嵌入与重排模型独立。通过双塔架构实现高效大规模检索，利用末尾特殊Token生成固定维度向量，支持“文字找图”“图文联合查询”等场景。关键在于分阶段处理：先用Embedding快速召回，再由Re
2026-11-05 13:22:58
452
原创 OXR-1.0 深度解析1.3B 文档解析模型如何兼顾精度与速度？架构、RSI 与私有化部署实战
传统文档处理通常由 OCR、版面检测、表格识别、公式识别、阅读顺序恢复和内容拼接等多个步骤组成。每个步骤单独看都可能不错，但任一环节出错，都可能让最终 Markdown 变得难以检索和阅读。OXR 的产品定位不是“识别一行字”，而是把复杂页面恢复为机器可以进一步检索、引用和理解的结构化内容。其输出以 Markdown 和 JSON 为主，并提供布局坐标。官方模型卡列出的能力包括：以上共涉及 13 种元素类型。官方还展示了 A3 试卷、双栏论文、报纸、中文手写、复杂表格等示例，但这并不等于在所有真实文档上都能
2026-11-05 11:11:48
284
原创 Mika 源码级深度解析AI 如何在 Android 后台操作 App？从虚拟屏、AgentLoop 到 MCP 的完整实现
Mika 是一款基于 Android 的移动 Agent，突破传统 AI 工具仅限文本交互的局限，实现真实应用操作。其核心在于将大模型推理与设备端执行能力结合：通过后台虚拟显示器独立运行目标 App，利用无障碍服务与 ADB 辅助进程完成界面读取、滚动、点击等操作，支持微信、小红书等多场景自动化任务。项目采用分层架构，core 模块负责决策与工具调度，app 模块实现系统级能力，确保任务在不干扰用户主屏的前提下完成复杂流程。关键创新包括双屏隔离机制与可扩展的能力注入设计，使 AI 能“看见、操作、思考”，迈
2026-11-04 13:57:35
367
原创 100 人同时操作一座三维城市，为什么不需要服务器渲染 6000 帧？Rust + wgpu 多端并发架构实战
本文探讨智慧城市平台中多人三维协同的高效架构设计，强调解耦渲染、权威更新与网络分发三类时钟，采用Rust+wgpu本地渲染实现跨浏览器与原生客户端的统一逻辑共享。通过四层代码结构分离核心业务、渲染、同步协议与运行时，确保静态资源、权威状态、视图状态与播放状态各归其位。协议层面以版本化快照+增量更新保障一致性，支持120/60/30 FPS等异构客户端，实现“共享世界，不共享眼睛”的可信协同。
2026-11-02 10:39:15
188
原创 Rust + wgpu 实战让浏览器与原生桌面共用一套 3D 渲染代码
本文通过一个园区监测系统案例，展示如何用 Rust + wgpu 实现浏览器与桌面端的统一渲染。核心在于共享同一份 WGSL 着色器与渲染逻辑，通过实例化绘制（1,024 个监测点合并为一次绘制）实现跨平台一致性。关键设计包括：分离场景逻辑与宿主交互、使用顶点与实例缓冲区分几何与状态、以 TextureView 为接口统一渲染目标。实验验证了双端输出等价性，证明“一份代码画同一场景”可显著降低维护成本，提升可靠性。
2026-11-01 21:26:58
238
原创 Rust + WebAssembly 实战在浏览器里筛选 100 万个三维点
本文介绍如何用 Rust 编写高性能的 WebAssembly 算法，通过 wasm-bindgen 将 Rust 库编译为 Wasm，在浏览器中由 Worker 执行几何查询。针对百万级点云的高效处理，设计了仅传递索引而非完整坐标的数据接口，避免重复传输 12MB 数据。关键优化包括：使用 transferable 对象减少主线程开销、在 Worker 中复用 PointCloud 实例、返回压缩结果。最终实现低延迟、高吞吐的空间筛选，兼顾性能与内存安全。
2026-11-01 20:11:30
225
原创 用 Rust 搭建远程三维平台：Three.js / Cesium + WebRTC 的工程实践
本文探讨了使用Rust实现远程三维渲染系统的三种技术路线，主推“Rust控制层”（A）与“自定义媒体层”（B），强调将会话管理与媒体流送分离。推荐采用Axum+Tokio构建控制服务，复用Selkies等现有工具降低初期成本，重点保障会话生命周期管理、资源容量控制及低延迟画面传输。关键在于通过状态机精确管控会话状态，避免资源超卖；利用watch通道确保最新帧优先，杜绝过期画面堆积。同时提醒：Rust不自动替代浏览器或图形能力，需合理划分职责边界，避免阻塞异步执行器，确保进程安全回收。
2026-10-31 10:31:46
433
原创 Three.js / Cesium 卡顿怎么办？把三维渲染搬到 GPU 服务器
本文系统阐述远程图形渲染的技术架构与实践要点，强调其非“零开销客户端”且不同于服务端渲染。推荐保留原有三维引擎，通过GPU服务器运行Chromium并结合Selkies实现画面采集与WebRTC传输。关键在于合理分工技术栈、避免盲目替换，并重视显示会话配置与硬件编码路径优化。重点剖析了原始帧数据量巨大、编码延迟与网络路径选择对性能的影响，提出以输入到显像（input-to-photon）为核心指标，分段分析延迟预算，强调真实部署中需验证具体链路而非仅依赖协议名称。
2026-10-31 09:57:20
509
原创 从 Genie 4 理解世界模型预测、交互与规划如何连成闭环
Genie 4展现实时交互式世界建模新范式，通过多模态感知与动作条件预测，实现视觉、音频与行为的协同生成。其核心在于构建可预测的环境表示，支持持续决策与规划。系统融合高层任务分解与底层模拟，依托潜在动力学模型学习行动后果，推动智能体在动态环境中自主推理。该技术标志着世界模型从静态生成迈向可交互、可验证的闭环系统，为具身智能提供关键支撑。
2026-10-29 11:22:33
484
原创 tsrs 技术解析用 Rust 移植 TypeScript 7，类型检查还能怎样提速？
tsrs 是基于 Rust 实现的 TypeScript 7.1 beta 编译器，兼容原生 TypeScript 语义，通过紧凑数据布局、并行解析与惰性计算提升性能。其默认模式已具备显著优化，--fast 模式在特定场景下进一步加速，但可能影响诊断一致性。官方基准显示其在内存与速度上优于 Go 版编译器，但实际收益依赖项目负载。建议先验证正确性，再评估性能提升。
2026-10-29 09:25:06
379
原创 DeepInfer 深度解析从离线推理到大规模 MoE 服务的系统优化
本文系统解析大模型推理优化框架DeepInfer的运行机制，从Prefill、Decode与服务层三层次分析性能瓶颈。重点揭示其基于Python+C++混合架构的调度逻辑，强调异步执行与并行策略（如MoE EP/EPLB）对吞吐的关键影响。指出设备资源分配需综合考虑通信、负载均衡与缓存管理，避免盲目扩大并行度。最终强调：真正优化应聚焦关键路径延迟，而非单一指标提升。
2026-10-28 15:03:49
377
原创 Go JSON 性能优化从 Sonic 原理到基准测试与生产实践
本文系统分析了Go中JSON编解码性能优化的多个维度：明确比较目标（如完整解码与字段提取）、理解Sonic通过JIT、SIMD和路径选择实现加速的原理，强调需结合Go版本升级（如1.27+）评估标准库改进，推荐使用sonic.ConfigStd平稳迁移，并区分不同配置（Std/Default/Fastest）带来的兼容性与性能权衡。针对仅需部分字段的场景，建议采用局部提取以减少开销，但需实测验证收益。最终强调：性能优化应基于真实负载与业务需求，避免盲目替换。
2026-10-28 10:22:41
457
原创 Harness² 从零入门到原理精通与实战落地
Harness² 是一套用于优化语言模型任务执行的系统，通过“Agent + Harness”架构实现自主任务管理。其核心是两层递归：任务级通过“提出—试跑—组合”迭代改进运行逻辑，Harnessing级则积累可复用经验。支持并行与顺序两种递归模式，灵活调整探索深度与广度。系统由八类组件协同解决工具调用、上下文管理、领域规则等关键问题，不依赖模型参数更新，专注于流程优化与可复用性提升。
2026-10-21 17:15:52
455
原创 QEMU / Hyper-V 深度解析WHPX、KVM、Hyper-V Enlightenments 到底是什么关系？
QEMU 与 Hyper-V 可共存，支持三种组合：Windows 上用 QEMU+WHPX 实现硬件加速；Linux 上用 QEMU+KVM 提升性能；在 Linux 宿主机运行 Windows Guest 时启用 Hyper-V Enlightenments。QEMU 非单一虚拟机软件，其性能依赖加速器（TCG/KVM/WHPX/HVF），关键在于减少 VM Exit 与优化设备模拟。Hyper-V 为 Type-1 架构，通过 VMBus 实现高效通信，但与 QEMU 的 hv_* 特性不同。实战中需
2026-10-14 10:31:42
180
原创 Linux tmpfs 深度解析内存文件系统原理、性能实测与生产实践
tmpfs 是一种基于内存的临时文件系统，数据存储在虚拟内存中，可按需分配、支持容量限制与交换（Swap），但重启或卸载后数据丢失。相比 ramfs，它提供容量控制；相较于磁盘文件系统，其读写更快，但不保证持久性。适用于短期缓存、进程间共享等场景。使用时需注意其内存占用受实际使用量影响，且受容器内存限制约束。合理监控与配置可提升性能，避免资源争用。
2026-10-13 10:48:20
172
原创 一个开源项目，让 AI 做逆向不再靠猜reverse-skill 架构解析与本地实战
reverse-skill 项目构建了一套可复用、可审计的逆向分析框架，通过规则路由、工具索引、证据契约与工作流管理，解决AI在逆向工程中“盲目执行”的问题。其核心在于将决策流程结构化：以routing.json实现任务精准分流，通过scope.md设权限门槛，用Evidence/Finding/Path确保结论可追溯，并分离工具发现与安装，保障安全性。项目不替代工具，而是为AI助手提供安全、规范、可验证的分析路径，推动逆向从“经验驱动”迈向“流程可复现”。
2026-10-12 11:49:47
311
原创 REA 深度实战让 AI Agent 学会逆向工程，从软件行为分析到二进制原理还原
REA（Reverse Engineering Assistant）通过AI驱动的证据链分析，实现对Electron、原生程序等复杂软件的可验证逆向。其核心在于将AI决策与真实工具（如Ghidra、CDP）输出的证据结合，构建可追溯的关系图谱，避免盲目推测。适用于源码缺失时的功能复现、版本差异分析及跨进程调用追踪，强调“证据先行、推断有据”。安装需满足特定Node.js版本，支持CLI与MCP集成，推荐使用官方Setup自动化配置。实战中可精准定位搜索功能的IPC调用路径，提升逆向效率与可信度。
2026-10-12 10:55:39
651
原创 比特币算法到底在算什么？从 SHA-256、Merkle Tree 到 PoW原理与 Rust 实战
比特币基于多层算法协同构建安全体系：SHA-256与SHA256d保障数据完整性，secp256k1椭圆曲线配合ECDSA/Schnorr实现交易签名，UTXO模型替代账户余额管理，Merkle Tree以根哈希承诺交易集合，PoW通过双重哈希与目标值比较确保出块成本。各机制分工明确，共同构成去中心化、抗篡改的共识系统。
2026-10-09 16:25:55
146
原创 Computer Use 实战在 Antigravity、Cursor 中接入浏览器与桌面自动化
本文系统阐述了Computer Use的工程实现逻辑：模型负责决策，执行器负责操作，强调任务需基于真实状态判断而非动作反馈。区分网页与桌面环境，合理选择工具链（如Playwright MCP、CLI或独立执行器），避免过度依赖。提出“技能-接口-执行器”三者分离的职责划分，强调技能应可复用、环境需明确验收边界，并建议通过项目级技能文件规范流程，确保可审计、可复现。
2026-09-20 16:16:15
486
原创 Bun 1.4 从 Zig 重写为 Rust新一代 JavaScript/TypeScript 一体化工具链到底强在哪？
Bun 并不是“另一个更快的 npm”，也不只是“Node.js 的替代品”。它试图把 JavaScript/TypeScript 项目里长期分散的 Runtime、包管理、构建、测试、脚本执行和服务端能力整合进一个二进制工具中。Bun 1.4 更值得关注的一点，是其核心实现从 Zig 大规模迁移到了 Rust。这并不意味着 JavaScript 被 Rust 执行。Bun 仍然使用 JavaScriptCore 作为 JavaScript 引擎，Rust 主要承担 Runtime、工具链、系统交互、N
2026-09-08 13:15:21
370
原创 Blender 技术详解从三维原理到 Python 自动化渲染实战
Blender 不只是建模软件，也是一套可以通过 Python 驱动的三维内容生产工具。本文从对象与网格、修改器、PBR 材质、Cycles 与 EEVEE、几何节点等核心概念出发，给出自动创建场景、配置灯光相机、后台渲染和导出 GLB 的完整脚本，并讨论如何将 Blender 接入后端任务系统。
2026-09-08 12:06:45
555
原创 Top-K 和 Top-N 到底是不是一回事？从向量检索、RAG 到重排序一次讲透
我们根据用户要求，从长文中生成≤150字的摘要。需要涵盖核心内容：Top-K和Top-N的区别，在现代检索流程中的角色（召回/精排），RAG场景，以及召回率与精度的权衡等。语言简洁。</think>Top-K与Top-N本质相同，差别在检索阶段：Top-K用于召回，保证Recall不漏掉相关候选；Top-N用于最终输出，保证Precision并控制成本与噪声。RAG中常见“先召回100，再重排序取10”的流程。若Top-K过小，真实结果可能被漏掉且无法补救；过大则增加延迟与噪声。应权衡Reca
2026-09-06 09:57:42
412
原创 PostgreSQL 热备是怎么实现的？一文讲清 Base Backup、WAL、LSN、Checkpoint 与 PITR
本文系统讲解 PostgreSQL 在线物理热备与恢复机制，重点解析 WAL、LSN、Checkpoint、Base Backup、WAL Replay 与 PITR 之间的工作关系，并说明 PostgreSQL 如何在数据库持续读写的情况下完成一致性物理备份。文章进一步介绍 WAL Archive、Timeline、Restore Point、backup_manifest、pg_verifybackup，以及 PostgreSQL 17+ 基于 WAL Summary 的原生增量备份和 pg_combi
2026-08-26 14:17:14
431
原创 CloakBrowser 深度解析从 Playwright 包装层到源码级指纹 Chromium，讲透架构、Humanize、GeoIP、供应链安全与生产实战
浏览器自动化一致性解决方案 CloakBrowser是一款专注于解决现代浏览器自动化中身份一致性的开源框架，其核心价值在于构建多层次的浏览器身份一致性平台。通过分析其技术架构和底层原理，我们可以理解它在反自动化检测领域的创新之处。 关键技术创新点： 深度指纹一致性处理：直接在Chromium源码层修改Canvas、WebGL、WebGPU等核心API，确保指纹信号从底层生成时就具备真实性，而非简单的JS属性覆盖。 网络身份系统：智能整合代理IP、时区、语言和WebRTC地址
2026-08-04 13:26:50
631
原创 yt-dlp 从入门到架构一篇讲透提取器、格式选择、分片下载、FFmpeg 与生产级集成
本文介绍了命令行音视频下载工具yt-dlp的核心功能、技术架构和使用建议。yt-dlp不仅是一个下载器，还是一个可扩展的媒体处理框架，支持从页面解析到最终文件生成的全流程。文章详细说明了其六层核心架构（入口层、协调层、提取层、传输层、网络层和后处理层），并强调了合法使用边界。安装建议包括独立可执行文件和Python集成方式，同时指出FFmpeg在媒体处理中的关键作用。最后提供了最小可用命令示例和调试技巧，并讨论了不同环境下的版本更新策略。
2026-08-02 10:49:05
761
原创 Crawlee 用 Node.js 构建可扩展的网页采集与浏览器自动化系统
Crawlee 是一款强大的 JavaScript/TypeScript 网页采集与浏览器自动化框架，由 Apify 开源。本文全面介绍 Crawlee 的核心架构、Crawler 选型指南，并通过完整案例演示如何采集 Quotes to Scrape 网站。内容涵盖动态页面处理、生产级配置及常见问题解决方案，帮助开发者构建可扩展的爬虫项目。文章重点对比了 CheerioCrawler（静态页面）与 PlaywrightCrawler（动态页面）的适用场景，并提供了项目创建、路由配置、数据存储等实
2026-07-31 11:45:36
452
原创 Mamba-2 / SSD 状态空间对偶与高效长序列建模
从 Tri Dao 与 Albert Gu 于 2024 年发表的《Transformers are SSMs》出发，完整剖析 Mamba-1 的三个效率天花板（小状态、用不上 Tensor Core、系统适配差）、选择性状态空间模型回顾、半可分矩阵——SSM 的矩阵视角、SSD（State Space Duality）对偶——SSM 与掩码注意力是同一类结构化矩阵的两种计算方式、标量 A 简化与 8-16 倍状态扩容、块内注意力+块间递推的 SSD 分块算法、原生多头与张量并行、2-8 倍训练提速、Mam
2026-07-28 12:45:42
166
原创 KAN Kolmogorov-Arnold 网络深度解析
从 MIT 刘子鸣（Ziming Liu）等于 2024 年提出的 KAN 出发，完整剖析它对 MLP 的"对偶翻转"（可学习函数在边上、节点只做求和）、Kolmogorov-Arnold 表示定理与通用逼近定理的对比、B 样条对可学习一元函数的参数化、残差式激活与训练方法、网格细化（grid extension）带来的阶梯式精度提升与 N⁻⁴ 缩放定律、剪枝-可视化-符号回归的可解释性流水线、在物理公式拟合与数学猜想上的科学发现应用、KAN vs MLP 的全面对比、PyTorch/pykan 实现要点，
2026-07-28 11:48:57
77
原创 KimiLinear线性注意力深度解析
从月之暗面（Moonshot AI）于 2025 年发布的 Kimi Linear 出发，完整剖析为什么需要线性注意力（KV Cache 与长上下文的成本困境）、线性注意力的数学基础（从 softmax 到核分解与固定状态）、Delta 规则的"擦除-写入"快速权重更新、KDA（Kimi Delta Attention）的细粒度通道级遗忘门控、分块并行算法与硬件高效实现、KDA 与全注意力 MLA 的 3:1 混合架构、KV Cache 削减 75% 与百万级上下文解码提速约 6 倍、Kimi Linear
2026-07-24 16:30:12
572
原创 让 AI Agent 真正操作浏览器ego (lite) 两分钟快速上手与技术原理解析
ego (lite)：让AI Agent操作真实浏览器的技术架构 核心价值 ego (lite) 通过连接AI Agent与真实Chromium浏览器，解决了传统AI工具只能"阅读"网页而无法"操作"登录态网站的问题。它使Agent能够在用户授权范围内完成登录、点击、表单填写等真实网页操作任务。 技术架构 系统分为三层： 任务层：由Codex等AI Agent理解用户目标并规划流程 自动化层：ego-browser Skill提供操作接口 浏览器层：ego (lite) Chromium浏览器保持用户登录态
2026-07-24 11:26:44
3595
原创 Titans 会在测试时学习记忆的神经网络
从 Google Research 于 2024 年底提出的 Titans 出发，完整剖析为什么需要"测试时记忆"、上下文窗口 vs KV Cache vs 固定状态的三重局限、神经长期记忆模块如何把历史写进网络权重、惊讶度（surprise）信号驱动的记忆更新、测试时（推理时）的在线梯度学习、遗忘门与动量的自适应记忆管理、三种架构变体（MAC/MAG/MAL）、短期记忆（注意力）与长期记忆（神经记忆）的协同、2M+ token 超长上下文能力、Titans vs Transformer vs Mamba
2026-07-23 11:41:42
238
原创 11 天、64 个 Claude、百万行级改动Bun 为什么从 Zig 转向 Rust？
Bun 团队没有因为 Zig “不够好”而放弃 Zig。真正推动迁移的，是 JavaScriptCore 的垃圾回收体系与手动内存管理长期交织后，产生的大量生命周期、异常路径和资源释放问题。Bun 最终选择 Rust，并使用 Claude Code 组织约 64 个并行智能体，在 11 天内完成机械式迁移、编译修复、对抗审查和全平台测试。这个案例真正值得研究的，不是“AI 写了多少代码”，而是如何把编译器、测试套件、代码审查和工作流约束组合成一条可验证的工程流水线
2026-07-23 11:16:03
335
原创 Jamba Transformer + Mamba + MoE 的生产级混合架构
AI21 Labs于2024年推出的Ja从 Amba模型开创性地融合了Transformer、Mamba和MoE三种架构，通过1:7的注意力层与Mamba层交错设计，结合MoE的稀疏扩容机制，在质量、效率与容量间实现平衡。该模型具备256K超长上下文处理能力，单卡可支持140K tokens的高吞吐推理，总参数量52B但仅激活12B参数。Jamba的创新在于：用少量注意力层保障检索质量，主体Mamba层维持线性计算效率，MoE专家系统扩展模型容量，解决了传统Transformer的O(N²)复杂度痛点。作为
2026-07-22 15:54:35
195
原创 RWKV 一个可并行训练的 RNN
从 Bo Peng（彭博）发起的开源项目 RWKV 出发，完整剖析 Transformer-RNN 混合网络的设计哲学、为什么需要"训练并行 + 推理高效"的两全其美、线性注意力如何从 softmax 中解放出来、Time-mixing 与 Channel-mixing 双模块、WKV 机制与时间衰减、训练并行与推理循环的两种等价形式、Token Shift 与感受野、RWKV vs Transformer vs Mamba/SSM 的全面对比、从 RWKV-4 到 RWKV-7 (Goose) 的版本演进
2026-07-22 11:41:58
112
原创 GraphSAGE 让图神经网络走向大规模与归纳式
百科级深度长文：从 2017 年 William Hamilton、Rex Ying、Jure Leskovec 在斯坦福那篇 *"Inductive Representation Learning on Large Graphs"* 出发，完整剖析直推式与归纳式学习的根本区别、GCN 的局限、邻居采样为何能控制计算爆炸、Mean/Pooling/LSTM 三种聚合函数、逐层聚合的前向传播数学、归纳式学习如何泛化到新节点和新图、无监督与有监督训练、GraphSAGE vs GCN vs GAT 的全面对比
2026-07-21 13:08:46
72
原创 编译原理NFA 与 DFA——Thompson 构造与子集构造法图解（十）
本文系统讲解了从正则表达式到确定有穷自动机(DFA)的转换过程。主要内容包括： 理论基础：有穷自动机的五元组定义，NFA与DFA的核心差异在于转移函数和ε转移的允许性。 Thompson构造法：通过五条归纳规则将正则表达式转换为NFA，每个规则对应一个NFA构建模块，保证线性状态增长。 子集构造法：通过ε闭包和move操作将NFA转换为DFA，DFA状态对应NFA的可能状态集合，文中通过(a|b)*abb示例详细演示了转换过程。 复杂度分析：比较了NFA模拟(O(n|r|))和DFA运行(O(n))的性能差
2026-07-20 15:57:10
78
原创 编译原理硬核词法分析器实战——转换图、最长匹配与 Lex/Flex（九）
本文介绍了词法分析器的实现方法，将正则表达式转换为可执行的转换图，并最终生成词法分析代码。主要内容包括： 转换图的定义与组成部件，重点解释了星号状态（需回退字符）的必要性，以满足最长匹配原则。 通过识别字符串"i<=10"的完整过程，展示了转换图的工作机制和两次回退操作的不同场景。 介绍了Lex/Flex工具的三段式结构，以及其两条核心冲突解决规则：最长匹配优先和先列优先。 提供了Python实现示例，演示如何将转换图直接翻译为代码，包括标识符、数字和关系运算符的识别逻辑。 文章强调词法分析的关键在于正确处
2026-07-17 14:48:34
79
原创 编译原理硬核正则表达式的数学基础——从串、语言到形式化规约（八）
本文是《编译器前端核心》课程的第三阶段开篇，重点讲解词法分析中的正则表达式与语言理论基础。内容分为六个部分： 词法与语法分离的原因：从简化设计、效率和可移植性三个角度分析，并指出正则语言与上下文无关语言的数学能力差异。 语言与集合基础：定义字母表、串、连接、幂运算等概念，强调语言是符号串的任意集合。通过集合运算（并、连接、闭包）构建复杂语言。 正则表达式定义：归纳式给出五条基本规则（ε、a、r|s、rs、r*），并说明优先级和结合性。通过实例演示如何枚举正则语言成员。 匹配过程可视化：通过动画展
2026-07-17 14:41:03
465
原创 编译原理硬核——编译器核心概念的全景速览（七）
本文系统梳理了编译器前端设计的核心思想与技术路线。通过四篇笔记的递进关系，展现了从文法定义到代码生成的完整流程：CFG文法→分析树→SDD语义定义→SDT翻译方案→递归下降实现→三地址码生成。文中汇总了关键公式与定理，建立微型编译器代码与理论的对应关系，并指出第2章内容在全书的深化路径（如词法分析、语法分析、属性计算等）。最后提供综合自测清单和三个思考题，考察读者对语法制导翻译本质的理解，包括动作差异、语言特性扩展和工程实践考量。全文强调"最小可用版"到"系统化保证"的学习方法论，为后续编译器深层技术的学习
2026-07-17 14:36:19
71
原创 编译原理硬核从零构建一个微型编译器——中间代码生成实战（六）
本文介绍了一个完整的微型编译器实现，分为四个核心部件：词法分析器、递归下降分析器、符号表和三地址码生成。通过左递归消除公式将文法转换为递归下降可解析的形式，并展示了分析器如何同步执行语义动作生成中间代码。符号表采用链式结构实现静态作用域规则，词法分析器处理多位数字和关键字识别。最终组装成的编译器支持基本表达式、变量声明、嵌套块和作用域检查，体现了"边分析边翻译"的一遍式编译核心思想。文章通过动画演示了"9-5+2"的完整解析过程，强调如何在不构建显式语法树的情况下直接生成三地址码。
2026-07-17 14:33:36
279
Wav2Vec2模型文件
2024-02-29
arcface模型文件
2024-02-28
Resnet152模型文件基于2048维度的向量
2024-02-28
建议一个名称为 FusionDepthSR，即“融合深度超分辨网络” 这个名称突出了项目核心：利用 RGB 图像引导，实现深度图的超分辨率重建，并通过多尺度与反馈机制融合特征，提升重建效果
2025-03-08
Middlebury2014 & RGB TRAIN 深度超分数据集
2025-03-08
axure web元件库.zip
2024-05-17
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人