Develata's Space

Appearance

2026-10-01 ​

EDG开源其商业C/C++前端，支持广泛方言，曾被Intel、NVIDIA CUDA及微软VS IntelliSense采用，对编译器生态和工具链有重大影响。 Cloudflare宣布成为公共证书颁发机构，申请加入主流根证书计划，并收购GlobalSign根证书以兼容旧设备，同时计划支持后量子证书，增强WebPKI冗余。 Netlify重构边缘函数基础设施，…

EDG C/C++ Front-End Open-Sourced 88 ​

  • Tags: 编译器 开源项目 开发工具链

  • Source: Phoronix | 阅读原文

[摘要]
EDG开源其商业C/C++前端，支持广泛方言，曾被Intel、NVIDIA CUDA及微软VS IntelliSense采用，对编译器生态和工具链有重大影响。

Building a certificate authority for the whole Internet 85 ​

  • Tags: 网络安全 证书颁发 WebPKI 云基础设施

  • Source: Hacker News | 阅读原文

[摘要]
Cloudflare宣布成为公共证书颁发机构，申请加入主流根证书计划，并收购GlobalSign根证书以兼容旧设备，同时计划支持后量子证书，增强WebPKI冗余。

5x faster Edge Functions: v8 isolates to Firecracker MicroVMs 82 ​

  • Tags: 边缘计算 云基础设施 虚拟化 性能优化

  • Source: Hacker News | 阅读原文

[摘要]
Netlify重构边缘函数基础设施，从托管执行服务迁移至自建边缘网络内的Firecracker MicroVM，中位延迟从25-40ms降至5-6ms，p99提升47.4%，可用性99.998%，并支持复杂边缘计算。

EDG is open source. 82 ​

  • Tags: 开源项目 编译器 C++

  • Source: Hacker News | 阅读原文

[摘要]
EDG C++前端引擎开源，由C++ Alliance托管，采用社区贡献、持续维护和集体资助三轨开发模式，代码统一公开，无早期访问，保持工程连续性。

新奥声称实现氢硼聚变反应突破 82 ​

  • Tags: 聚变能源 等离子体物理 核能技术 科研突破

  • Source: Solidot | 阅读原文

[摘要]
新奥玄龙-50U装置通过高能中性束注入与射频波协同，实现大于10^8/秒氢硼聚变反应率，迈入燃烧等离子体实验阶段，获国际专家论证为球形环氢硼聚变里程碑突破。

The AI Race Just Got Awkward 82 ​

  • Tags: AI基础设施 推理优化 KV缓存 开源模型

  • Source: Hacker News | 阅读原文

[摘要]
DeepSeek公开KV缓存优化（MLA、CSA2、FP4缓存等），将长上下文KV缓存降至890字节/令牌，较V1压缩约437倍，被Anthropic和OpenAI采用，显著降低推理成本。

PSSA: a plastic state-space architecture 82 ​

  • Tags: 语言模型 系统架构 Rust 推理性能

  • Source: Hacker News | 阅读原文

[摘要]
PSSA是一种非Transformer的小型语言模型，采用循环状态空间架构、情景记忆库和运行时权重塑性，纯Rust实现无ML框架。在相同参数和语料下，训练损失更低、泛化更好，CPU推理速度约为Transformer的12倍。

Gitea 28.0.0 is released 78 ​

  • Tags: 开源项目 代码托管 安全更新 DevOps

  • Source: Hacker News | 阅读原文

[摘要]
Gitea 发布 28.0.0 大版本，移除版本号 1. 前缀，引入审计日志、机器人账号、HTTPS 部署令牌、代码所有者审批规则等新特性，并包含多项破坏性变更：Git 网络操作改经内部代理并新增出口规则、Actions 运行历史默认 400 天后清理、要求 Git 2.25+、默认关闭自助注册，同时包含安全修复。

Windows 11 原生支持 Linux 容器 78 ​

  • Tags: 虚拟化 Windows Linux容器 开发工具链

  • Source: Solidot | 阅读原文

[摘要]
微软宣布WSL Containers GA，Windows 11原生支持Linux容器，提供wslc.exe管理工具，含GPU支持、网络改进、健康检查、存储挂载及安全集成，Linux访问Windows文件性能提升一倍。

SDF vs MSDF vs Slug vs Rive vs Texture Atlas: GPU Text Rendering Explained 78 ​

  • Tags: GPU渲染 文本渲染 开源专利 图形算法

  • Source: Hacker News | 阅读原文

[摘要]
Eric Lengyel将Slug专利贡献至公有领域，其GPU文本渲染算法无需纹理图集或逐帧曲面细分，可直接从轮廓在片段着色器渲染，实现任意缩放和透视下的清晰文本。

NRC issues first U.S. construction permit for a BWRX-300 small modular reactor at Tennessee Valley Authority’s Clinch River site 78 ​

  • Tags: 核能 小型模块化反应堆 能源基础设施 监管许可

  • Source: Hacker News | 阅读原文

[摘要]
美国NRC首次为GE日立BWRX-300小型模块化反应堆发放建设许可，用于TVA Clinch River厂址，标志SMR监管与部署里程碑，简化设计降低建造复杂度。

Computer Things 75 ​

  • Tags: 形式化验证 TLA+ 并发系统 软件工程

  • Source: Hacker News | 阅读原文

[摘要]
本文深入解析TLA+形式化验证的能力边界，指出其可表达安全性与活性属性，但无法验证所有性质，对并发系统设计有重要参考价值。

WSL containers are now generally available 75 ​

  • Tags: 容器 Windows WSL 微软

  • Source: OSNews | 阅读原文

[摘要]
微软宣布WSL容器正式可用，通过新命令wslc.exe在Windows上无缝运行Linux容器，带来多项架构变化，支持非Docker/Podman/Rancher用户，可wsl --update获取。

Linux 7.4 To Support The NPU On AMD Ryzen AI Max 400 Series "Gorgon Halo" 75 ​

  • Tags: Linux内核 芯片硬件 NPU

  • Source: Phoronix | 阅读原文

[摘要]
Linux 7.4内核将新增对AMD Ryzen AI Max 400系列“Gorgon Halo”NPU的启用补丁，填补此前Linux端NPU支持空白，为AI推理提供硬件加速基础。

Matt Keeter // Halfspace 72 ​

  • Tags: 几何内核 隐式曲面 开发工具 开源项目

  • Source: Hacker News | 阅读原文

[摘要]
Halfspace 是基于 Fidget 内核的隐式曲面实体建模 IDE，支持实时光栅化与网格导出，提供标准库和增量建模，展示底层几何内核技术。