1451

SpaceX 对退休储蓄和指数基金纳入的影响

随着 SpaceX 向公开市场迈进并寻求纳入主要股票指数,公众对 SpaceX 对退休储蓄的潜在影响的担忧正在上升。

1452

Anthropic Mythos and Fable 出口管制:网络出口失败的历史

美国政府最近命令 Anthropic 限制其 Fable 和 Mythos AI 模型的出口,这凸显了网络出口管制反复出现的低效模式,反映了以往 PGP 加密和监控间谍软件方面的失败案例。

1453

哺乳动物再生:激活休眠能力以再生骨骼和关节

德州 A&M 大学研究表明,哺乳动物拥有休眠的再生能力,通过使用两步生长因子治疗法可以激活这种能力,从而再生骨骼、关节和韧带,而不是形成瘢痕组织。

1454

Tiny: 一种具有内联 Go 扩展的并发动态语言

Tiny 是一种使用 Go 编写的高性能、并发字节码虚拟机和语言,其特点是具有包含解释器和 JIT 编译器的多层级执行模型。

1455

全球 GPS 信号篡改的规模与影响

最近的卫星数据和航空报告显示,GPS 干扰和欺骗行为大幅增加,特别是在中东和东欧地区,这威胁到了航空安全,并促使人们重新转向惯性导航和无线电导航。

1456

规模瓶颈:为什么 GLM-5.2 在幻觉率方面优于 GPT-5.5

分析显示,GPT-5.5 和 DeepSeek V4 Pro 等较大模型表现出比较小的、采用 MIT 许可的 GLM-5.2 显著更高的幻觉率,这表明“越大越好”的规模化范式正处于瓶颈期。

1457

大香蕉车:一项关于汽车奇趣的研究

Big Banana Car 的创造者 Steve 旨在驾驶其定制建造的香蕉机动车开启环球巡演,但目前尚需解决资金、保险以及完成另一辆“柴油朋克”风格车辆的问题。

1458

强制在线身份验证的推动与 RTA Header 替代方案

对互联网流量中政府强制实施的集中式身份验证趋势的分析,以及关于回归使用 RTA headers 进行非侵入式年龄验证的建议。

1459

2026年开放法院法案与免费获取联邦法院记录的推动行动

电子前沿基金会和一系列组织联盟正在支持 2026年开放法院法案,以消除 PACER 费用并使联邦司法系统的电子备案文件系统现代化。

1460

ATProto: 为什么没有实例

ATProto 将托管与聚合解耦,通过将社交数据视为网络的投影而非联邦服务器的集合,消除了对“实例”的需求。

1461

现代波士顿动力全资收购

现代汽车集团以 3.25 亿美元收购软银在波士顿动力剩余的 9.65% 股权,获得全资控制权,以便在 2028 年前将 Atlas 人形机器人整合进其电动汽车制造体系。

1462

挪威将建造全球首个全规模船舶隧道

挪威已拨款 86 亿挪威克朗用于建造 Stad Ship Tunnel,这是全球首个全规模船舶隧道,旨在让渡轮和客船能够安全地绕过危险的 Stad 半岛。

1463

将网站存储在 Favicon 中:技术概念验证

开发者 Tim Wehrle 展示了如何通过将 UTF-8 字节编码进 RGB 通道并利用 Canvas API 进行解码,将整个 HTML 负载存储在一个 9x9 像素的 favicon 中。

1464

内存短缺会推动更高效的编程吗?

软件开发者和行业专家正在辩论,不断上升的内存成本是否会迫使回归资源高效型编码,还是市场激励和架构膨胀将维持现状。

1465

挪威在小学实施 AI 禁令以保护认知发展

挪威政府对 6 至 13 岁学生实施了几乎全面的 AI 禁令,以确保他们掌握阅读、写作和理解等基础认知技能。

1466

VocabOwl: 分析科学词汇量挑战

VocabOwl 是一款使用分层抽样来估算用户英语词汇量的评估工具,尽管用户和批评者已发现其数学逻辑和测试设计中存在重大缺陷。

1467

AI 与职业技能的萎缩:去技能化辩论分析

关于 AI 是否正在侵蚀核心职业技能的讨论,突出高层次生产力提升与基础技术专长流失之间的紧张关系。

1468

Google Workspace Firefox 访问限制

一些 Google Workspace 用户在 Firefox 上遇到访问拦截,这可能是由组织级安全策略(如 Context-Aware Access 或 Chrome Enterprise 设置)驱动的。

1469

经济看不见的房间:应对第三空间的衰落

分析了为什么市场经济无法生产“第三空间”(如游戏俱乐部之类的社交空间),以及基本收入底线如何能够维持无偿的社会价值。

1470

负载均衡系统的经济学与 Erlang C

根据 M/M/c 排队模型,在保持单台服务器利用率不变的情况下,增加负载均衡系统中的服务器数量可以降低平均延迟并改善尾部百分位数。

1471

John Jumper 在领导 AlphaFold 之后加入 Anthropic

John Jumper,Google DeepMind AlphaFold 团队的负责人,在近九年后离职并加入 Anthropic。

1472

Bobby Prince: 开创性视频游戏作曲家的遗产

Robert "Bobby" Prince III,*Doom*、*Wolfenstein 3D* 和 *Duke Nukem 3D* 标志性原声带背后的作曲家,于 2026 年 6 月 16 日逝世。

1473

Tom Di Mino 对 Linear A 的破译提议

AI 工程师 Tom Di Mino 声称他已破译了 Linear A,并提出它是一种已灭绝的闪米特语,其研究结果目前正在罗格斯大学和剑桥大学的专家评审中。

1474

冰水冰水浸泡147分钟后的生存:深低温症案例研究

一名8岁男孩在冰水中浸泡至少147分钟,体温降至7°C,成功生存,这扩展了人类在心搏停止性低温症后的生存极限。

1475

Project Valhalla 与 JDK 28:将值类引入 Java

JDK 28 将引入 JEP 401(值类与对象)作为预览特性,通过去除对象标识来提升内存密度和缓存局部性,使 JVM 能够像对待原始类型一样高效地处理类。

1476

Datasette Apps: 在沙盒环境中托管自定义 HTML 应用程序

datasette-apps 插件允许用户在 Datasette 内部托管自包含的 HTML 和 JavaScript 应用程序,通过严格的 iframe 沙盒和 CSP,实现安全的读写数据交互。

1477

如何喂养独裁者:为独裁者服务的道德悖论

纪录片《How to Feed a Dictator》探讨了曾为臭名昭著的世界领导人服务的私人厨师的心理和道德困境,强调了个人奢侈与国家支持的暴行之间的紧张关系。

1478

亚马逊在宣布与OpenAI合作后取消Sam Altman传记电影

亚马逊在与OpenAI建立新合作伙伴关系后,暂停了Sam Altman传记电影的制作,凸显了企业联盟如何能够突然重塑娱乐项目。

1479

JAWBONE 法案:应对政府对在线言论的强迫

JAWBONE 法案是一项由参议员泰德·克鲁兹和朗·怀登共同提出的两党议案,旨在防止政府官员强迫私人公司审查合法的、受第一修正案保护的言论。

1480

AirPods 效应:无线耳机如何影响社交互动与认知

AirPods 和无线耳机的广泛采用创造了一种“请勿打扰”的社交信号,减少了自发的社交互动,并限制了大脑进行反思所需的必要闲暇时间。

1481

Pagecast: 将 Markdown 和 HTML 报告发布到 Cloudflare Pages

Pagecast 是一个本地优先的发布工具,允许开发者和编程智能体通过终端或管理 UI 将本地 HTML、Markdown 和静态微型应用部署到可分享的 Cloudflare Pages URL。

1482

Elkjop 集团因强制同意和 GDPR 违规被罚 180 万欧元

挪威数据保护局(Datatilsynet)对 Elkjop 集团处以 2000 万挪威克朗(约合 180 万欧元)的罚款,原因是其通过将客户俱乐部会员资格与接收营销电子邮件挂钩,实施了“强制同意”。

1483

克雷格·纽马克与慈善哲学

Craigslist 创始人克雷格·纽马克已向慈善事业捐赠了五亿美元,倡导赠予承诺,以抵制日益增长的亿万富翁个人主义趋势。

1484

瑞士解除新建核电站禁令

瑞士国民院已批准针对 Blackout Initiative 的反提案,在等待最终全民公投的情况下,实际上解除了新建核电站的建设禁令。

1485

为 VLA 模型构建桌面机器人研究装置

开发者 mplappert 描述了构建一个用于视觉-语言-动作 (VLA) 模型训练和遥操作的本地机器人研究站,并强调使用自定义软件技术栈而非 ROS2 等行业标准。

1486

Let's Encrypt 服务中断与续期错误

Let's Encrypt 因上游网络问题经历了短暂的性能下降,导致部分用户出现了一些证书续期错误。

1487

Model Context Protocol 企业级管理授权发布

Model Context Protocol (MCP) 已发布稳定的企业级管理授权 (EMA) 扩展,为企业用户实现了集中式身份提供商 (IdP) 控制和零接触 OAuth。

1488

您是否在模型权重中:分析大型语言模型对个人的识别

工具 “您是否在模型权重中” 通过并行查询多个模型并对响应进行聚类,让用户检查前沿模型和小型 LLM 对其的识别程度。

1489

Git 文件忽略:使用 .gitignore、.git/info/exclude 与全局忽略文件

Git 提供了三种不同层级的文件忽略方式——项目层级(.gitignore)、仓库本地层级(.git/info/exclude)和用户全局层级(~/.config/git/ignore)——帮助在不污染共享配置的前提下管理未跟踪文件。

1490

Modos 彩色电子纸显示器:推进显示技术

Modos 正在开发一种彩色电子纸显示器,旨在减轻眼睛疲劳并提高户外可见度,未来的 'Flow' 型号旨在实现 60Hz 刷新率和 3,200 x 2,400 分辨率。

1491

现代美国住房市场中 30% 租金规则的失效

传统的 30% 租金规则日益过时,因为它依赖于总收入而非到手收入,且未能考虑到基本生活成本的上升。

1492

Ubiquiti Enterprise NAS (ENAS) 发布

Ubiquiti 推出了 Enterprise NAS (ENAS),这是一个基于 ZFS 的存储平台,具有 16 个驱动器插槽、25GbE 连接性,并与 UniFi 生态系统集成,且无需支付持续的许可费。

1493

Submission.Directory: 网站提交平台精选指南

Submission.Directory 提供了一份精选的高权重目录和发布平台列表,旨在帮助网站所有者获取反向链接并提升在搜索引擎和 AI 回答中的可见度。

1494

医院与大学以低90%的成本进行药物再利用

King's College London 的研究显示,医院和大学可以通过后期试验以比制药行业低至 90% 的成本进行现有药物的再利用。

1495

Emacs 31 发布预览:Tree-sitter、Markdown-ts 与核心增强

Emacs 31 引入了显著的生活质量改进,包括自动化的 Tree-sitter 语法安装、新的实验性 markdown-ts-mode,以及可编辑的 xref 缓冲区。

1496

GitHub 恶意软件活动:10,000 个仓库正在分发木马恶意软件

一名安全研究人员发现了一个大规模活动,利用 10,000 个克隆的 GitHub 仓库,通过 README 文件中的 zip 压缩包分发木马恶意软件。

1497

微软新 Outlook 性能分析:WebView2 与 Outlook Classic 对比

Windows 版新 Outlook 与 Outlook Classic 相比表现出显著的性能下降,尤其是由于基于 WebView2 的架构,从通知加载邮件的时间最长可达 10 秒。

1498

Talos: 用于 Lean 4 形式化推理的开源 WASM 解释器

Talos 是一个使用 Lean 4 编写的 WebAssembly 解释器,它通过共享用于求值和证明的代码库,使开发者能够执行 Wasm 程序并形式化地证明其正确性。

1499

Anubis 与可重现 WebAssembly 构建的挑战"}],

开发者 Xe Iaso 详细介绍了为 Anubis 项目实现 wasm2js 字节级可重现构建的技术障碍,强调了 Clang 中的非确定性以及环境特定工具链的影响。

1500

W Social 与欧洲数字主权争议

欧盟委员会和 ECB 账户迁移至 W Social(一个营利性闭源平台)引发了关于欧盟技术主权目标与使用专有基础设施之间矛盾的担忧。