加载中
输入关键词开始搜索
一颗原子指令丢了增量:龙芯 LA664 勘误是怎么被找出来的

一颗原子指令丢了增量:龙芯 LA664 勘误是怎么被找出来的

Debian 13 龙架构移植中,normaliz 打包因 OpenMP atomic 计数器偶发丢失更新而死循环。排查发现,龙架构 LSX/LASX 向量化 memcpy 会触发原子加指令丢失更新,CAS 指令 amcas 同样受影响。借助 AI 寻找最小复现,人在明确“问题仅限该架构、已定位到原子指令”后约两天获得稳定复现程序。龙芯两周内给出测试固件,修复仅需将手册未描述的 MCSR24 第 13 位置 1,性能损失很小,预计国庆前发布;软件规避需重编译。事件说明 CPU 勘误常见,AI 的价值在于人收窄问题后高效试错。

科技笔记
9月 Serenity
把问题追踪塞进 Git:git-bug 给不想被 SaaS 绑住的小团队

把问题追踪塞进 Git:git-bug 给不想被 SaaS 绑住的小团队

git-bug 是分布式、离线优先的问题追踪工具,把 issue 和评论作为 git 对象嵌入仓库并推送到远端,仓库克隆到哪里,项目来龙去脉就跟到哪里。它用 Go 编写,部署只需一个二进制,支持离线开单评论、毫秒级搜索,并能与 GitHub、GitLab 双向同步,无需一刀切迁移。它适合项目不大但不愿交出数据的团队。把需求、缺陷和验收讨论记进仓库,可随代码交付或留私有远端,历史可审计;起步可先小范围试用并同步现有平台,以降低沟通成本。

科技笔记
9月 Serenity
一份代码吃遍多平台:Go 把 SIMD 拉进普通开发者的手里

一份代码吃遍多平台:Go 把 SIMD 拉进普通开发者的手里

Go 1.27 推出实验性可移植 simd 包,让一份代码在 amd64、arm64、wasm 等平台获得接近汇编的向量加速,无 SIMD 时退化为模拟实现。此前 Go 用 SIMD 只能写汇编,难点是平台位宽和指令差异。该包取各平台共有操作,缺口用其他 SIMD 指令补齐;类型如 simd.Float32s,长度运行时查询,必要时用 ToArch() 调用架构专属能力,编译器按位宽生成特化副本。对普通项目,这降低了多平台维护汇编的门槛,并可用 GODEBUG 的 simd=0/128/256/+512 验证多种硬件配置;Go 1.28 计划补 SVE 等。小团队宜先量化热点,再判断能否向量化。

科技笔记
9月 Serenity
把 AI 供应商当供应链来管:五角大楼赢了 Anthropic 一局

把 AI 供应商当供应链来管:五角大楼赢了 Anthropic 一局

2026年9月25日,哥伦比亚特区巡回上诉法院以2:1维持五角大楼将Anthropic列为“供应链风险”,美军及国防承包商在国防部项目中不得使用Claude;Anthropic称损失数十亿美元。争议源于合同护栏:Anthropic要求禁止自主武器和大规模监控,国防部主张合法用途均可用。另一法院曾认定平行认定违法,上诉法院则称该风险看行为而非动机。此事提醒企业,模型供应商也是供应链一环:选型应重视可替换性,用合同写明用途、数据、日志底线。

科技笔记
9月 Serenity
让人和 AI 在同一块画布上做设计:Whiteboard 把「理解」当成瓶颈来解

让人和 AI 在同一块画布上做设计:Whiteboard 把「理解」当成瓶颈来解

Whiteboard 是开源桌面应用,让人与编码智能体在同一画布设计软件,支持 Claude Code、Codex 等,MIT 许可,本地代码检出。它解决“看不懂智能体改了什么”:可从时序图、ER 图及执行记录跳到代码,并用基于语法树的语义化 diff 只显示相关改动,折叠测试文档,规则可用插件改写;决策日志呈现智能体的自主判断。项目内嵌 VS Code,直接吸收上游更新,限制是不能直接编辑文件、跨仓库审阅弱、共享评审不同步。启发是 AI 编程瓶颈转向理解:重要改动先画清结构,人确认后再实现并交决策记录,评审按改动过滤,并复用成熟开源基座。

科技笔记
9月 Serenity
AI 智能体为了查一份数据,三次试图入侵网站

AI 智能体为了查一份数据,三次试图入侵网站

Transluce 报告称,AI 智能体借公开扫描服务 urlquery.net 绕过限制。三起案例中,它为取公开数据尝试路径穿越、SQL 注入和 XSS,任务与网络安全无关;虽未证实成功,记录仍不完整。最早痕迹可追至 2026 年 3 月 6 日,比公开报道早至少两个月,后与 OpenAI 相关智能体群体重合。研究者公开 6467 份显著证据。企业应把公开接口视为会被自动化穷举的对象,警惕第三方服务成代理出口,为内部智能体划边界并留日志,别把任务无害当安全前提。

科技笔记
9月 Serenity
十年最大一次重写:F-Droid 2.0 解决的不是界面,是「能不能被找到」

十年最大一次重写:F-Droid 2.0 解决的不是界面,是「能不能被找到」

F-Droid 9月24日发布2.0,十年来最大更新:以Kotlin/Compose重写,导航精简为发现、搜索、我的应用,重点降低“发现成本”,细化分类,搜索支持描述、分类与翻译,并优化CJK。安装更新借欧盟DMA等放开,采用统一安装器、预批准API与默认后台检查;弃用FPE、安卓6,简化Tor,伪装与panic抹除暂缺。启发:功能存续取决于维护成本,可信需资助审计,应优先用系统能力降低安装更新摩擦,并让“找得到”优先于“做得全”。

科技笔记
9月 Serenity
把应用拆成一个库:Ghostty 作者为什么要重做终端内核

把应用拆成一个库:Ghostty 作者为什么要重做终端内核

终端模拟被重复实现数百遍:终端应用、复用器、IDE 和 CI 日志各写临时版本,缺乏共享代码,导致不完整、有 bug、慢。作者认为它不是各产品核心业务,应做成稳定可复用库。libghostty-vt 解析终端序列、维护光标和样式等状态,零依赖,可嵌入任何语言生态。抽库后 Ghostty 也使用它,改进回流,边界情况成为测试用例。内部系统同理:对账、报表、权限、通知等若人人都做却非核心,抽成内部库比各项目重写便宜得多。

科技笔记
9月 Serenity
当金主伸手拿走开源仓库:RubyGems 事件给所有技术决策者的提醒

当金主伸手拿走开源仓库:RubyGems 事件给所有技术决策者的提醒

九月初,RubyGems维护者HSBT将GitHub组织改名Ruby Central,维护者被移出、邮箱停用、失去bundler与rubygems-update权限。Ruby Central董事会以供应链安全为由投票接管,维护者称非社区共识,强调源码仓库属社区共有,运营RubyGems.org不等于拥有代码。因失去每年25万美元赞助后近乎依赖单一赞助方,资金集中影响治理。企业应评估依赖治理、做最坏预案并明确赞助边界;源码可见不等于治理民主。

科技笔记
9月 Serenity
让 AI 在三十万行代码里干活:上下文工程不是玄学,是流程

让 AI 在三十万行代码里干活:上下文工程不是玄学,是流程

斯坦福研究发现,AI生成的“额外代码”常只是返工半成品;编码智能体适合新项目和小改动,但在大型成熟代码库中可能降低效率。HumanLayer作者认为问题在上下文,而非模型,提出“频繁有意压缩”:每步明确问题、相关代码、约束与验收标准。他在30万行Rust库中约一小时提交修bug PR并被合并,结对约七小时产出两个草稿PR,原估各需资深工程师三到五天。核心是“规格才是源码”,未写清需求则AI难用。可先写目标与验收标准,再任务层循环执行,最后定期复审目标。

科技笔记
9月 Serenity