Develata's Space

Appearance

科技新闻 2026-4-8 ​

本期聚焦AI时代安全挑战与底层技术创新：从Claude Mythos的安防评估、Post-Quantum加密进展，到Apollo 11代码漏洞披露；同时涵盖新型低延迟内存库、开源GPU编译器、AI伪造攻击风险及核辐射环境下的通信突破。

Assessing Claude Mythos Preview's cybersecurity capabilities 96 ​

  • Tags: AI安全 零日漏洞 语言模型 逆向工程 威胁检测

  • Source: HackerNews | 阅读原文

[摘要]
Claude Mythos Preview展现突破性安全能力，可发现未修复零日漏洞并逆向工程闭源软件漏洞，推动全球网络安全防御升级。

Project Glasswing: Securing critical software for the AI era 96 ​

  • Tags: AI安全 软件漏洞检测 前沿AI 开源安全 防御性AI

  • Source: HackerNews | 阅读原文

[摘要]
Project Glasswing联合多家科技巨头，利用Anthropic的前沿AI模型Claude Mythos Preview主动发现并修复关键软件中的高危漏洞，推动AI驱动的防御性安全协作。

Cloudflare targets 2029 for full post-quantum security 94 ​

  • Tags: Post-Quantum Cryptography Quantum Computing Security Infrastructure Authentication Cryptographic Research

  • Source: HackerNews | 阅读原文

[摘要]
Cloudflare accelerates post-quantum authentication roadmap to 2029 amid breakthroughs in quantum attacks on ECC and RSA, driven by Google’s improved algorithms and Oratomic’s low-qubit resource estimates.

We found an undocumented bug in the Apollo 11 guidance computer code 94 ​

  • Tags: 形式化验证 代码审计 历史软件 航天系统 行为规范语言

  • Source: HackerNews | 阅读原文

[摘要]
利用行为规范语言对57年未被发现的阿波罗导航计算机陀螺控制代码中的资源锁泄漏缺陷进行形式化分析，首次实现对历史飞行代码的自动化形式验证。

Tailslayer: Library for reducing tail latency in RAM reads 92 ​

  • Tags: C++ DRAM Tail Latency Performance Optimization Hardware-Aware Programming

  • Source: HackerNews | 阅读原文

[摘要]
Tailslayer通过跨独立DRAM通道的hedged读取与通道错位调度，显著降低因DRAM刷新导致的尾延迟，支持AMD、Intel和Graviton平台。

Show HN: Gemma 4 Multimodal Fine-Tuner for Apple Silicon 92 ​

  • Tags: Gemma Apple Silicon LoRA multimodal fine-tuning MLX-LM Core ML Hugging Face PEFT

  • Source: HackerNews | 阅读原文

[摘要]
基于Apple Silicon的Gemma多模态微调工具，支持文本、图像、音频三模态本地训练，无需NVIDIA GPU且可流式加载云端数据。

Jay: A New Open-Source Shader Compiler Being Developed For Intel GPUs 92 ​

  • Tags: Linux内核 Mesa GPU驱动 开源软件 着色器编译器 Intel GPU

  • Source: Phoronix | 阅读原文

[摘要]
Jay是Alyssa Rosenzweig主导开发的全新开源着色器编译器，专为Intel Xe2 GPU设计，旨在提升Linux平台图形性能，已通过OpenGL ES 3.0与OpenCL 3.0一致性测试。

流行 NPM 软件包维护者成为 AI 深度伪造攻击目标 92 ​

  • Tags: NPM 供应链安全 AI深度伪造 社会工程攻击 安全漏洞

  • Source: Solidot | 阅读原文

[摘要]
多名高影响力NPM包维护者遭AI深度伪造社会工程攻击，黑客伪造企业高管身份诱导安装恶意组件，导致axios等关键包被注入恶意版本，引发供应链安全危机。

日本科学家演示能承受核反应堆六个月强辐射的 Wi-Fi 接收器 92 ​

  • Tags: 辐射耐受 无线通信 核能安全 硅MOSFET 嵌入式系统

  • Source: Solidot | 阅读原文

[摘要]
日本科学家开发出可耐受500 kGy辐射的Wi-Fi接收器，适用于核反应堆等极端环境下的无线机器人控制。

DeiMOS – A Superoptimizer for the MOS 6502 92 ​

  • Tags: 超优化器 MOS 6502 代码生成 形式化验证

  • Source: HackerNews | 阅读原文

[摘要]
DeiMOS 是针对 MOS 6502 处理器的超优化器，通过穷举搜索生成最短/最快机器码序列，验证其在简单架构上实现性能极限。