Develata's Space

Appearance

2026-10-12 ​

德州因电网排队积压474GW需求（90%为数据中心）暂停新并网许可，涉及并网流程投机、社区影响及数据中心与电厂直连的监管争议，反映AI算力扩张与电网基础设施的深层矛盾。 丹麦国家民事登记系统CPR遭入侵22天，黑客通过小公司Pays ApS弱密码123456进入，泄露880万人信息，1400万次查询，暴露供应链访问凭证安全风险。 Rust 1.87 起编译器…

Why Texas Is Making Data Centers Wait 82 ​

  • Tags: 电网基础设施 数据中心 能源政策 AI算力

  • Source: Hacker News | 阅读原文

[摘要]
德州因电网排队积压474GW需求（90%为数据中心）暂停新并网许可，涉及并网流程投机、社区影响及数据中心与电厂直连的监管争议，反映AI算力扩张与电网基础设施的深层矛盾。

能访问丹麦 CPR 系统的一个管理员账号密码是 123456 82 ​

  • Tags: 安全漏洞 数据泄露 基础设施 访问控制

  • Source: Solidot | 阅读原文

[摘要]
丹麦国家民事登记系统CPR遭入侵22天，黑客通过小公司Pays ApS弱密码123456进入，泄露880万人信息，1400万次查询，暴露供应链访问凭证安全风险。

Sergey "Shnatsel" Davidoff 78 ​

  • Tags: Rust SIMD 编译器 编程语言

  • Source: Hacker News | 阅读原文

[摘要]
Rust 1.87 起编译器自动跟踪目标指令集，配合类型系统 CPU 特性令牌，可安全封装 SIMD 内在函数，消除 unsafe 并支持跨平台向量运算抽象。

Valen's Memory Safety: A New Kind of Borrow Checking 78 ​

  • Tags: 编程语言 内存安全 借用检查 编译器

  • Source: Hacker News | 阅读原文

[摘要]
Valen语言提出新型灵活借用检查器，基于Group Borrowing设计，编译器记忆引用指向位置，支持更宽松的内存安全检查和Rust互操作，可能影响编程语言内存安全设计方向。

rat's register allocator 75 ​

  • Tags: 编译器 寄存器分配 开源项目

  • Source: Hacker News | 阅读原文

[摘要]
编译器后端寄存器分配器设计：用优先级装箱分配替代线性扫描，584行实现，通过活区间与合并优化，性能优于线性扫描，与LLVM贪心分配器同族。

Microsoft Contributes Para-Virtualized IOMMU Hyper-V Driver For Linux 75 ​

  • Tags: 虚拟化 Linux内核 微软 IOMMU

  • Source: Phoronix | 阅读原文

[摘要]
微软为Linux 7.4内核贡献半虚拟化IOMMU驱动，优化Hyper-V上Linux虚拟机的IOMMU性能与隔离，属虚拟化基础设施重要更新。

When ldaxr Doesn't Work: Exclusive Accesses and Cacheability on AArch64 75 ​

  • Tags: 操作系统 AArch64 内存模型 并发同步

  • Source: Hacker News | 阅读原文

[摘要]
作者在自研AArch64操作系统内核中实现自旋锁时，发现ldaxr在真实硬件上因内存属性和缓存性配置不当触发异常，深入分析排他监视器与缓存一致性机制，揭示QEMU与真实硬件的差异。

Linux Landing Kernel Workaround For AMD TLBI Erratum #1718 75 ​

  • Tags: Linux内核 AMD CPU安全 硬件缺陷

  • Source: Phoronix | 阅读原文

[摘要]
Linux内核为AMD Zen CPU的TLBI Erratum #1718引入软件规避方案，针对未更新微码的系统防止TLB失效指令导致陈旧翻译条目，已进入7.3-rc7并回移植旧版本。

Veda: The Agentic-Native Operating System 75 ​

  • Tags: 操作系统 微内核 Rust 智能体

  • Source: Hacker News | 阅读原文

[摘要]
Veda 是 Rust 从头构建的智能体原生操作系统，含 UEFI 引导、能力微内核、驱动、窗口系统，并将 Agent 作为系统服务，通过类型化动作与系统级同意机制操作应用。

A Cray-1 supercomputer replica from 30 “obsolete” Mac Minis 72 ​

  • Tags: 硬件集群 并行计算 计算机历史 工程实践

  • Source: Hacker News | 阅读原文

[摘要]
西班牙博物馆用30台2012年Mac Mini搭建Cray-1超级计算机1:1复制品，集群64核达1.3 TFLOPS，采用MPI并行架构和被动散热，对比1976年原机160 MFLOPS，展示架构演进。

The Unreasonable Effectiveness of VEX in NixOS 72 ​

  • Tags: 安全漏洞 NixOS SBOM 漏洞管理

  • Source: Hacker News | 阅读原文

[摘要]
NixOS利用VEX自动化漏洞可达性分析，结合SBOM扫描与静态分析，过滤不可达漏洞，提升大规模漏洞分诊效率，展示OS级安全基础设施的工程实践。

Total Annihilation, rebuilt for modern computers. 72 ​

  • Tags: 开源项目 游戏引擎 图形渲染 跨平台

  • Source: Hacker News | 阅读原文

[摘要]
开源MIT许可引擎Nanolathe用现代GPU渲染重建经典RTS《横扫千军》，支持浏览器演示及Win/Mac/Linux原生运行，含2倍分辨率合成、光照特效，代码可研究修改。

I'm sorry, but you still have to think 72 ​

  • Tags: AI编程 软件工程 异步编程 代码审查

  • Source: Hacker News | 阅读原文

[摘要]
DHH用AI将Campfire从Rails重写为Rust/Elixir/Go，暴露AI生成代码在异步、锁、兼容性等工程决策上的缺陷，证明仍需人工审查代码。

LineageOS 24 释出 72 ​

  • Tags: 开源项目 移动系统 Android

  • Source: Solidot | 阅读原文

[摘要]
LineageOS 24 基于 Android 17 发布，合并至 2026 年 10 月安全补丁，新增 Canvas 图像编辑器、Catapult TV 启动器及电量指示器，是主流开源移动系统的重要版本更新。

Reverse engineering a commercial spatial audio effect 72 ​

  • Tags: 音频处理 逆向工程 信号处理 Linux

  • Source: Hacker News | 阅读原文

[摘要]
作者通过逆向工程商业空间音频效果器，利用脉冲响应测量和线性时不变系统分析，在Linux上复现其算法，涉及HRTF、心理声学与信号处理。