BERT 的概率是假的，大模型的速度是慢的——这两件事在 AI 分类任务上困扰了工程师很多年。Jev 用一次 Forward Pass 同时解决了这两个问题，还顺手把"概率输出可信"这件事做了八成。本文从 Kev、Laya 两个开源复现出发，拆架构、拆推理、拆训练，聊应用，把 Jev 的每一个设计决... ...

QoS 选型是 IoT 架构的核心陷阱。本文基于真实项目踩坑经验，拆解 MQTT QoS 0/1/2 的本质：非可靠性档位，而是业务成本权衡。核心结论：能丢用 QoS 0，能重用 QoS 1（必做幂等），仅计费等极少数场景用 QoS 2。强调三端对齐、四次握手开销、弱网风险，提供“三问决策框架”与场... ...

使用 .NET 11 RC2、Avalonia 与 AtomUI 构建 TKCode，介绍本机 Claude Code 与 Codex 的官方登录接入、独立 Agent Host 架构、自研 StreamMark 流式 Markdown 渲染，以及 NativeAOT 首帧和内存 CPU 的测量结果... ...

gRPC 建立连接后是长连接。 底层基于 HTTP/2，而 HTTP/2 本身就是多路复用的长连接协议。连接一旦建立，默认会一直保持，直到某一方主动关闭或网络中断。 核心机制 1. 连接建立过程 gRPC 客户端启动时，会通过 ClientConn 与目标服务端建立 TCP 连接。如果是 TLS，还 ...

重塑经典：用现代 Lean 4 重构《软件基础》全三卷与交互式文档 项目在线文档：https://ghost-silver.github.io/SF-lean4/ 开源代码仓库：https://github.com/Ghost-Silver/SF-lean4 作者：Ghost-Silver · SF ...

一文搞懂 Agent Sandbox（沙箱）：为什么 AI 不能随便操作你的电脑？ 一、为什么 Agent 需要沙箱？ 假设你正在使用 Claude Code、Codex 这样的 AI 编程助手。 你让 Agent 帮忙修改代码、安装依赖、运行测试，它都能自动完成。 但问题来了： 如果 Agent ...

以下是将整个步骤说明 漏洞利用流程的全方位详细整理版；整体按“授权准备 → 信息收集 → 漏洞确认 → 模块与 Payload 选择 → 参数配置 → 执行利用 → 会话管理 → 后渗透提权 → 横向移动注意事项 → 清理与报告 → 示例 → 检查清单”展开。仅限自有靶机、本地授权靶场或书面授权范围 ...

写在前面 日常业务里，一个"下单"动作背后往往要调十几个接口：HTTP 主单服务、Dubbo 库存、WebService 老物流、一段 SQL 校验、再加个 Shell 通知脚本。写死在代码里，链路看不清、改动牵一发动全身；换个顺序、加个失败补偿，就得发版。 service-arrange 想解决的 ...

在学习 ArkTS 语法时，日志打印是最常用的调试方式。把一段提示或一个变量写进日志，就能确认代码有没有按预期执行。ArkTS 内置了 console 对象，其中 console.log 用来按格式化方式输出日志，无需导入即可直接调用。 动画视频在《7. console.log 日志打印，ArkTS ...

一次真实的工程迭代：当 OCR 已经能准确认字，为什么输出的文字还是没法读？ 本文记录我们在博物馆展柜照片上的完整解题过程——两种互补的段落重组方案， 以及一次差点被忽略的内存事故。所有模型均在本地离线运行，代码与数据可复现。 一、问题：认得出字，读不成文 我们的场景很典型：一张照片里有多个文物，每 ...

前言 这是本人最近一个星期思考与规划的合集，包含了在学校多天的内容。 本文也可以理解为一篇周记。 聆听《勾指起誓》的同时阅读此文体验更佳～ whk 部分 背景 十月一外培回来后这是我第一次高中的月考，本次月考我考的也是很差好吧。 年级排名 rk 270，班级排名 rk 37. 综合来看，原因是我开学 ...

MQTT Topic设计混乱导致项目返工频发。真实案例显示，无规范的命名引发大小写不匹配、通配符滥用、设备迁移失效等问题。核心问题在于Topic未形成统一语义骨架，身份与业务数据混杂。遵循“12条军规”： ...

本文用一个真实的论坛案例，从需求讲到部署，讲4件事：需求收敛、部署验证、3层证据验收、持续纠偏与独立复验。我们不教论坛代码怎么写，只教用户怎么指挥AI把论坛做出来。这套方法换个项目一样能用。 ...

记录在 k3s 集群中通过 kubelet drop-in 将 memorySwap.swapBehavior 从 NoSwap 调整为 LimitedSwap，并用 Ansible 固化、逐节点 ...

百万数据导出 Excel 实战：从 OOM 到丝滑落地的完整演进 本文面向有 Java 基础、做过业务开发的同学。我们从“为什么 100 万行导出会 OOM”讲起，逐层递进到 SXSSF、EasyExcel、CSV、游标分页、异步导出，最后给出可直接运行的完整工程代码和面试考点。 目录 先看问题：为 ...

川剧复演 题解 题意 有 n 场演出、m 出剧目。每场选一出剧目，同一剧目可重复选。 合法条件：任意连续 m 场演出中，都存在某剧目出现至少两次。 换句话说，不允许出现"连续 m 场两两不同"。 暴力 DP 状态 把"全局约束"翻译成"局部禁止条件" 合法 ⟺ 不存在长度为 m 的连续子段两两不同。 ...

做特征工程时很多人有一套固定动作：StandardScaler 然后 fit_transform。（也就是先标准化数据，在训练模型） 这在教科书数据集上没问题，但真实数据，比如订单金额、页面停留时长、接口耗时等，几乎天然右偏，还总混着几个离谱的值。 StandardScaler 拿均值和标准差当尺子 ...

读取A文件，然后写入到B文件中 package main import ( "fmt" "io/ioutil" ) func main() { // 读取文件 byteStr, err := ioutil.ReadFile("./testFile.txt") // 如果哦 err 不为 nil，说明 ...

排序是程序员的必修课，也是检验一门新语言的最好切口。 原因很实在。一个排序算法下来，列表、循环、函数、比较运算四样东西全用上了。这四样是日常编码里出现频率最高的基础设施，排序写顺了，这门语言就算摸到门了。 前三篇我们写了 Hello World、配置体检工具、性能测试。这篇换个姿势，用算法来练手。 ...

速度环稳住之后，改目标、看曲线、调系数都顺手了，PID 就够了吗？输出限幅、积分分离、微分先行这些“手术”各自在治什么病，反馈之外又为什么还要请回一路前馈？ ...