WorkBuddy白送500积分，大家快来领
大家好,我是晓凡 。 就在10月15早上8点左右，DeepSeek崩了。 DeepSeek 网页和App都显示“服务器暂时不可用”大概持续了5小时左右。 一开始我以为是我自己网络问题，一搜原来大家都一样。 然后DeepSeek 崩了就冲上了热搜，今天各种补偿政策就出来了。 下面是DeepSeek官方 ...
【南大软件分析-学习笔记】Lecture 6-Data Flow Analysis-Foundation（下）
5. Relate Iterative Algorithm to Fixed-Point Theorem 5.1 Relatation 在上节课我们证明了不动点理论，但是还遗留了三个最开始提出的问题没有解决： 这个算法一定能终止吗，也就是说它一定有不动点、有解吗？ 如果一定有不动点的话，那么它会只有 ...
AI 越强，被它拒绝的代价就越大
我有时候会想：AI 越来越厉害之后，有些事情，会不会反而越来越难做？ 这个想法看起来有点矛盾。AI 明明在降低门槛，让不会写代码的人做出软件，让不会画画的人生成图片，让一个人完成过去需要整支团队才能完成的工作。但今天用 Codex 的时候，AI 拒绝帮我编写 SQL 注入的请求体，而那还是我有源码、 ...
wujie 微前端踩坑实录：一个子应用的 7 个生产事故现场
wujie 微前端踩坑实录：一个子应用的 7 个生产事故现场 token 有三种来源，window 有两个归属，同一段代码要跑三种形态——以及它带来的 7 个坑。 背景：一个「三栖」子应用 我们维护的一个企业级管理端系统，技术栈 Vue 3 + Vite + TypeScript。它不是一个普通 S ...
装了这么多年 .NET，微软终于把 rustup 那套搬过来了
从路线图看（Windows 系统级安装支持、CI/CD 原生集成、甚至给 AI 编程助手准备的 agent skills），微软是希望它最终成为安装 .NET 的唯一官方推荐方式。如果真能做到，以后新人入职的文档可以删掉一整页了。 ...
好题合集 2026.10
序 怎么十月了？ 感觉所有题都写进去没啥意思，就记一点有意思的题。 Problems P5355 [Ynoi Easy Round 2017] 由乃的玉米田 *Purple / 详见 Data Structures。 P5607 [Ynoi2013] 无力回天 NOI2017 *Purple $ 详 ...
单日涨星2.5万！AI逆向工程REA到底强在哪？
过去几天，GitHub 上有一个项目几乎是以"恐怖"的速度在涨星：REA（Reverse Engineer Anything）。 地址：https://github.com/morluto/rea 6 天从不到 1 万星飙到 11 万+，单日峰值涨星超过 2.5 万，一度霸榜 GitHub Tren ...
一款 3D 游戏全靠 AI 做出来了：完整制作流程公开了
一款 3D 游戏全靠 AI 做出来了：完整制作流程公开了 很多朋友都非常喜欢这个游戏。而从场景搭建、人物制作，到代码开发和调试，背后的主要制作工作，都交给了 AI 完成。 于是，作者决定把这次的制作流程公开出来，结合实际案例和可参考的提示词，手把手带大家入门 AI 3D 游戏制作，让你也能开始搭建自 ...
给 REA 套一层 GUI：153 个命令的界面是怎么自动长出来的
给 REA 套一层 GUI：153 个命令的界面是怎么自动长出来的 做过一个「界面驱动」的逆向分析项目，最后卡在一个很具体的地方：一个工具要人手动配置 153 个不同的参数面板，写到手软，而且一升级就全废。 最近 REA 更新到 6.5.0，我重做了一遍，这次只写了不到 2000 行就把这事解决了。 ...
Linux 内核模块为什么不能在运行时处理兼容性问题？
背景 从事 Linux 内核开发的人，大概都知道从 Linux 5.7 开始，为了防止第三方模块绕过 EXPORT_SYMBOL 的限制访问内部函数， kallsyms_lookup_name() 不再被导出了。 与此同时，eBPF 也在不断发展壮大，但它目前依旧不能取代传统内核模块，例如开发硬件驱 ...
千万三角面工业模型网页轻量化手动减面与AI智能减面实操
千万三角面工业模型网页轻量化：手动减面与 AI 智能减面实操记录 关键词：模型减面、网格抽稀、大装配优化、GLB 一、为什么必须做轻量化 做过 Web 三维的朋友都知道，直接把 CAD 导出的原始装配塞进浏览器，结果通常是： 首次加载时间很长； 显存占用高，普通办公本风扇狂转； 鼠标旋转明显掉帧。 ...
把工程流程沉淀为 Agent 资产：一套可交接的四层工作流
本文介绍 ai-engineering-agent——一套把软件工程全流程（需求 → PRD → 原型 → 契约 → 前后端实现 → 测试用例 → 变更日志 → 一致性核验）沉淀为文件资产的实践。 核心主张只有一句：上下文不该活在对话里，应该活在文件里。 一、起因：模型会写代码，流程却仍在靠人盯 过 ...
瑞芯微rv1106进入Loader模式转储emmc数据
最近遇到个问题，设备在用户手里变砖了。我们把设备拿回来，接上调试串口，打印如下输出 看起来是有分区数据损坏，肯定是需要把emmc数据读取出来看看。 有条件的话可以把emmc吹下来，然后用烧录器读取。但我们嵌入式软件岗位研发没这个手艺。就只能从软件上想办法。 先进maskroom（在uboot下输入d ...
AI重构代码40%会悄悄改坏，我是怎么用7步SOP防住的
上线第3天，监控告警群炸了。 不是新业务的问题，是我上周用 Claude Code 重构的那个订单服务。看起来一切正常，CI 全绿，单测跑过。但线上 P99 延迟翻了四倍，原因是 AI 在"优化"某个查询函数时，把一个 O(n) 的内存过滤替换成了每次请求都查数据库的子查询。 我当时盯着那个 dif ...
CatBase 语言入门：像 Python 一样写，像 C 一样跑
珠海有家机器人公司，内部项目嫌 Python 太慢，嫌 C 太难写，干脆自己造了一门编程语言。 这门语言叫 CatBase。语法照抄 Python 的简洁，性能对标 C，编译出来就是本地二进制文件。源码托管在 GitHub（仓库 DoRobotAi/catbase-lang），官网 catbase- ...
10、数据通信产品的硬件架构：拆开设备，看清网络的骨骼
前言 上一章我们认识了华为数据通信的产品家族——路由器、交换机、WLAN 与安全产品各司其职。但产品目录只能告诉我们"它是什么"，却回答不了"它凭什么做到这些"。一台能够在骨干网上每秒转发数百 Tbit 数据的设备，内部究竟由哪些部件构成？为什么有的设备高超过 1.5 m、重超过 500 kg，而有 ...
学习NOTE 10——李超线段树
李超真是个____。这都想得到。 引入（？） 我们要在平面直角（笛卡尔）坐标系中进行一些操作： 动态插入一条线段（或直线）； 单点查询：给定一个横坐标\(x\)，查询所有已插入线段在该点处的纵坐标最大值，并输 出对应线段编号。 但是朴素的暴力在每次查询时都是\(O(n)\)的，肥肠的不优。 但是，李 ...
Koog(5) —— Strategy 详解：工作流编排、并行执行与状态传递
前面的文章介绍了不同 Agent 实现形式及其构建、配置和运行方式。本文继续讨论 Agent 的行为逻辑如何组织，重点是图式策略的组成、控制流、并行执行与数据传递。 ...
Java 三层架构，90% 的人只答对一半：Controller 不是瘦，Service 不是透传，Dao 不是只写 SQL
Java 项目三层架构面试高频题，不止背高内聚低耦合！本文从**按变化速率分层**核心原理切入，划定 Controller/Service/Dao 职责红线，结合下单实战代码演示事务、DTO/VO 对象流转。拆解事务失效、N+1 查询等真实踩坑案例，引入 ArchUnit 实现架构自动化校验。还讲解... ...
