Develata's Space

Appearance

科技新闻 2026-3-17 ​

常压超导新纪录突破，Nvidia发布专用于智能体AI的Vera CPU，Mistral推出轻量模型Leanstral，AI开发工具与系统优化持续演进，但供应链安全风险仍存。

常压超导温度创下新纪录 94 ​

  • Tags: 超导材料 压力淬火 低温物理 材料科学

  • Source: Solidot | 阅读原文

[摘要]
通过“压力淬火”工艺，休斯顿大学团队在常压下实现151K超导转变温度，突破常压超导温度纪录。

Speed at the cost of quality: Study of use of Cursor AI in open source projects (2025) 92 ​

  • Tags: 软件工程 人工智能 代码质量 LLM 开发效率

  • Source: HackerNews | 阅读原文

[摘要]
Cursor AI显著提升短期开发速度，但导致代码复杂度与静态分析警告持续上升，长期拖慢开发效率，揭示AI辅助编程中质量保障的缺失。

Linux 7.1 sched_ext To Add "SCX_ENQ_IMMED" For Tighter Control When Tasks Land On A CPU 92 ​

  • Tags: Linux内核 调度器 BPF 系统性能

  • Source: Phoronix | 阅读原文

[摘要]
Linux 7.1 sched_ext新增SCX_ENQ_IMMED标志，实现任务立即执行时直接入本地调度队列，提升调度延迟控制与CPU共享效率。

Launch HN: Voygr (YC W26) – A better maps API for agents and AI apps 92 ​

  • Tags: 位置智能 实体验证 API 机器学习 数据新鲜度

  • Source: HackerNews | 阅读原文

[摘要]
构建动态、可查询的实体位置信息基础设施，通过多源数据融合实时验证商业实体状态，解决地图数据过时与虚假信息问题。

Show HN: Claude Code skills that build complete Godot games 92 ​

  • Tags: AI-generated development Godot 4 GDScript AI pipeline visual QA asset generation

  • Source: HackerNews | 阅读原文

[摘要]
AI驱动的全自动游戏开发管道，基于Claude Code与Gemini实现从架构设计到视觉验证的端到端生成，输出可运行的Godot 4项目，支持2D/3D、资产生成与视觉质量闭环检测。

Nvidia Launches Vera CPU, Purpose-Built for Agentic AI 92 ​

  • Tags: CPU AI基础设施 代理型AI NVIDIA

  • Source: HackerNews | 阅读原文

[摘要]
NVIDIA Vera CPU为代理型AI与强化学习量身定制，单线程性能与能效提升一倍，支持大规模AI服务部署。

Language Model Teams as Distrbuted Systems 92 ​

  • Tags: 多智能体系统 大语言模型 分布式系统 系统架构

  • Source: HackerNews | 阅读原文

[摘要]
将分布式系统理论引入LLM团队设计，提供评估团队规模、结构与性能的原理性框架。

Mistral Releases Leanstral 92 ​

  • Tags: Lean 4 开源项目 形式化验证 AI代码代理 Rust 数学证明

  • Source: HackerNews | 阅读原文

[摘要]
Leanstral是首个面向Lean 4的开源代码代理，通过稀疏架构与形式化验证实现高效可信的自动编码，支持可扩展的MCP协议。

I Love FreeBSD 92 ​

  • Tags: FreeBSD 系统稳定性 文档质量 Unix系统 开源操作系统

  • Source: HackerNews | 阅读原文

[摘要]
FreeBSD 2002年以完整、精准、实时更新的文档和卓越系统稳定性，显著优于当时Linux的碎片化体验，促使用户长期转向并深刻影响其系统设计哲学。

黑客使用看不见的字符对 GitHub 等平台发动供应链攻击 92 ​

  • Tags: 安全漏洞 Unicode 供应链攻击 JavaScript GitHub

  • Source: Solidot | 阅读原文

[摘要]
攻击者利用Unicode私有区不可见字符在GitHub等平台注入恶意代码，通过JavaScript解释器执行，构成新型隐蔽供应链攻击。