verification

DeepSeek 开始给 Harness 专项训练模型：Agent 真正的 Scaling 对象变了过去，AI 的 Scaling 主要依赖模型参数和预训练数据的 Scaling。进入 Harness 专项训练阶段后，Agent 的 Scaling 重心正由模型参数与数据配比本身转向系统环境与反馈效率。这一变化主要体现在四方面：一是从 Scaling 模型参数转向提升围绕模型的 Harness 运行框架智能化水平；二是从增加原始 Token 计算量转向增大有效反馈算力（Effective Feedback Compute，简称 EFC）；三是从依赖静态数据转向规模化合成 Agent 任务与环境；四是验证

【DeepID】《Deep Learning Face Representation from Predicting 10,000 Classes》CVPR-2014Sun Y, Wang X, Tang X. Deep learning face representation from predicting 10,000 classes[C]//Proceedings of the IEEE conference on computer vision and pattern recognition. 2014: 1891-1898.

云纳星辰怀自在

软件工程之软件验证计划Software Verification Plan个人主页：云纳星辰怀自在座右铭：“所谓坚持，就是觉得还有希望！”本文为基于ISO26262软件验证计划模板，仅供参考。

理解 SystemVerilog 中的循环与并发线程除了常见的module、interface、class、task以及function等等，另外，begin-end block 和 fork-join block 也是一个 scope（这里的 fork-join block 包括fork-join、fork-join_any和fork-join_none），如下示例，在匿名块中也可以声明变量，该变量只在当前匿名块或者其内部嵌套的 scope 中是可见的：

What is RISC-V?RISC-V is an open and free instruction set architecture (ISA) that forms the basis for designing computer processors, microcontrollers, and other hardware components. It stands out for its open nature, modularity, and simplicity. Originating from the Univ

我是有底线的