科技笔记
共 116 篇文章
把整条产线换成一个机器人：小批量打样为什么突然快了一倍
CircuitHub公开运行五年的The Grid：用磁悬浮搬运机器人和AI调度，让每块板独立排队、走自己的路线，取消换线与前置设置，使“百种设计各一件”和“一种做百件”排产趋同。案例中，5块四层电机控制板含118个元件（38种），走The Grid为4天630美元；深圳快板中位9天约465美元（含运费关税）。关键不在更便宜，而在用约165美元换5天工程时间。文章由此启发企业数字化：共性做成工位，差异交给调度，减少项目换型；同时提醒厂商自发布数据口径需自行核算。
八张证书的私钥谁都能算出来：浏览器七天修完，命令行工具还在等
eMudhra 八张中间证书的私钥可从证书本身还原；浏览器已屏蔽，git、curl 与 Electron 仍信任。
Google 新模型不谈聪明，谈两件事：跑得久，和别越界
Gemini 4 Carbon 发布，官方主推的不是跑分，而是连跑几天的长任务能力，以及「不越界、不欠服务」两条指标。
JPEG XL 终于进了所有主流浏览器，但它没赢过 AVIF
JPEG XL到2026年10月才落地主流浏览器，但实测显示AVIF通常更小：有损照片默认强度下最优JXL仍大15%—25%，拉满后差6%—20%，个例可反超；截图和插画AVIF明显占优，JXL默认大30%—90%，有损AVIF足够；透明图AVIF优势最大。编码器影响不亚于格式，jixel常更小却可能“刷指标”；libjxl提高强度基本无益。AVIF的4:2:0默认值不可信，建议4:4:4。落地应按场景用AVIF，JXL留给个例，并按显示尺寸出图，核心是默认值不可信、按场景测试。
90% 的工作时间，AI 评测根本没覆盖到
Mercor用O*NET的923种职业、18797项任务映射现有AI评测，发现仅924项任务被覆盖，208种职业有“同一任务至少5道题”的评测，22个大类中6个没有。覆盖偏向计算机、金融等大市场，并与职业工资总额、任务AI暴露度正相关；这意味着美国90%工作时间花在评测几乎未覆盖的任务上。企业选型不能只看榜单，应先划出高频、高价值、结果可判定的任务，每环节用20—50条真实样本和明确判定条件自建小评测，比较候选模型。小团队可从最耗时的三类任务各抽20条脱敏案例开始，一两天完成，得到可量化合格率，并统一“做好”的标准。
三十年没人说清的密码学悬案，Claude 用半小时解了出来
NIST标准ECDSA曲线种子由NSA提供且无生成记录，长期引发是否藏弱点的猜测。2026年10月，Anthropic让内部推理模型在无线索下溯源，Claude不到半小时发现P-192至P-521五条曲线的种子并非哈希输出，而来自C标准库lrand48伪随机数生成器，以时间戳为初始值。Anthropic称这终结多年猜测，但无需采取行动。模型的价值在于处理答案唯一、可严格验证但搜索路径长的“考古”问题；企业可用历史代码、记录和日志让模型提出假设并复现验证，接手遗留系统时先梳理来历并产出可运行测试。
自己写一个容器运行时之后，我才明白 Docker 有多怪
文章指出容器不是轻量虚拟机，而是受内核机制约束的宿主机普通进程，由命名空间、cgroup、网络隔离和文件系统组成；镜像只是文件夹，运行时通过chroot等将其变成根目录。runc用Go实现别扭在于多线程运行时、缺少真正fork，需靠C模块和再次exec自身模拟。作者建议亲手实现常用工具来学习；企业应准确说“进程加隔离”，排障先查根目录、进程视图和资源限制，安全边界不能全押容器，并可用自研工具把黑盒变白盒。
把测试变成数学证明：Claude 给 123 个开源库写出了「永不崩溃」的证明
Anthropic与Theorem合作，用Claude在汇编层为123个真实开源库证明安全属性，称首次在汇编层对生产软件做大规模形式化验证。证明在输入小于64MB等限定下，程序总正常退出，不踩内存、不触发断言失败；方法是将OSS-Fuzz入口的“永不崩溃”规则转为数学规格，由Claude写证明、Rocq校验。这能降低证明成本，并发现模糊测试跑上万亿次仍漏掉的问题。限制是只证底层安全属性，不管业务逻辑，还需防范模型作弊并信任检查器、编译器、硬件和语义模型。企业可优先验证解析、金额、接口等关键环节，把形式化规格纳入验收，并升级AI产码后的审查。
英伟达开源 OpenShell：让 AI 智能体敢碰真实凭证的那把锁
英伟达以Apache 2.0开源OpenShell，定位为自主智能体安全私有运行时，已有约1.7万星。其思路不是限制智能体能力，而是限定出错时可触及范围：智能体运行在隔离沙箱，内核控制文件与系统调用，网络连接须过策略；凭证不进入智能体，仅在发往已批准端点时注入。突出设计是用形式化验证预演策略变更，标出新增主机或接口权限，供人复核后生效。项目仍在演进，生产宜小规模试用，部署需容器运行时或Kubernetes加Helm，默认遥测可关，策略宽度即安全边界。团队应自查真实凭证暴露、出网路径和权限变更复核，自动生成权限清单；凭证注入也可作为产品安全能力。
八张中间证书的私钥能被算出来：一次和每个网站都有关的证书事故
2026年10月20日披露，eMudhra八张可链到四大根证书计划的中间CA私钥泄露；根因是私钥生成方式错误，可从证书还原，2025年4月签发后即存在风险。四大平台已拦截、CA已吊销，但许多客户端不读吊销信息，老旧客户端风险窗口更长。攻击者可签发任意域名的合法证书，浏览器锁标只说明连接加密，不说明站点真实。读者应自查信任状态，检查证书链并更换问题证书，盘点老设备、更新信任库；企业应把证书签发者与续期信息纳入资产清单，并备好应急口径。