人机验证 为了继续,您需要通过解决 CAPTCHA 谜题来验证您不是机器人。CAPTCHA 谜题需要 JavaScript。请启用 JavaScript,然后重新加载页面。
人机验证 为了继续,您需要通过解决 CAPTCHA 谜题来验证您不是机器人。CAPTCHA 谜题需要 JavaScript。请启用 JavaScript,然后重新加载页面。
启用 JavaScript 和 Cookie 以继续
轨道数据中心(ODC)在2030年前不太可能在AI算力中占重要份额,但如果Starship实现强复用,可能在3–5年内与地面数据中心具备成本竞争力。其主要优势是空间太阳能,一旦发射成本低于约250美元/公斤,就能击败离网地面电力,并在接近50美元/公斤时比现有地面方案更便宜。辐射冷却看起来可控,且可能比在地球上更便宜。然而,ODC面临重大约束:无法更换故障芯片可能使非计算成本增加约38%,有限的星间带宽最初可能将其限制于推理。Starship是唯一的近期发射路径;竞争对手落后。监管、轨道拥堵、辐射和安全权衡也很重要。总体而言,ODC比预期更可行,但前提条件是发射成本下降、芯片故障率保持可容忍,以及高带宽轨道架构得到发展。
一位作者制作了一个包含104个软件职位名称的交互式家族树,涵盖20世纪40年代至今,按七个家族分组,用箭头表示传承或影响。职位名称按五年周期出现;日期为粗略估计。观察到六种模式:编码最初是地位较低的文员工作,主要由女性完成,随后与编程合并;职位名称分裂与重组,如从网站管理员到全栈;有些名称逐渐淡出,如提示工程师和Scrum Master;名称会被重复使用,如系统工程师和配置管理;潮流角色常呼应旧角色,如前沿部署工程师类似IBM系统工程师;DevOps/SRE/平台工程的争论仍无定论。该家族树旨在说明软件职位名称如何演变,日期不确定,并邀请纠正。
本文逆向工程了1965年600系列中的Signetics ST680A集成电路,将其识别为采用二极管-晶体管逻辑(DTL)的四路与非门。它描述了开封塑料双列直插封装、清洗裸片以及重建缺失金属层以揭示四个与非门。它解释了双极型NPN晶体管、二极管、蛇形电阻和DTL工作原理:输入经二极管、晶体管放大、电阻上拉。该芯片采用不寻常的引脚排列,1脚接地、8脚接电源。Signetics通过仅改变金属层,复用相同硅布局制作相关芯片——670A三路三输入与非门和616A双路五输入与非门,并提供用于更大门电路的扩展输入。文章还追溯了Signetics的历史:1961年由Fairchild老员工创立、早期昂贵的与非门、Corning投资、国防部驱动的增长、与Fairchild的竞争、后来的555定时器、被Philips收购,以及通过NXP留下的遗产。
许多 Lovable 应用因访问控制配置错误而暴露敏感数据。由于这些应用常使用重复的数据库集成模式,攻击者可在多个应用中复用相同方法。非技术用户可能难以发现或防止此类缺陷。即使是易于使用的 AI 开发工具,在处理机密数据前也需要专家审查;自动化检查无法替代专业安全评估。在使用真实客户或业务数据前,组织应审查访问权限、接口和账户隔离,并在重大变更后重复检查。如果缺乏内部专业知识,应寻求合格支持。本报告更新了 2026 年 11 月 2 日《Handelsblatt》文章中的数据。
一个 190 行纯 JAX 实现的 DeepSeek-V3,使用公有领域侦探小说在 MacBook Air 上从头训练。它包含多头潜在注意力(每 token 缓存一个小潜在向量)、解耦 RoPE、DeepSeekMoE(一个共享加 16 个路由专家,top-4)、无辅助损失的偏置均衡、序列级均衡损失,以及多 token 预测。训练使用 bf16 计算和 f32 主权重,并进行 prefill-and-decode MLA 缓存。
默认运行有 36.2M 参数(每 token 13.6M 激活),在 21.7M token 上训练 12,000 步,约 2.6 小时,约 10.7k token/s,验证损失达到 3.51。使用偏置均衡时专家负载保持均衡(5.7–6.9% 对比 6.25% 理想值),且均衡不会损害验证损失。检查点可从 "The fog came in off the." 这类提示生成连贯续写。
该项目是一个可读的架构演示,而非强语言模型:稠密 MoE 计算,无权重吸收,无 FP8/DualPipe/YaRN,规模很小(6 层,256 token 上下文)。它附带测试、数据准备、训练、采样和绘图脚本,以及已发布的检查点和数据集以供复现。需要 Apple Silicon Mac、Python 3.12 和 uv。
C3 0.8.6 发布,库打包与获取机制经过重做。库现在是带清单的 `.c3l` 归档。新增 `source-lib` 目标可将 C3 源码打包为 `.c3l`,`c3c fetch` 支持自定义仓库、版本、校验和及项目依赖。安全模式二进制文件因复用 panic 代码而缩小约 30%;`PanicFn` 签名已更改,`--panicfn` 现在指定函数名。编译器变更包括更严格的转换规则、`else if` 必须使用花括号、重复初始化器报错、更好的泛型错误位置、`--stats`、目标依赖、`project.json` 中的环境变量展开,以及 C 后端改进。标准库更新改进了压缩、哈希、正则、列表、矩阵和图形。包含许多 ABI、向量、常量折叠、平台和标准库修复。大多数代码应无需修改即可编译,但更严格的一些规则可能需要更新。
该项目用 Lean 形式化美国税法,以发现矛盾和漏洞。它首先检查了《美国法典》第26篇的交叉引用,发现257个问题,其中138个确认为真实起草缺陷,并附有证书。随后它编码了2025年联邦所得税规则,对照国税局示例进行测试,并与PolicyEngine-US、Tax-Calculator和UsTaxes在5,000户家庭上比较;这发现了那些工具中的错误以及其自身模型中的两个错误。对家庭选择的搜索重新发现了已知的规划策略,并识别出新的机会:在某些情况下分头申报可以减少社会保障征税,将工资和投资在配偶间分配可以降低净投资收入税,且附表8812可能相对于法条多退儿童税收抵免。单年度最大影响较为有限,而多年期Roth及与子女相关的策略影响更大。剩余限制包括覆盖不完整和未经审查的AI分类。代码、证书、比较结果和搜索结果位于global-law仓库。
过去十年,我们一直说服自己,云是一个神奇、轻盈的地方。但事实并非如此。云是一栋建筑。它有墙壁、冷却管道和电源电缆。而且有时,这栋建筑会过热。去年五月,单个 AWS 数据中心过热时,它不只是导致一些服务器宕机,还暴露了现代互联网惊人的脆弱性。弗吉尼亚州一台空调故障,意味着 Coinbase 停摆;而 Cloudflare 脚本中的一个拼写错误,让数千个网站变得不可见。我们用杂乱但去中心化的网络,换来了少数几家巨头的便利。现在,我们正在为此付出代价。这是一个关于云的隐性经济、弹性幻觉,以及最聪明的工程师为何正在悄悄回归裸金属的故事。#CloudComputing #AWS #Cloudflare #SystemDesign #TechInfrastructure #BareMetal #DevOps #SoftwareEngineering #TechNews #Internet