记录一次修复Linux下键盘网页驱动能识别却连不上的问题（迈从K99 V2)
本文是在 Linux (Ubuntu 26.04) 下解决迈从 K99 V2 等外设网页驱动（基于 WebHID）能识别接收器但一直转圈连不上的排查记录。 内容涵盖 lsusb 与 udevadm 设备节点定位、hidraw 接口权限验证，以及编写 udev 规则（uaccess 标签与规则字典序、ATTRS 跨层级匹配坑点）的完整思路。 文末附带切换其他键盘时的修改项及常见沙箱、协议排错指南。
技嘉DGX Spark GB10 (AI TOP ATOM) 双机部署DeepSeek与踩坑
本文是两台技嘉 DGX Spark GB10 (AI TOP ATOM) 双机部署 DeepSeek-V4-Flash-Vision 的实战记录。 内容涵盖 ConnectX-7 400G 双机点对点直连配置、vLLM 分布式推理集群搭建，并重点梳理了 ARM 平台下常见的“幽灵故障”——包括初始化更新 Kernel Panic、DKMS 驱动签名失效、 HDMI 热插拔掉卡以及内核 KHO 导致 RDMA 内存注册失败的完整排查思路。文末附带短文本及长上下文并发场景下的吞吐性能实测数据。
从逻辑bingo开始的SAT介绍和Z3求解。
总之，我想写这个博客很久了。这个题目是25年10月份的时候做的，但是因为沉迷vibe coding导致一直都没写。今天我的周用量快给我用完了，所以来写点博客。
V8 Bytecode反编译不完全指南
0x0 Introduction V8! 兄弟们V8! 真男人就要用V8！ V8字节码反汇编与反编译过程中的实践与经验，涵盖构建 V8、分析 bytecode 格式、尝试绕过校验与反汇编/反编译的一些非官方方法瞄。 （如有错漏，敬请指正）
计算机视觉基础: Filtering (滤波)
Introduction在数字图像处理中，滤波是一个基本且关键的操作。滤波不仅用于增强图像质量，还在诸如去噪、边缘检测和图像分割等高级任务中扮演着重要角色。本文将简单的探讨线性与非线性滤波的基本概念、实现方法及其在计算机视觉中的应用。