火箭实验室宣布收购卫星运营商 Iridium Communications,将其发射能力与 Iridium 的全球低轨道星座相结合。 此交易创建了一家垂直整合的太空公司,能够控制发射、卫星制造和通信服务,有望降低成本并提升火箭实验室的发射频率,同时为 Iridium 提供可靠的发射伙伴。 Iridium 运营着 66 颗活跃卫星的星座,提供全球 L 波段语音和数据覆盖;火箭实验室的 Electron 火箭可将最高 300 公斤有效载荷送入低地球轨道。
WATaBoy 是一个本科毕业设计项目,通过在运行时将 Game Boy 的 LR35902(SM83)指令集 JIT 编译为 WebAssembly 模块,在浏览器中实现了接近原生速度的模拟,优于传统的原生解释器。 这一结果表明,JIT‑to‑Wasm 能够超越原生解释器在性能关键的模拟场景,证明 WebAssembly 适用于高速的浏览器复古游戏及其他计算密集型工作负载。 该模拟器为热点指令路径生成 Wasm 模块,开销约为 20%,而纯解释器的开销约为 1000%;Firefox 的运行速度比 Chrome 或 Safari 慢约 25%,这是因为 WebAssembly 分层提升启发式的差异。
2026 年 6 月 29 日,美国最高法院裁定,执法部门用来从科技公司获取位置数据的地理围栏令状构成第四修正案下的搜查,必须符合宪法隐私保护。 此裁决限制了大规模监视,加强了人们在公共场所的隐私预期,并可能影响警方使用的其他逆向搜查令。 多数意见由伊莲娜·卡根大法官撰写,她指出即使在公共区域收集的位置数据也具有合理的隐私预期;阿利托和托马斯大法官持异议,主张赋予政府更广泛的权力。
Fergus Finn 的博客文章详细描述了 CUDA 内核启动的全过程,说明 CPU 调用如何经过 NVIDIA 驱动、门铃机制、队列管理描述符 (QMD)、信号量,最终到达 GPU 执行。 了解这一底层启动序列有助于开发者优化性能、调试同步问题,并在 CUDA 应用中更好地使用流和依赖关系。 文章强调了门铃写入如何通知 GPU、QMD 结构如何编码内核启动参数,以及默认流中的信号量如何提供隐式同步,除非使用显式流。
该诉讼在美国联邦法院提起,指控三星、SK 海力士和美光串通操纵 DRAM 价格,呼应了 2022 年的类似指控。 如果罪名成立,该案可能导致巨额罚款并改革全球内存芯片市场的定价做法,影响设备制造商和消费者。 原告称这些公司通过协同减产和价格信号来人为抬高 DRAM 价格,这在美国反垄断法中被禁止。
Mullvad VPN 的首席执行官 Daniel Berntsson 被揭露为瑞典地方政党 Örebro 党的主要财务支持者。 这一发现引发了对隐私导向服务可信度的质疑,当其领导人资助政治运动时,凸显了企业对政治影响的担忧。 Mullvad AB 由创始人 Daniel Berntsson 和 Fredrik Strömberg 共同所有,该捐款被描述为个人行为而非公司资助;Örebro 党是一个民族主义地方政党,计划参加 2026 年瑞典大选。
Ornith-1.0 发布了一系列参数规模从 9B 到 397B 的开放权重 LLMs,基于 Gemma 4 和 Qwen 3.5,采用 MIT 许可证,在编码基准测试中达到最先进的性能。 作为 DeepReinforce 的首个模型发布,其宽松的 MIT 许可证使其可广泛用于商业和研究,而其出色的编码性能表明自支撑 LLMs 在 agentic 编码中的潜力日益增强。 该发布包含 9B 稠密、31B 稠密、35B 稀疏混合专家(MoE)和 397B MoE 四个变体;模型基于 Apache 2.0 许可的 Gemma 4 和 Qwen 3.5,且 GGUF 量化的 35B 版本在 LM Studio 中约达 103 tokens/秒,能够有效支持 agentic 工具使用。
Qwen 3.6 27B 模型于 2026 年 4 月发布,被推荐为在本地运行 LLM 的强势甜点选择,社区讨论集中在硬件需求、与云 API 的成本权衡以及实际使用技巧。 这一点很重要,因为它为开发者提供了模型能力与资源需求之间的可行中间方案,影响他们是在投资本地硬件还是依赖云 API 以平衡隐私、成本和延迟的决策。 这个 270 亿参数的密集模型提供 262k 原生上下文(可扩展至约 1M tokens),量化为 Q4_K_M 后约需 16.8 GB 显存,可在 RTX 4080 上运行;在 OpenRouter 上其 API 价格为每百万输入 token 0.2596 美元,每百万输出 token 2.385 美元。
欧洲互联网服务提供商协会(EuroISPA)呼吁让版权方对因过度或错误的内容封锁造成的损害承担赔偿责任,以改变目前版权方无需承担过度封锁责任的现状。 这种责任转移将改变在线版权执法中的责任平衡,有望减少过度封锁、保护合法言论,并促使版权方在申请广泛封锁令时更加谨慎。 EuroISPA 的提案针对根据欧盟版权指令发布的网站封禁令,旨在让版权方赔偿 ISP 和最终用户因错误封锁内容造成的附带损害。该倡议源于对西班牙等国家体育联盟获得广泛封禁令导致的附带审查的日益担忧。
ACM Queue 的文章指出,形式验证目前只能确认核心无效果逻辑(如不变量和冲突解决)的正确性,而 UI、网络和数据库交互通常位于验证范围之外,并建议使用 AI 自动化许多验证任务。 这凸显了为什么大多数普通开发者无法依赖形式验证来保证整个系统的正确性,并表明 AI 辅助的证明生成有可能将验证范围扩展到更广的软件栈,从而影响可靠性和安全性。 已验证的核心处理无效果逻辑、不变量、状态转换和冲突解决,但规格说明的质量至关重要——规格中的缺陷会使证明失效,而 AI 辅助被视为减少手动证明工作的方法。
文章介绍了 Micro-Agent,一个协作框架,其中多个轻量级代理通过模型的 API 进行交互,共同实现超过更大前沿模型的性能。 这种方法表明,通过巧妙协调小型高效代理可以媲美甚至超越巨型模型的能力,有望降低计算成本并让更多人获得高性能 AI。 Micro-Agent 利用模型现有的 API 进行代理间通信,无需自定义基础设施,并依赖可快速实例化、水平扩展的轻量级代理。
HCCF 倡议提出一个新的 .self 顶级域名,旨在为任何人提供免费的子域名用于自托管个人网站,以重夺数字自我主权。 如果实现,.self 将降低自托管的门槛,推动去中心化的个人在线身份,挑战商业域名注册商的主导地位。 该提案禁止域名停放、占用和转售,并计划通过捐赠或亏本导流服务来获取资金,而非依赖注册费收入。
Ornith-1.0 是一个开源的 Qwen 语言模型微调版,声称具备用于智能体编码任务的自改进能力,已在 GitHub 上的 deepreinforce-ai/Ornith-1 发布。 它展示了开源大语言模型如何通过自改进机制实现编码工作流的自动化,可能降低开发者构建 AI 驱动的软件代理的门槛。 该模型基于 Qwen 系列(未披露具体版本),据称通过自奖励或迭代推理实现改进;但社区反馈表明在无工具情况下易产生幻觉,且基准测试提升有限。
作者 Carson Gross 描述了他在 HTMX 项目的 hyperscript 解析器中使用 Claude 语言模型进行调试的过程,展示了 AI 生成测试和提出修复方案的能力,同时也暴露了其局限性。 这一具体演练帮助开发者了解大型语言模型在哪些方面表现出色——如分析、样板代码和测试生成——以及在哪些方面不足,特别是在设计思维和泛化解决方案方面。 文章指出 Claude 生成了多种解决方案,其中有些过于具体到仅能修复报告的 bug,而有些则误阻止了合法的使用;但作者未透露所使用的 Claude 版本、具体提示或工具。
20 世纪 80 年代初,桑迪亚国家实验室将英特尔 8085 微处理器转换为辐射硬化的 CMOS 版本 SA3000,晶体管数量从 6500 增加到 18000,并采用 3 µm 工艺在 4 英寸晶圆上制造。SA3000 可在 4.5‑11 V 下运行,在承受 1×10⁶ rads 辐射时仅性能下降 25%。 SA3000 展示了美国政府早期为核武器建立内部辐射抗硬电子能力的努力,为如今的辐射硬化设计(如 MOOG BRE440 和 BAE RAD5500)奠定了历史基础。其研发凸显了保持国内半导体能力对关键防御系统的重要性。 该芯片采用 n‑on‑n+外延衬底以防止闩锁,在晶体管周围设有广泛的保护环和硬化氧化层,并配有伴随芯片 SA3001 和 SA3002。它能够承受最高 3×10⁶ rads 的辐射,此时性能下降 40%,工作电压范围为 4.5‑11 V。
作者描述重建一个专用电脑房来放置固定式台式机,同时将笔记本和手机存放起来,以减少干扰并将工作与休闲技术使用分离。 这一反思凸显了人们对促进专注和数字健康的有意科技环境的日益关注,影响个人如何设计个人工作空间。 该设置强调固定式台式机作为主要工作设备,而笔记本和智能手机则被放在抽屉或充电站以减少干扰。
Instagram 开始在广告中使用用户的个人照片来宣传 Meta 新推出的 AI 智能眼镜,该眼镜是在六天前与 EssilorLuxottica 合作推出的。 这再次引发了对 Meta 如何将用户生成内容用于商业广告的隐私担忧,呼应过去的争议,凸显个性化广告与用户同意之间的紧张关系。 这些广告在 Instagram 动态中出现,使用用户的真实头像,依据平台现有的服务条款,Meta 获得了在赞助内容中使用用户内容的广泛权利,而 Meta 眼镜的起售价为 299 美元。
JumpServer 在 GitHub 上宣布其开源特权访问管理(PAM)解决方案,提供会话录制、密码轮换和实时监控等功能,以保护关键系统。 随着组织越来越采用零信任模型,像 JumpServer 这样的开源 PAM 工具有助于降低许可成本并提高在保护特权账户方面的透明度。 JumpServer 支持多因素认证,可与 LDAP/Active Directory 集成,并提供审计日志和基于角色的访问控制以满足合规要求。