Develata's Space

Appearance

科技新闻 2026-3-16 ​

英特尔加速全同态加密计算，Linux 7.0推进Rust兼容与构建可复现性，多项开源项目在内核、编程语言与AI领域取得进展。

英特尔芯片加速全同态加密计算 94 ​

  • Tags: 全同态加密 芯片加速 3纳米工艺 Intel 密码学硬件

  • Source: Solidot | 阅读原文

[摘要]
英特尔推出3纳米FHE加速芯片Heracles，实现对全同态加密计算5000倍性能提升，显著降低密文运算延迟。

Show HN: GDSL – 800 line kernel: Lisp subset in 500, C subset in 1300 92 ​

  • Tags: 编译器 语言实现 系统编程 软件工程 原始创新

  • Source: HackerNews | 阅读原文

[摘要]
用1500行C子集与500行Lisp编译器实现可实用的编译器，揭示现代编译器庞大化的根本原因在于工程积累而非必要性。

Learning athletic humanoid tennis skills from imperfect human motion data 92 ​

  • Tags: 人形机器人 强化学习 运动控制 仿真到现实 网球机器人

  • Source: HackerNews | 阅读原文

[摘要]
LATENT系统从不完整的人类网球动作片段中学习，实现人形机器人在真实世界中稳定完成多拍对打，突破了数据稀缺与仿真到现实迁移的瓶颈。

Separating the Wayland compositor and window manager 92 ​

  • Tags: Wayland Linux Window Manager Compositor Modular Architecture

  • Source: HackerNews | 阅读原文

[摘要]
River 0.4.0 采用非单体架构，将窗口管理器与合成器分离，通过稳定协议实现独立窗口管理，提升可扩展性与模块化设计。

SBCL Fibers – Lightweight Cooperative Threads 92 ​

  • Tags: Lisp SBCL 并发编程 协作式线程 内存管理 低延迟调度

  • Source: HackerNews | 阅读原文

[摘要]
SBCL开发轻量级用户态协作式线程（Fibers），实现零分配上下文切换与无GC压力的高效调度，支持多载体动态调度与纤程感知阻塞原语。

Bcachefs 1.37 Released With Linux 7.0 Support, Erasure Coding Stable & New Sub-Commands 87 ​

  • Tags: Bcachefs Linux内核 Erasure Coding Rust 文件系统 多设备存储

  • Source: Phoronix | 阅读原文

[摘要]
Bcachefs 1.37发布，支持Linux 7.0， erasure coding功能正式稳定，新增多设备恢复、journal rewind安全使用及Rust重构的用户工具。

Linux 7.0 Lands Improvements To Deal With Upcoming Rust Changes, Build Reproducibility 87 ​

  • Tags: Linux内核 Rust 构建系统 安全漏洞

  • Source: Phoronix | 阅读原文

[摘要]
Linux 7.0整合Rust工具链更新，优化构建可重现性并适配Rust 1.95/1.96，修复关键安全与编译问题。

Show HN: Signet – Autonomous wildfire tracking from satellite and weather data 87 ​

  • Tags: AI 灾害监测 多模态推理 卫星遥感 自动化系统

  • Source: HackerNews | 阅读原文

[摘要]
Signet利用多源卫星数据与环境信息，实现美国本土范围内的自主火灾追踪与动态评估。

Postgres with Builtin File Systems 87 ​

  • Tags: PostgreSQL AI agents vector search database innovation serverless

  • Source: HackerNews | 阅读原文

[摘要]
db9 提供基于 PostgreSQL 的原生 AI 代理数据库，集成向量搜索、自动嵌入、文件存储与任务追踪，实现结构化数据与上下文文件的统一管理。

Tree Search Distillation for Language Models Using PPO 87 ​

  • Tags: 语言模型 强化学习 树搜索蒸馏 PPO 推理优化

  • Source: HackerNews | 阅读原文

[摘要]
基于PPO的树搜索蒸馏提升小模型推理能力，在Countdown任务上实现11.3%准确率，显著优于GRPO与Best-of-N。