摘要：
Spec Kit 使用指南 Spec Kit 是 GitHub 开源的一套规范驱动开发（Spec-Driven Development）工具包，通过结构化的规范文档约束 AI 编码代理的输出，将需求、方案、任务形成可追溯的文档链。 一、项目简介 在 AI 辅助编码的场景中，一个常见的问题是：开发者用 阅读全文
posted @ 2026-08-19 17:12
起飞的乌龟
阅读(106)
评论(0)
推荐(0)
摘要：
如何搭建出具有强大的后端并行加速优势的 VTK 开发环境 作为一名对高性能计算和可视化充满热情的开发者，最近在探索如何利用并行计算加速我的 VTK 项目。VTK（Visualization Toolkit）是一个强大的三维可视化工具包，但它默认的并行计算后端（如 vtkSMPTools）在某些情况下 阅读全文
posted @ 2025-11-22 15:40
起飞的乌龟
阅读(174)
评论(0)
推荐(0)
摘要：
拿到一个只有 .pyc 的 Python 程序，想看源码，常用的工具是 pycdc 和 pycdas。pycdas 把字节码翻成一条条指令，基本不会出错；pycdc 想直接还原出源码，却经常失败或者给出错的结果。有人为了不让别人反编译，会用 pyconcrete 把 .pyc 加密成 .pye。 这 阅读全文
posted @ 2026-11-04 10:46
起飞的乌龟
阅读(1)
评论(0)
推荐(0)
摘要：
写下 import a.b 之后，Python 做的事情并不多：先看这个模块导过没有，没导过就先把父包导好，然后找文件、建模块对象、执行代码，最后绑定名字。.py、.pyc 和 pyconcrete 加密出来的 .pye，只在"找哪个文件"和"怎么拿到代码"这两步上有区别，其余步骤用的是同一套。 文 阅读全文
posted @ 2026-11-03 16:44
起飞的乌龟
阅读(3)
评论(0)
推荐(0)
摘要：
ℹ 范围：从"掩模需要什么信息"出发，推导版图文件的最小数据模型；逐字节拆解 GDSII 与 OASIS；附完整的 SRAM 样例解码数据供读者复现；最后按工序说明 Fab / 掩模厂如何解析版图并完成芯片生产。 说明：本文所有字节级解码示例均附有可复现的解码脚本与完整输出。GDSII / OASI 阅读全文
posted @ 2026-10-19 17:02
起飞的乌龟
阅读(46)
评论(0)
推荐(0)
摘要：
数字芯片（ASIC）设计到生产全流程：23 个关键步骤详解 主数据流：RTL 代码 → 门级网表 → GDSII 版图 → 掩膜 → 晶圆 → 成品芯片 本文梳理从需求规格到成品出货的完整链路，分五个阶段、23 个关键步骤，并标注四条决定项目周期的迭代回路。 数字芯片（ASIC）设计 → 生产 全流 阅读全文
posted @ 2026-10-14 17:03
起飞的乌龟
阅读(29)
评论(0)
推荐(0)
摘要：
环境：EL8 系发行版 8.10（内核 4.18.0-553.x.el8_10.x86_64）、x86_64、普通用户账户、家目录位于 NFS 目标：部署 KLayout 0.30.12，含 GUI 与 Ruby / Python 脚本引擎 约束：无管理员权限，不可使用 sudo，不可修改系统目录 阅读全文
posted @ 2026-10-14 16:45
起飞的乌龟
阅读(14)
评论(0)
推荐(0)
摘要：
概要：日常开发中安装软件，面对的不是一个「安装包」，而是十几种结构、权限模型、依赖模型、升级机制各不相同的分发格式。本文按平台逐一拆解各类安装包的二进制结构、依赖模型、权限要求、静默安装方式、升级与卸载机制、签名与校验链条，给出适用场景与已知陷阱，并以横向对比矩阵和选型决策树收尾。内容范围：Wind 阅读全文
posted @ 2026-10-14 14:06
起飞的乌龟
阅读(29)
评论(0)
推荐(0)
摘要：
无 GPU、无显示器，怎么渲出 4K 图 —— OSMesa + VTK + Qt 离屏渲染的第一性原理 一条纯 CPU 的 OpenGL 渲染链：Mesa 画像素 → VTK 管场景 → Qt 管输出。全程不碰显卡，不连 X server，在 Docker / CI / SSH 终端里直接导出 4 阅读全文
posted @ 2026-10-02 18:23
起飞的乌龟
阅读(32)
评论(0)
推荐(0)
摘要：
概要：spec-kit 的 review 扩展将实现完成后的 PR 自审拆分为 6 个专项审查指令和 1 个调度指令，通过钩子接入 /speckit.implement 之后的环节。该扩展无法通过 specify extension add review 直接安装，与网络是否可用无关。 内容范围：指 阅读全文
posted @ 2026-09-30 13:21
起飞的乌龟
阅读(13)
评论(0)
推荐(0)
摘要：
这是「远程 GUI 与跳板机链路」系列的篇③，也是这组文章的收尾。 本篇的第一性问题：把 display 借给远端，实际授予了什么权限？ 以及，既然「传命令」这条路有这么多硬伤，它为什么还活着 —— 又为什么正在死去。 回链总述：本篇负责 总述 2.3 的推论四 —— 「命令流本身没有状态可存，所以 阅读全文
posted @ 2026-09-20 12:18
起飞的乌龟
阅读(33)
评论(0)
推荐(0)
摘要：
这是「远程 GUI 与跳板机链路」系列的篇④。 本篇的第一性问题：共享内存的前提是「两个进程能映射到同一块物理内存」。 这个前提什么时候不成立？ 回链总述：本篇负责总述里埋的那个钩子 —— 总述的 2.4 说 MIT-SHM 是「传命令」模型唯一一个违反网络透明性承诺的扩展， 但没有展开。这一篇就是 阅读全文
posted @ 2026-09-18 19:18
起飞的乌龟
阅读(21)
评论(0)
推荐(0)
摘要：
这是「远程 GUI 与跳板机链路」系列的篇②。 本篇的第一性问题：链路已经通了，窗口也出来了，带宽看着还很闲 —— 那为什么拖一下窗口像放幻灯片？以及，为什么换了新版软件之后突然更卡了？ 回链总述：本篇负责总述里的推论三（必然有 round-trip）。 为什么「传命令」这个选择必然带来往返，在总述 阅读全文
posted @ 2026-09-18 18:34
起飞的乌龟
阅读(24)
评论(0)
推荐(0)
摘要：
这是「远程 GUI 与跳板机链路」系列的篇①。 本篇的第一性问题：我在办公机上敲一行命令，程序跑在几百公里外的 Linux 服务器上， 中间还隔着一台跳板机 —— 那个窗口是怎么跑到我面前这块屏幕上的， 以及凭什么允许它画在我的屏幕上。 回链总述：本篇负责总述里的推论一（角色必须反转）和推论二（协议 阅读全文
posted @ 2026-09-18 18:08
起飞的乌龟
阅读(13)
评论(0)
推荐(0)
摘要：
这是「远程 GUI 与跳板机链路」系列的总述。它自己就能读完：讲清整条链路的逻辑， 以及为什么后面要拆成那四篇。遇到具体故障，可以直接跳到第四部分的对照表。 全文四部分：一 问题（场景、骨架）→ 二 推导（全文核心，四条推论）→ 三 落地（放回那三台真实机器）→ 四 导航（分篇、故障表、读法）。 第 阅读全文
posted @ 2026-09-18 15:17
起飞的乌龟
阅读(20)
评论(0)
推荐(0)
摘要：
一、Spec Kit 是什么 Spec Kit 是 GitHub 开源的一套规范驱动开发（Spec-Driven Development，SDD）工具包：把结构化的 Markdown 文档作为主要产物，用它约束 AI 编码助手的输出，让"做什么 / 为什么做 / 怎么做"形成一条可追溯的文档链，而 阅读全文
posted @ 2026-09-17 10:27
起飞的乌龟
阅读(91)
评论(0)
推荐(0)
摘要：
目录 章主题从第一性原理回答的问题 第一章问题定义版本控制到底要解决什么？朴素方案在哪里崩溃？ 第二章内容寻址如果地址由内容决定，会自然推导出什么？ 第三章四种对象只用"不可变的内容块"如何表达文件、目录、历史？ 第四章快照与 tree 递归为什么 Git 存快照而不是差量？ 第五章commit 阅读全文
posted @ 2026-09-16 15:03
起飞的乌龟
阅读(20)
评论(0)
推荐(0)
摘要：
这三棵树经常被拿来类比，因为它们表面上很像：都是层级容器结构，都能按标识查找节点，都有事件沿树传播。但真正写代码时，差异往往出在「这棵树到底负责什么」上——DOM 树管文档结构，QObject 树管内存所有权，QML 的 Item 树则把所有权和视觉层级拆成了两棵。搞混这一点，会写出对象被提前回收 阅读全文
posted @ 2026-09-14 18:22
起飞的乌龟
阅读(26)
评论(0)
推荐(0)
摘要：
DOM（Document Object Model，文档对象模型）是 W3C（World Wide Web Consortium，万维网联盟）定义的标准，把标记文档解析成一棵节点树，让程序能按层级访问和修改文档内容。它最出名的场景是浏览器里的 HTML（HyperText Markup Langu 阅读全文
posted @ 2026-09-14 17:52
起飞的乌龟
阅读(12)
评论(0)
推荐(0)
摘要：
Qt Test 是 Qt 自带的单元测试框架，随 Qt 一起分发，不需要额外依赖。它的定位很明确：测试 C++ 类和函数的逻辑，尤其是那些和 QObject、信号槽、事件循环打交道的代码——这些用 Google Test 之类的通用框架测起来会很别扭。 一、最小可运行的测试 一个测试类就是一个继承 阅读全文
posted @ 2026-09-14 17:44
起飞的乌龟
阅读(26)
评论(0)
推荐(0)
摘要：
Squish 是 Qt 生态里的 GUI（Graphical User Interface，图形用户界面）自动化测试工具，原属德国 froglogic，2019 年被 Qt 公司收购，现在的正式名称是 Qt Squish。它解决的问题是：把「启动程序、点按钮、填表单、看结果」这一整套手工回归测试变 阅读全文
posted @ 2026-09-14 17:36
起飞的乌龟
阅读(33)
评论(0)
推荐(0)
摘要：
这三个概念经常在 Qt 岗位的面试里被连着问，但它们并不在同一个层面上：Qt Test 是写在代码里的单元测试框架，Squish 是从外部驱动界面的自动化测试工具，DOM 树则是一种文档结构模型。放在一起讲的价值在于，它们刚好串成了「测试的两个层次」和「界面的一种通用抽象」。 一、一句话定位 Qt 阅读全文
posted @ 2026-09-14 17:28
起飞的乌龟
阅读(25)
评论(0)
推荐(0)
浙公网安备 33010602011771号