Skip to content

科技新闻 2026-4-13

本期聚焦开源生态与系统安全:CMake推进包管理集成,Linux 7.0发布新硬件支持与自愈文件系统;同时披露未授权用户越界访问漏洞修复,以及Docker镜像拉取受足球赛事影响的网络事件。

The peril of laziness lost 92

  • Tags: 编程哲学 软件设计 抽象 程序员美德

  • Source: HackerNews | 阅读原文

[摘要]
程序员的“懒惰”实为追求抽象与复用的深层智慧,推动软件设计向更高效、可维护的方向演进。


Tell HN: docker pull fails in spain due to football cloudflare block 92

  • Tags: CI/CD Docker Cloudflare TLS Legal Blocking Infrastructure Resilience

  • Source: HackerNews | 阅读原文

[摘要]
西班牙法院强制封锁Cloudflare IP导致全球开发者无法拉取Docker镜像,影响CI/CD流水线,暴露司法干预对互联网基础设施的非预期破坏。


New synthesis of astronomical measurements shows Hubble tension is real 88

  • Tags: 宇宙学 哈勃常数 宇宙膨胀 天体测量

  • Source: HackerNews | 阅读原文

[摘要]
H0DN合作组通过整合多年观测数据,获得迄今最精确的局部宇宙膨胀速率测量值73.50 ± 0.68 km/s/Mpc,进一步确认“哈勃张力”存在,暗示现有宇宙学模型可能需修正。


Mark's Magic Multiply 87

  • Tags: RISC-V 嵌入式系统 浮点运算 软浮点 编译器优化

  • Source: HackerNews | 阅读原文

[摘要]
通过自定义RISC-V扩展Xh3sfx优化嵌入式处理器上的单精度浮点乘法,利用专用ALU指令加速软浮点运算,实现“准硬件”性能。


CMake Pursuing Tighter Integration With Package Managers, Other Improvements 87

  • Tags: CMake 包管理 软件供应链安全 SBOM 构建系统

  • Source: Phoronix | 阅读原文

[摘要]
CMake 4.3引入基于JSON的通用包规范(CPS),支持跨平台包管理器集成与依赖描述,实验性支持SBOM生成,推动构建系统与软件供应链透明化。


The Closing of the Frontier 85

  • Tags: AI伦理 技术公平性 人工智能 数字鸿沟

  • Source: HackerNews | 阅读原文

[摘要]
AI模型能力的鸿沟正使技术普惠性终结,公共可用模型与精英专有模型间的差距正在关闭数字时代的“自由边疆”。


Linux Out-Of-Bounds Access Fixed For Unprivileged Users With Specially Crafted Certs 85

  • Tags: Linux内核 安全漏洞 越界访问

  • Source: Phoronix | 阅读原文

[摘要]
Linux内核X.509证书处理存在三年未修复的越界访问漏洞,可被非特权用户通过伪造证书触发,导致内核崩溃或拒绝服务。


Linux 7.0 Released With New Hardware Support, Optimizations & Self-Healing XFS 85

  • Tags: Linux内核 自愈文件系统 硬件支持 性能优化 安全漏洞

  • Source: Phoronix | 阅读原文

[摘要]
Linux 7.0发布,新增自愈XFS文件系统、多款新硬件支持及性能优化,含Intel/AMD新架构启用与安全补丁。


Show HN: boringBar – a taskbar-style dock replacement for macOS 85

  • Tags: macOS 窗口管理 用户界面 工作流优化

  • Source: HackerNews | 阅读原文

[摘要]
boringBar 为 macOS 提供基于桌面的窗口管理任务栏,支持多桌面切换、窗口预览、应用搜索与注意力提示,提升多屏工作流效率。


Ask HN: What Are You Working On? (April 2026) 85

  • Tags: 离线应用 路径规划 UK铁路 客户端工具 数据集成

  • Source: HackerNews | 阅读原文

[摘要]
基于英国铁路数据构建完全离线的浏览器端多站点、多条件列车路线规划器,支持复杂筛选与非标准路径推荐。