3401

ntsc-rs: 高性能模拟电视与 VHS 仿真

ntsc-rs 是一款基于 Rust 的开源视频特效,它使用信号处理算法来精确仿真 NTSC 传输和 VHS 伪影,而不是依赖简单的叠加层。

3402

Nvidia RTX Spark: Windows PC 的全新统一内存架构

Nvidia 正在为 Windows PC 推出一款 CPU 系统,其特点是拥有 128GB 共享内存和 6,144 个 CUDA 核心,旨在实现本地 AI 执行和混合代理式工作流。

3403

现代操作系统中超越 fork() 和 exec() 的演进

传统的 Unix 进程创建模型 fork() 和 exec() 正日益被视为现代软件开发中一种低效且过时的抽象。

3404

通用简介的案例:《C++: The Programming Language》出版中的质量问题

对出版商 Larson and Keller 在教科书 *C++: The Programming Language* 中使用通用模板简介和不当库存图像的分析。

3405

公有领域图像存档:已过版权保护作品的精选集

公有领域图像存档提供了一个经过精心挑选的、动态更新的数据库,包含超过 11,000 张可供免费浏览、下载和重复使用的已过版权保护的图像。

3406

Oproxy: 基于浏览器的网络流量检查与修改

Oproxy 是一款开源工具,旨在直接从浏览器界面检查和修改网络流量,提供 MITM 能力和实验性 AI 助手等功能。

3407

zeroserve: 可通过用户态 eBPF 进行脚本化配置的零配置 Web 服务器

zeroserve 是一个高性能、零配置的 HTTPS 服务器,它使用运行在用户态的沙箱化 eBPF 程序取代了传统的声明式配置。

3408

S&P 500 拒绝 SpaceX、OpenAI 和 Anthropic 的快速入选指数请求

S&P 500 拒绝了 SpaceX、OpenAI 和 Anthropic 的快速入选请求,坚持盈利能力要求以维护指数完整性并防止裙带资本主义。

3409

AI 分歧:分析 Hacker News 上的软件工程视角

深入探讨在 Hacker News 上关于追求速度的“氛围编码”与传统工程严谨性之间的紧张关系,基于大规模社区辩论。

3410

OpenAI 关于 AGI 分发与发展的战略计划

OpenAI 已宣布一项战略计划,以确保 AGI 惠及全人类,通过专注于自动化 AI 研究、经济加速以及向地球上的每个人提供个人 AGI。

3411

英格兰和威尔士警方被要求停止在法庭陈述中使用 AI

英格兰和威尔士的警队已被指示停止使用 AI 生成法庭陈述,原因是担心评估不当以及自动化输出的可靠性问题。

3412

Google 与 SpaceX 计算协议:每月 9.2 亿美元的 AI 计算交易

Google 已达成一项协议,每月向 SpaceX 支付 9.2 亿美元用于 AI 计算容量,使用 110,000 块 Nvidia GPU 来支持 Gemini Enterprise 平台。

3413

Pokemon Emerald 移植到 WebAssembly

pokeemerald-wasm 项目通过 WebAssembly 将 Pokemon Emerald 移植到网页,利用社区主导的游戏反编译,使其在浏览器中原生运行,无需传统模拟器。

3414

GrapheneOS 用户被年龄验证服务 Yoti 举报至官方机构

据报道,年龄验证服务 Yoti 会标记运行 GrapheneOS 的设备并自动将此类实例报告给执法部门,这引发了关于数字隐私和“授权设备”的辩论。

3415

Cloudflare CEO Matthew Prince 谈风险投资的失误与偏见

Cloudflare CEO Matthew Prince 和其他企业家分享了在风险投资融资过程中遇到的性别偏见、缺乏专业精神以及预期错位的问题。

3416

OpenEnv: 标准化开源 AI 的 Agentic RL 环境

摘要: Hugging Face 已将 OpenEnv 过渡到一个社区协调项目,以充当 agentic 强化学习环境的互操作层。

3417

OpenAI 经济研究交流启动

OpenAI 已启动经济研究交流,以向外部研究人员提供 OpenAI 工具和数据集的访问权限,以产生关于 AI 经济影响的独立实证证据。

3418

OpenAI Economic Research Exchange Launch

OpenAI 已推出 OpenAI Economic Research Exchange,以支持外部研究人员就 AI 对工人、企业和机构的经济影响产生实证、独立的证据。

3419

工程驱动:在以代理为先的世界中利用 Codex

OpenAI 描述了一项为期五个月的实验,在该实验中通过零行手写代码构建了一个软件产品,工程师的角色从编写代码转变为设计环境和反馈回路,以使 AI 代理能够可靠执行。

3420

SQLite 中 UUID 主键的危害

在 SQLite WITHOUT ROWID 表中使用随机 UUIDv4 作为主键会导致由于 B-tree 重新平衡而使插入性能下降高达 16 倍,而具有时间顺序的 UUIDv7 提供了一个高性能的替代方案。

3421

印度的人口结构转变:分析全球生育率下降趋势

印度正经历出生率意外下降,这反映了更广泛的全球趋势:工业化、城市化约束以及不断变化的社会价值观,使得孩子从经济资产转变为成本中心。

3422

Hacker News Sans AI: 社区对 AI 过滤内容流的需求

“Hacker News, Sans AI”项目突显了开发者在技术新闻流中过滤 AI 相关内容以应对主题饱和的日益增长的需求。

3423

罗切斯特大学太阳能热法海水淡化系统

罗切斯特大学的研究人员开发了一种使用激光蚀刻黑色金属的太阳能热法海水淡化工艺,该工艺在生产淡水的过程中不会产生浓盐水废弃物,并能够提取锂等珍贵矿物。

3424

IP KVM 对比:评估 Homelab 远程管理硬件

IP KVM 设备全面评估,涵盖从开源的 PiKVM 和专业级的 TinyPilot 到高性价比的 JetKVM 和 Sipeed NanoKVM,用于带外远程管理。

3425

Gov.uk 使用 Adyen 取代 Stripe 进行支付处理

英国政府 (Gov.uk) 已将其支付处理服务从 Stripe 转向荷兰提供商 Adyen,转向了一家专注于企业级规模运营的提供商。

3426

反对约定式提交(Conventional Commits)的理由:为什么作用域比类型更重要

约定式提交因优先考虑提交类型而非作用域而受到批评,这导致了冗余的元数据,并且无法可靠地实现变更日志或语义化版本控制的自动化。

3427

为世界构建者提供的前现代军队:为何而战

前工业时代的军事系统是其平民社会结构的直接反映,利用基于雇佣、权利、职业或依附关系的征兵原则。

3428

rsync 中 Claude 辅助开发的分析

对 36 个 rsync 版本进行分布分析发现,没有统计学证据表明 Claude 辅助提交比历史上的由人类编写的提交增加了缺陷率。

3429

Gemma 4 QAT 发布:优化边缘设备的模型压缩

Google 发布了 Gemma 4 的量化感知训练 (QAT) 检查点,将 E2B 模型的纯文本使用场景下的内存占用降低至 1GB 以下,并提高了在移动端和消费级 GPU 上的效率。

3430

荷兰政府限制 DigiD 平台运营仅限欧洲公司

荷兰政府将强制要求 DigiD 平台的运营商必须是欧洲公司,以减轻与非欧盟立法和外国数据访问相关的国家安全风险。

3431

Modern AI Developer Tech Stacks and Workflows (June 2026)

开发者正从简单的 AI 代码生成转向“规范驱动开发”和“慢代码”方法论,利用 Claude Code、Codex 和 Ghostty 等以终端为中心的工作流工具来保持架构控制力。

3432

烟草行业策略在超加工食品中的交集

关于烟草公司如何向超加工食品领域多元化发展,并将成瘾性设计和物流专业知识应用于全球食品系统的讨论。

3433

ABC Classic 100 Rankings 可视化工具

gotski 开发的 ABC Classic 100 Rankings 可视化工具提供了一个交互式 bump chart,用于追踪 2001 年至 2021 年间古典音乐作品的受欢迎程度。

3434

Sigma 45mm f/2.8 镜头维修与 PCB 分析

对 Sigma 45mm f/2.8 镜头的技术拆解与维修表明,烧毁的 0603 SMT 熔断器是导致整体电子故障的原因,凸显了现代镜头 PCB 设计的复杂性。

3435

定义和治疗长新冠的挑战

长新冠仍然是一个复杂的医学挑战,其特征是缺乏标准化的诊断定义,以及多种多样的患者报告症状和康复策略。

3436

量子引力与“魔力”在时空柔韧性中的作用

物理学家已经确定了一种源自 non-Clifford gates 的量子属性,称为 magic,它是允许时空弯曲并与物质相互作用的机制,为量子引力提供了概念验证。

3437

Lowfat: 用于减少 LLM Token 使用量的可插拔 CLI 过滤器

Lowfat 是一个轻量级、本地优先的 CLI 工具,旨在通过从命令行输出中去除噪声来减少 AI token 成本和上下文窗口膨胀。

3438

Ladybird 浏览器:转向仅限维护者的代码贡献模式

Ladybird 浏览器项目已停止接受公开 pull request,以在准备其第一个 alpha 版本之际缓解安全风险并维护架构完整性。

3439

Google and SpaceX 计算协议:每月 9.2 亿美元的基础设施交易

Google 将从 2026 年 10 月到 2029 年 6 月每月向 SpaceX 支付 9.2 亿美元,以获取约 110,000 个 GPU 和相关计算组件,以满足 Gemini Enterprise 的激增需求。

3440

李光耀与新加坡的转型

李光耀通过结合务实的经济政策和严格的社会治理,领导新加坡从一个资源匮乏的后殖民时代前哨站迅速崛起为全球金融中心。

3441

"Oh Shit"时刻:生成式 AI 的现实世界突破

技术专业人士分享了他们从将生成式 AI 视为小把戏,到认识到其在复杂问题解决、逆向工程和自主代理行为方面的深厚能力的特定时刻。

3442

程序员与向以 AI 为中心的文档编写方式的转变

软件工程师正越来越多地优先考虑详细的文档(如 `CLAUDE.md`)以优化 AI 代理的性能,这揭示了一种转变:AI 被视为比人类同事更可靠的阅读者。

3443

Microsoft pg_durable: PostgreSQL 数据库内的持久化执行

Microsoft 已开源 pg_durable,这是一个 PostgreSQL 扩展,支持在 SQL 中定义长运行、容错的工作流,并在数据库内部进行持久化执行。

3444

国际空间站漏气维修与宇航员避难

国际空间站 (ISS) 上的宇航员被暂时指示进行避难,因为 NASA 正在进行维修以解决由空间站舱段裂缝引起的漏气问题。

3445

韩国强制要求在线社区进行 AI 图像审查

韩国要求在线论坛实施 AI 驱动的图像扫描工具,以打击深度伪造和非法内容,这引发了关于监控、供应商锁定和文化价值观的辩论。

3446

追踪欧洲上空的空间基 GNSS 干扰至俄罗斯预警卫星

一篇研究论文指出,俄罗斯的 Edinaya Kosmicheskaya Sistema 预警卫星星座,特别是 Cosmos 2546,自 2019 年起是导致欧洲、格陵兰和加拿大广域 GNSS 干扰的源头。

3447

C++: 纪录片

一部新的纪录片记录了 C++ 40 年的演进历程,详细描述了它从 Bell Labs 的 'C with Classes' 发展成为世界上增长最快的编程语言之一的过程。

3448

Transformer 是否需要三个投影?QKV 变体分析

系统研究表明,在 Transformer 中共享键和值投影 (K=V) 可以将 KV 缓存降低至最高 96.9%,且性能损失极小,从而实现更高效的设备端推理。

3449

标普道琼斯指数维持MegaCap IPO准入规则

标普道琼斯指数已拒绝为MegaCap IPO(如SpaceX)快速进入标普500提供通道,保持严格的盈利性和上市时长要求,以保护指数的稳定性。

3450

为 AI Agent 实现测试驱动开发 (TDD)

Jason Swett 提出了一个结构化的“specify-encode-fulfill”循环,并应用 Kent Beck 的 Canon TDD,以提高 AI 生成的测试和代码的质量。