-
Anthropic · 发布 Claude 防工业级模型蒸馏安全报告,并披露全新面向研发者的智能体沙箱环境协议。
-
NVIDIA · 与微软联合推出面向本地 AI 推理的次世代硬件方案,单机最高支持 128GB 统一内存及 1 PFLOPS 算力。
-
Mistral AI · 公布 Ministral 3 模型与微型卫星星座联合部署进展,完成在轨边缘智能推理测试。
Starlink from 1984
How the FSF sysadmins block botnets with reaction
How Doctors die. It’s not like the rest of us (2016)
How sea stars build materials that can see
Fixed three bugs that made Qwen3.5-122B a daily driver on Mac Studio
Mesh LLM: distributed AI computing on iroh
Combinatorial Games in Lean
This slushie machine was a lifesaver during NYC’s heat wave
RISCBoy is an open-source portable games console, designed from scratch
Restoring and Demoing 1960s Vintage Computers at the Computer History Museum [pdf]
I built TradingSpy: local, privacy-first AI trading assistant(First Open Source)
Show HN: Ant – A JavaScript runtime and ecosystem
Wealthy AI workers send San Francisco house prices soaring
Show HN: Sqlsure – deterministic semantic checks for AI-generated SQL
Andon (manufacturing)
What Every Python Developer Should Know About the CPython ABI
Shipping OpenStrike: A Counter-Strike-Shaped FPS on a 2004 Handheld
ZeroFS vs. Amazon S3 Files
The Second Life of Sanskrit
Prefer strict tables in SQLite
Smart glasses without a camera? Even Realities bets productivity beats recording everyone
Nvidia, CoreWeave, and Nebius: Inside the Circular Financing of the GPU Boom
Female US rower completes historic solo journey from California to Hawaii
Show HN: Orbit – AR satellite tracker, watch 15k+ objects
UPI: Anatomy of a Payment Transaction
Modern decor may be straining people's brains
Show HN: Reame – a CPU inference server that gets faster as it runs
C++20 Improved the For-Loop Syntax
What loss.backward() actually does
Zero Knowledge Tolstoyan Art
We scaled PgBouncer to 4x throughput
The early History of the Singular Value Decomposition (1993) [pdf]
How to build a circular LCD clock
Jektex 0.2.0 – A Jekyll plugin for LaTeX rendering is now ~10x faster
The largest available Minecraft world, totalling 15 TB
OpenAI bets on families as ChatGPT goes deeper into households
Rebuilding My Homelab with Compose, Ruby, IPv6, and No Kubernetes
Show HN: Learn by rebuilding Redis, Git, a database from scratch
G# – A modern .NET language with Go, Kotlin, and Swift ergonomics
Show HN: Clx – Compile Lua to Native Executables Through C++20
独家 | 智谱创始人唐杰发内部信:「GLM 时刻」之后,什么是更重要的事
文 | 周鑫雨 编辑 | 张雨忻 《智能涌现》独家获悉,2026 年 7 月 11 日,智谱创始人唐杰,在智谱发布了主题为《巨浪已来》的内部信。 过去半年来,智谱收获了创立以来的高光时刻:市值较半年前上市初期涨了 10 倍,并在 2026 年 6 月,跻身“万亿港元俱乐部”——这个数字,是百度市值的近 3 倍,并且超过了小米。7 月 8 日,首批股票解禁后,智谱依然稳住了股价。 这也是当下 AI 大模型赛道,最性感的故事:押注对的技术方向,换来斐然市场口碑和商业化成绩。 抽丝剥茧,智谱起飞的根源,离不开一年前对 Coding 的押注。2025 年初,智谱就开始重新分配资源,将力量收敛到了对模型 Coding 能力的提升上。 一场活动上,清华大学计算机系教授、智谱创始人唐杰点出了押注 Coding 的理由:DeepSeek R1 的出现,标志着 Chat 范式的探索已经基本结束。后DeepSeek时代的模型训练范式,他形容智谱“Bet(赌)”了 Coding 和 Reasoning——一种能与 Agent 共生共荣的模型能力。 事实证明,这是一次成功的赌注。 如今,AI Coding 已经成了 AI 商业化的最近端。一个典型的
World-War-Ⅱ-era telephone line still in use in Upper Tanana Valley Alaska (2021)
Engineering Peace
The kids with phones are alright
Your 'app' could have been a webpage (so I fixed it for you)
The Origins of Heikki's Garden of Flowers
Parsoid
9点1氪丨“国产存储第一股”长鑫科技公布承销团阵容;SK海力士登陆美股,上市首日大涨近13%;OpenAI推出ChatGPT智能体
今日热点导览 “全球首款智能体手机”已备货8万至10万台?知情人士:假的 百亿私募数量达142家,再次刷新历史纪录 三星李在镕拟于7月底赴美会晤英伟达黄仁勋 德国大众拟大裁员,最高或裁减12万个岗位 OpenAI高管层再现变动,首席运营官因病离职 TOP3大新闻 长鑫科技,承销团阵容公布 长鑫科技IPO进入发行倒计时,这家“国产存储第一股”背后的承销团阵容也随之浮出水面。最新披露的招股意向书显示,长鑫科技预计7月16日发行。本次IPO中,中金公司、中信建投担任联席保荐机构及主承销商,国泰海通、国元证券、华泰联合、招商证券担任联席主承销商,合计6家券商组成承销团。 这是一支少见的“豪华承销团”。一边是中金、中信建投、国泰海通、华泰联合、招商证券等头部投行密集出现,另一边是安徽本土券商国元证券进入主承销名单。更有意思的是,多家主承销商同时也是长鑫科技股东,投行收入之外,股权投资收益才是这单IPO更大的想象空间。(财联社) SK海力士登陆美股,上市首日大涨近13% 韩国芯片巨头SK海力士美东时间7月10日登陆科技股云集的纳斯达克交易所,此举将为其打通一条强力全新融资渠道,方便全球投资者布局高速增长的人工智能
US cybersecurity agency CISA had to build its incident playbook during the incident, agency reveals
36氪首发 | 三个月融三轮,上交大00后博士让具身智能仿生扑翼机器人理解并驾驭流体
图源/企业 本文约 2400 字,建议阅读 6 分钟 作者丨欧雪 编辑丨袁斯来 硬氪获悉,具身智能仿生扑翼飞行机器人公司「鹰瞰智翼」已于近期完成数千万元A轮融资。本轮融资是公司在三个月内完成的第三轮融资,由元禾璞华领投,孚腾资本、厚雪资本跟投。资金将主要用于首款消费级产品的量产备货、市场拓展,团队扩充以及下一代具身智能扑翼机器人与流体仿真引擎的研发。 「鹰瞰智翼」2025年3月成立于深圳,是全球较早专注于具身智能扑翼机器人的公司之一。创始人陈昊为上海交通大学机械工程直博生,团队研发人员占比超75%。当前核心成员来自上海交通大学、大疆、华为、字节等高校及科技企业,兼具前沿科研、全球化市场和互联网运营经验,持续推动流体智能技术产业化。 硬氪了解到,扑翼飞行与旋翼无人机的本质差异在于对流体的处理方式。旋翼通过高速旋转与流体对抗,而扑翼则是利用流体飞行。 目前,「鹰瞰智翼」的产品分为两条路线演进。首款消费级产品“Eagle X”(原代号“丹丹”)的核心逻辑是“借助流体飞行”——通过扑翼结构实现滑翔与拍打的混合模态,在气流中借势飞行。该产品已完成累计超3000小时飞行测试,目前进入量产阶段,今年Q3上线KickStarter。 鹰瞰智
Phia accused of ‘cookie stuffing,’ taking affiliate credit on purchases it didn’t earn
祝贺科研团队!将大模型多智能体诊断系统应用于真实前瞻性临床试验,取得令人振奋的准确度突破。
当端侧小模型的推理能力超越两年前的千亿大模型时,软件的系统架构将彻底重塑,智能体正在成为原生操作系统层。
毫秒级启动、与模型解耦的极简 CLI 工具是未来。内置 MCP、Skills 与子智能体后,终端将重焕新生。
如今已有十余款可在现代移动设备上全本地运行的紧凑模型,整体表现逼近甚至超越昔日的 GPT-4 基准。
OpenCode 2.0
▲ 312全开源 AI 编程智能体,原生支持终端、桌面与网页端协同工作流。
MemorySync MCP
▲ 185为自主智能体提供跨会话持久记忆与沙箱化知识库检索的开放服务。
Articos Agent
▲ 278在 Claude 与 ChatGPT 中模拟真实买家反应,上线前自动验证营销与产品策略。
ExcaliClaw
▲ 146支持 AI 智能体通过协议实时绘制、调整与解释技术架构手绘图的工作区。
专为智能体打造的轻量技能协议工具包,支持极简 npm / npx 直接调用。
功能完备的本地模型交互与多智能体统一管理控制台界面。
微软官方 1-bit LLM 推理与训练框架,针对能效与端侧极致优化。
低显存环境下运行超大参数模型的分层推理引擎,大幅降低本地部署门槛。
医疗 AI 语音及临床工作流公司完成 9000 万美元融资,加速推进生成式临床文档自动化与多院区落地。
气象气球与深度学习天气预测初创公司获美国空军近 5000 万美元订单,提供海量高空大气训练数据。
生成式对话初创公司启动资产出售程序,部分核心业务与团队将整合进主流影视与互动娱乐巨头。