1
Show HN: Extctl, a super simple systemd-sysext wrapper
一个极简的systemd-sysext包装器，支持签名验证，让系统扩展安装更简单安全。
Article URL: https://github.com/OperatorProject/extctl Comments URL: https://news.ycombinator.com/item?id=49353063 Points: 2 # Comments: 0
2
Imaging of nanoscale polar textures in quantum paraelectric SrTiO<sub>3</sub>
低温透射电镜直接观测量子顺电体SrTiO₃的纳米极性纹理，揭示量子涨落如何抑制长程有序。
Nature, Published online: 22 July 2026; doi:10.1038/s41586-026-10823-x Cryo-STEM reveals that SrTiO3 forms periodic polar nanodomains below 105 K, but…
3
Dart Framework – Systems Thinking Skill for AI Agents
开源框架为AI Agent注入系统思考能力，用Dart实现可组合的推理模块，适合构建复杂决策系统。
Article URL: https://github.com/asofyan/dart-framework Comments URL: https://news.ycombinator.com/item?id=48973766 Points: 1 # Comments: 0
4
谷歌 DeepMind CEO 哈萨比斯：AI 不会令科学、技术、工程、数学专业失去价值
谷歌DeepMind CEO哈萨比斯力挺STEM价值，预言AI将开启人类黄金时代。
IT之家 7 月 18 日消息，谷歌 DeepMind 联合创始人兼 CEO 德米斯 · 哈萨比斯表示，AI 虽然正在重塑科技行业的职业路径，但 STEM（IT之家注：科学、技术、工程、数学）学位并不会因此失去价值。 哈萨比斯认为，掌握软件和计算机科学的基础知识，能够帮助人们更有效地使用 AI。“S…
5
abee 预告 STEM320 液冷：选用 160mm 风扇，单体风量 122.24 CFM
两款新品液冷来了：abee 用160mm大风扇实现122.24 CFM高风量，微星则主打简洁设计与2.1寸IPS屏。
IT之家 7 月 13 日消息，abee 本月 10 日发布预告，宣布将推出 STEM360 和 STEM320 两款液冷产品。该品牌目前仅展示了冷排部分，冷头情况尚不清楚。 STEM360 是标准的 120mm ×3 设计 ，搭载 STEM FF12-DB3K 风扇。这款风扇拥有 25mm 标准厚…
6
The memory spike that left no trace in the logs"
内存飙升却无日志线索，看工程师如何抽丝剥茧侦破系统谜案。
canonical_url: leave empty so this dev.to post is the canonical home, or point it at your GitHub write-up if you prefer that as the original. A memory…
7
Fast, Slow, and Tool-augmented Thinking for LLMs: A Review
综述LLM推理范式：快思考、慢思考与工具增强如何协同进化
arXiv:2508.12265v2 Announce Type: replace Abstract: Large Language Models (LLMs) have demonstrated remarkable progress in reasoning across diverse dom…
8
จาก chatbot ธรรมดา สู่ AI ที่ทำงานแทนเราได้ — เราเติมอะไรเข้าไปบ้าง?
从系统提示到工具调用再到循环，三步拆解如何让聊天机器人进化成能替你工作的AI智能体。
จาก chatbot ธรรมดา สู่ AI ที่ทำงานแทนเราได้ — เราเติมอะไรเข้าไปบ้าง? เวลาเราใช้ ChatGPT หรือ Claude ครั้งแรก — เราพิมพ์คำถาม ได้คำตอบ จบ นั่นคือ LLM (…
9
Kubuntu Focus 带来 Linux 轻薄本 Ar GEN 1，搭载 X7 358H 处理器
多款 Linux 新本齐发：Kubuntu Focus 轻薄、Librem 16 强调隐私、Serval WS 高配，Linux 硬件生态越来越能打。
IT之家 6 月 26 日消息，Linux PC 制造商 Kubuntu Focus 现已在官网上线轻薄笔记本电脑 Ar GEN 1。这一机型提供 16" 屏幕和含数字区键盘，内置 73Wh 电池，厚度 20mm，质量 1.42kg。 Ar GEN 1 基于英特尔酷睿 Ultra X7 处理器 35…
10
跟Claude谈个恋爱怎么了？Nature最新研究：真能给人聊傻了
Nature研究揭示AI聊天竟引发0.07%用户心理危机，Claude“傲娇男友”人设走红，情感交互正在重塑人机关系。
Claude已经，俨然成为了新一代电子老公。
11
CodePercept: Code-Grounded Visual STEM Perception for MLLMs
针对MLLMs视觉STEM感知难题，CodePercept创新引入代码接地机制，为多模态理解开辟新路径，已被CVPR2026收录。
arXiv:2603.10757v2 Announce Type: replace Abstract: When MLLMs fail at Science, Technology, Engineering, and Mathematics (STEM) visual reasoning, a fu…
12
System76 推出 16" Linux 移动工作站 Serval WS，至高 290HX Plus
16英寸Linux移动工作站上新，顶配酷睿Ultra 9处理器，32GB内存起步，轻薄机身与高性能兼得。
IT之家 6 月 23 日消息，美国 Linux PC 制造商 System76 当地时间本月 16 日宣布推出 2026 款 Serval WS 移动工作站。 这一笔记本电脑新品采用 16" 机身，厚 18.81mm、重 2.25kg，可选英特尔酷睿 Ultra 9 处理器 290HX Plus …
13
Revisiting the Systematicity in Negation in the Era of In-Context Learning
探究大模型在上下文学习中对否定表达的系统性处理能力，揭示新发现与挑战
arXiv:2606.16867v1 Announce Type: new Abstract: Understanding the meaning of negated sentences remains one of the challenges for language models, even…
14
腾讯混元提出 Stem 稀疏注意力算法，首字延迟降低 3.6 倍
腾讯混元提出Stem稀疏注意力算法，从因果信息流革新块稀疏，首字延迟降低3.6倍，已被ICML-26收录。
IT之家 6 月 5 日消息，腾讯混元今日宣布提出 Stem 稀疏注意力算法，已被机器学习顶会 ICML-26 收录。 官方表示，Stem 稀疏注意力算法从“因果信息流”重新审视块级稀疏，用 Token 位置衰减（TPD）和输出感知度量（OAM）两大创新， 仅用 25% 算力就逼近稠密注意力的精度 …
15
Prompting styles - Basic
一文快速掌握五种基础提示风格，零基础也能精准操控大模型输出。
Query which we ask the LLM is referred to as prompt. The way in which we provide prompt to LLM makes a difference and there are different ways to to p…
16
Entropy Sentinel: Continuous LLM Accuracy Monitoring from Decoding Entropy Traces in STEM
从解码熵迹实时监控LLM准确性，为STEM领域提供全新评估方法。
arXiv:2601.09001v4 Announce Type: replace Abstract: Deploying LLMs raises two coupled challenges: (1) monitoring--estimating where a model underperfor…
17
AGI Requires a Coordination Layer on Top of Pattern Repositories
LLM并非AGI死胡同，关键在于构建System-2协调层来驾驭模式库。
arXiv:2512.05765v2 Announce Type: replace Abstract: In this paper we argue that influential critiques dismissing Large Language Models (LLMs) as a dea…
18
SpecAlign: A Semantic Alignment Framework for SystemVerilog Assertion Generation
用语义对齐技术自动生成SystemVerilog断言，为硬件验证带来AI新思路
arXiv:2605.25181v1 Announce Type: new Abstract: Existing Large Language Model (LLM) approaches to SystemVerilog Assertion (SVA) generation primarily f…
19
Proactive Memory for Ad-Hoc Recall over Streaming Dialogues
提出首个流式对话记忆召回基准STEM-Bench，突破传统记忆机制无法支持即席检索的局限。
arXiv:2603.04885v2 Announce Type: replace Abstract: Real-world dialogue usually unfolds as an infinite stream. It thus requires bounded-state memory m…
20
arc-agent: AI System Design Generator
别再指望AI一次给你整份架构文档了。arc-agent把系统设计拆成需求、实体、API等阶段，逐阶段生成、验证，最后输出可审查的YAML和图表，严谨又实用。
Finally a structured approach to system design: arc-agent . It is a Go CLI for turning a system design prompt into a real design workspace: requiremen…