eNSP 预安装虚拟机镜像分享与使用教程
前言 华为 eNSP 模拟器自 2019 年起已不再向个人用户提供公开下载,转而仅面向授权合作伙伴。然而,许多高校课程仍将其列为实验必备工具,而新版 Windows 系统与其兼容性并不理想。 为了绕过这些障碍,我封装了一个预装完整 eNSP 环境的 Windows 10 22H2 虚拟机镜像。导入即
前言 华为 eNSP 模拟器自 2019 年起已不再向个人用户提供公开下载,转而仅面向授权合作伙伴。然而,许多高校课程仍将其列为实验必备工具,而新版 Windows 系统与其兼容性并不理想。 为了绕过这些障碍,我封装了一个预装完整 eNSP 环境的 Windows 10 22H2 虚拟机镜像。导入即
来这个城市十多年了,终于有了一套属于自己的房子。之所以要考虑买房,一方面是房地产泡沫的破碎,让曾经高不可攀的价格,突然变得「可以谈一谈」了。另一方面,是实在受够了看房东脸色生活的日子,以及频繁搬...
从宽限期保证的形式陈述出发,对照 liburcu 0.15.7 与 Linux v6.12 源码,说明读侧省掉的 StoreLoad 栅栏由谁补上、'读侧零开销'在哪些配置下成立;实测读侧开销、宽限期延迟、membarrier IPI 转嫁给读者的代价和一个缺栅栏的变异体。
自回归模型训练要并行、生成不能偷看未来。本文从 teacher forcing 推到 mask 矩阵,对比 causal、prefix LM、滑窗与 packing 文档掩码,结合 KV cache 对齐、FlashAttention 跳块与 GPT-2 实测 attention sink,说明 mask 决定训练并…
从 Fraser(2004)的三个 limbo list 出发,推导 EBR 为什么要等两个纪元、垃圾该打哪个纪元的标签;对照 crossbeam-epoch 0.9.18 源码,实测两个变异体、pin 的指令选择、每节点开销、回收速率上限,以及一个被抢占或睡住的读者让垃圾涨到多少。
对于如何创作这篇文章,我没有太多好的想法,只知道这篇文章是必须要写的。但是我也知道我的阅历、知识储备不足以支撑自己写一篇理想中的分析全面又富有深度的好文章,任何全面分析的尝试,都难以穷尽其魅力。

 AI 智能体(AI Agent)是一种能够感知环境、进行推理并自主行动以实现特定目标的智能系统。 
 
 本文记录我在一台 2 核 4G 云服务器上部署 OpenClaw 和 Hermes Agent 的过程,以及实际遇到的问题。
本期内容聚焦智能体架构的演进,探讨大脑(LLM+编排)与双手(沙箱+工具)解耦的设计理念。涵盖Anthropic的顾问策略、GLM-5.1的8小时自主工作、Harness Engineering的可靠性实践,以及工程师从编码者向智能体管理者的角色转变,同时涉及AI安全审计和持续学习等前沿议题。
几个月前,当 Coding Agent 的 CLI
几个月前,当 Coding Agent 的 CLI
跳表插删要改多个指针,靠标记删除或乐观加锁把它们变成一次线性化操作。对照 Pugh、Harris、Fraser、HLLS 与 JDK 21、LevelDB、RocksDB 源码,并用 TSan 与对拍验证实现,实测独占 CPU 与超额订阅两种情形下的吞吐。
按 Michael(TPDS 2004)的条件拆解 hazard pointers:发布后为何要复读、StoreLoad 栅栏防哪种重排、未回收节点的上界从哪来;实测两个变异体、x86 store buffering 和每个指针的开销,对照 Folly、C++26 与乐观遍历之争。
TL;DR:[https://github.com/phodal/routa](https://github.com/phodal/routa),Harness Monitor 在 `crates/harness-monitor` 目录下。
TL;DR:[https://github.com/phodal/routa](https://github.com/phodal/routa),Harness Monitor 在 `crates/harness-monitor` 目录下。
Photo by moke yong hui / Unsplash 清明我妈回老家祭祖了,他回来的这段时间就由我来照顾爷爷了。 爷爷前几年临近过年时意外中风,好在发现送医及时,影响不大,出院后行动、说话什么都没问题,基本上可以自理。 但是记忆力远不如从前了,刚出院的那会经常会记忆错乱,有时候明明在老家会以为自己还在四川,有时候会在厕所门口站着,以为是在等电梯,有时候明明才吃过午饭,走几圈后会突然问怎么还没吃午饭。 因为我妈回去了,都是我每天给他做三餐,提醒吃药,有几次明明让他不要煮饭,但是总是会在中午的时候把去把饭
成功写入之后,还能读到旧值吗?用反例区分线性、顺序与因果一致性,拆开最终收敛、会话保证和事务隔离;核对 ZooKeeper、Spanner、DynamoDB、Cassandra 的接口边界,并提供可运行的 Go 历史检查器。
按 PODC 1996 原文复原 Michael-Scott 无锁队列:线性化点、计数指针防 ABA、计数器为何不解决内存回收、每条 CAS 的 C11 内存序,并用 TSan 与线性化检查器实测。
ML-KEM(FIPS 203)与 ML-DSA(FIPS 204)都建立在 Module-LWE 上。本文从 LWE 归约讲到 KeyGen/Encaps/Sign 流程、NTT 实现(附与朴素乘法对拍过的 Python 代码)、FO 变换与拒绝采样,说明参数集怎么选、core-SVP 估计为何不能直接和 NIST…
永恒的舞动(Elegance in Timelessness) 作者:nicrosoft(农码生涯),同时在起 […]
观草木虫鱼鸟兽之形,知天地万物之趣,去蔽塞淹留之患。
作者回忆了学生时代玩诺基亚文字游戏的经历,并分享了自己开发的文字修仙游戏《灵虚》。游戏接入了大语言模型,让玩家能与NPC自由对话,影响剧情。这是一个公益项目,玩法包括打怪升级和境界突破,目前免费开放体验。作者欢迎玩家反馈bug和建议,并邀请有兴趣的朋友共同完善游戏内容。
可可已经在三年级下学期了,数学似乎还是有点问题。这个阶段考试成绩其实都不会太差,但一旦作业或考卷上的错题并非粗心大意就值得警惕。乘除法是二年级学的,三年级已经在学两位数除一位数的除法。但会计算并不难,计算只是一项机械性技能,难的是理解乘除法的意义。理解乘除比理解加减法困难的多。 我翻出几个月前的一篇 blog,发现过了 4 个月,她的问题依旧:乘除法作为一项计算技能和其背后的意义是割裂的。这导致了很多问题到底如何解决一筹莫展。固然多作练习就能开悟,毕竟几乎没有成人回头看小学数学会觉得难以理解的。但我还是想尽力搞清楚
主人分享.cn域名隐私保护服务免费后的感受。他回忆2023年注册时需额外支付39元隐藏个人信息,虽金额不大但总觉得不值。如今阿里云悄然调整为免费功能,开启仅需十秒。省下的钱虽不多,却让主人感慨隐...
① 杀死那个写代码的人 ② 插件离线安装包获取 ③ Harness Engineering是什么? ④ SSGOI - Native 过度效果 ⑤ boneyard-js - 自动骨架屏 ⑥ gitlogue - 动画展示 Git 提交历史 ⑦ gh-space-shooter - 贡献图转为射击小游戏 ⑧ Tunelo - 穿透工具 ⑨ 图解演示 CC 工作流程 ⑩ Open Agent SDK
放春假时带大卫住酒店,白天我要上班,他在酒店跟我抱怨说一个人很无聊,我教他我小时候一个人待着时的方法,盯着墙壁或各种图案,把它们想象成一个个人物或角色,编造一些故事。小时候我很喜欢这种想象,也曾在[《当魔法消失时》](/articles/nostalgia)这篇文章中写过,所以当我看《白日梦想家》时特别有感触。
這禮拜期中考周所以沒有週刊。.
自《不要急着成为谁》一文中的回信之后,我收到了一些新的问题。大概意思就是:如果我愿意付出代价,但那种代价其实来自恐惧、证明欲、或者迎合期待,那算不算使命?你又是怎么意识到自己在经历「身份危机」的...
最近刷了去年的一部剧《值得爱》,很喜欢。叙事在夸张与写实之间反复切换,却始终带着一股残酷的现实主义感,故事的走 […]
v0.1.0 版本发布后,收到一些朋友的反馈,我才发现许多人更习惯或偏爱长句输入。于是,我将下一步的开发重点放 […]

 
 
 
 
 
 
 
 
 
 
 
 
 
 南昌哪儿都好,就是天气不太友好。清明前后,接连下了一个多礼拜的雨,衣服要晒上好几天才干,出门也变得格外麻烦。 
 我住的地方离公司有一段距离,平时上下班都是骑电动车。天晴的时候很舒服,迎面有风,头顶有阳光;可一到下雨天,就让人不免皱起眉头。要把雨衣翻出来穿上——且不说挡雨效果如何,光是套在身上就已经让人浑身不自在,也多少影响骑车。