最新科技资讯

聚合 AI、科技、商业、硬件与开发工具的最新内容,按时间顺序查看第 1 页精选文章。

Barocal融资1000万美元:挤压塑料晶体制冷,离颠覆冰箱还差四道锁
硬件 2026/5/4

Barocal融资1000万美元:挤压塑料晶体制冷,离颠覆冰箱还差四道锁

Barocal 完成 1000 万美元种子轮,想用受压放热、卸压吸热的固态有机材料替代蒸汽压缩制冷。它最现实的切口不是家用冰箱,而是大型 HVAC 和商用制冷,因为电费能直接进客户账本。现在别急着喊颠覆,制冷行业真正的门槛是成本、寿命、维修和规模化。

Barocal固态制冷塑料晶体
pyinfra v3.8.0 成为 Latest:可以进评估队列,别直接进生产
开发工具 2026/5/4

pyinfra v3.8.0 成为 Latest:可以进评估队列,别直接进生产

pyinfra-dev 已在 pyinfra-dev/pyinfra GitHub Releases 发布 pyinfra v3.8.0,并标记为 Latest release。对现有用户来说,这说明官方默认版本已经前移,但当前材料没有提供可核验的 changelog,不能据此判断有新功能、安全修复或破坏性变更。更稳的做法是延后自动升级,先核对官方 release note 或 compare diff,再进测试和灰度。

pyinfrav3.8.0基础设施自动化
牛顿引力过了最大尺度一关:真正受压的是 MOND
其他 2026/5/4

牛顿引力过了最大尺度一关:真正受压的是 MOND

ACT 团队在《Physical Review Letters》发表研究,把 Sloan Digital Sky Survey 的星系分布和 ACT 的 kSZ 速度测量合在一起,检验相隔数亿光年的星系团之间,引力是否仍按距离平方反比衰减。 结果是约 1/r^2.1,误差约 ±0.3,和牛顿反平方定律的 1/r^2 相容。它不是“第一次证明牛顿正确”,更准确的说法是:牛顿式距离依赖在星系团级宇宙尺度上又过了一关,MOND 这类替代引力路线更难走了。

牛顿引力反平方定律MOND
丰田砸下约100亿美元造未来城,真正要测的不是城市
商业 2026/5/4

丰田砸下约100亿美元造未来城,真正要测的不是城市

丰田在日本旧工厂地块建设 Woven City,外媒估算投入约100亿美元,规划175英亩,目前完成约10%,首批约100名筛选居民入住。这里测试的不是一座完整城市,而是摄像头网络、机器人、V2X、智能电网和移动服务能否被丰田打包成新的移动平台。最大矛盾很直接:零事故需要无处不在的感知,隐私承诺却建立在小样本、高筛选、强同意的环境里。

Woven City丰田未来城市
Homebridge 2.0 正式发布:Matter 支持来了,但先别当成全平台通行证
开发工具 2026/5/4

Homebridge 2.0 正式发布:Matter 支持来了,但先别当成全平台通行证

Homebridge 2.0 已在 2026 年 5 月 4 日正式发布,结束了超过三年的测试期。 这次更新加入的是 Matter 支持的初始基础能力,不是所有插件立刻跨平台。 它真正改变的是 Homebridge 的位置:从 Apple Home 的补丁工具,开始走向 Apple、Google、Alexa、SmartThings、Home Assistant 都可能调用的桥接层。

Homebridge 2.0MatterHomeKit
健身房搭讪35个人后,他发现社交最难的不是开口
其他 2026/5/4

健身房搭讪35个人后,他发现社交最难的不是开口

一位毕业近两年、有工作但缺朋友的年轻人,用约一个月在健身房主动和35个陌生人搭话,记录对话长度、后续关系和自己的心理变化。结果不浪漫:有短聊、无后续、点头之交,也有健身伙伴、吃饭邀约和互相支持。它真正说明的不是“健身房适不适合交朋友”,而是现代人太想要无痛社交,关系却常常长在可承受的小尴尬里。

社交实验健身房搭讪
ASML内部最抢手的EUV,为什么是一套200美元乐高
硬件 2026/5/4

ASML内部最抢手的EUV,为什么是一套200美元乐高

ASML员工自制的EUV光刻机乐高模型,只面向员工限量销售,一人限购一套,不是公司面向大众的正式商品。最新EXE:5000C模型员工购买量达到1355套,同期真实设备销量约6台,这个反差说明的不是玩具生意,而是复杂工程如何被组织内部看见、讲清和分享。

ASMLEUV光刻机半导体制造
Ruflo 走红:Claude Code 周边开始抢“调度入口”
人工智能 2026/5/4

Ruflo 走红:Claude Code 周边开始抢“调度入口”

GitHub 项目 ruvnet/ruflo 的用户指南显示,它定位为 Claude Code 的 multi-agent AI orchestration,页面显示约 40k Star、4.5k Fork、404 Issues、94 PR。现有材料主要是页面壳与文档元信息,不能把热度直接当成生产级可靠性。真正值得看的是,Claude Code 周边生态正在从单模型调用,转向多 Agent 调度层的抢位战。

RufloClaude Code多智能体编排
Notepad++ 没有官方 Mac 版:这次被冒用的是名字和信任
安全 2026/5/4

Notepad++ 没有官方 Mac 版:这次被冒用的是名字和信任

Notepad++ 官方澄清,notepad-plus-plus-mac.org 不是官方 macOS 版本,项目方未授权、未背书、也无关联。该站使用 Notepad++ 名称,还放了作者 Don Ho 的姓名和简介来增强可信度。眼下没有证据显示它涉及恶意软件或盗号,真正的问题是开源项目的品牌信任被低成本劫持。

Notepad++notepad-plus-plus-mac.org假冒网站
GameStop想用555亿美元买eBay:小公司撬大平台,账比故事硬
商业 2026/5/4

GameStop想用555亿美元买eBay:小公司撬大平台,账比故事硬

GameStop提出以现金加股票方式收购eBay,总价约555亿美元,每股125美元,较eBay上周五收盘价高20美元;交易尚未达成,eBay也尚未回应。反常点在于,GameStop自身市值约119亿美元,却称已获TD Securities约200亿美元债务融资承诺。Cohen押的是eBay的1.36亿用户、品牌心智和可削成本,但真正要结算的是债务压力、平台整合和旧零售转型能力。

GameStopeBay收购
一个博客菜单的提醒:小 HTML 页面能替掉多少站内 JavaScript
开发工具 2026/5/4

一个博客菜单的提醒:小 HTML 页面能替掉多少站内 JavaScript

Jim Nielsen 复盘了个人博客的实现:把菜单做成独立的 `/menu/` 页面,用普通链接完成打开和关闭,而不是默认写成页内 JavaScript 弹层。 这不是反 JavaScript。关键判断是:个人网站、博客、文档站这类轻量内容站,可以先把浏览器当成文档导航工具,而不是应用运行时。 前提也很硬:页面要小,跳转要快,设计要顺着导航模型走;复杂 Web 应用不适合照搬。

HTMLJavaScript个人博客
Firgelli 的类人机器人执行器指南:双足机器人难在关节扛得住
硬件 2026/5/4

Firgelli 的类人机器人执行器指南:双足机器人难在关节扛得住

Firgelli 发布的类人机器人执行器指南,把双足行走的冲击、疲劳循环、质量惩罚和反驱能力放到同一张工程账里。它不是行业标准,也不能直接套成所有机器人的硬指标,但提醒很清楚:传统工业执行器的静态参数,不能直接搬到双足动态运动。对硬件团队和产业链投资者,真正该看的不是演示能走几步,而是关节能不能扛住连续工况。

类人机器人执行器Firgelli Automations
Spirit 停飞后,TikTok 上的“众筹收购”更像一次低价航司告别仪式
商业 2026/5/4

Spirit 停飞后,TikTok 上的“众筹收购”更像一次低价航司告别仪式

Spirit Airlines 周六夜间突然停运、取消全部航班并解雇约 1.7 万名员工后,一名 TikTok 用户发起“众筹买下 Spirit”的玩笑式倡议,数万人承诺认购近 2300 万美元。真正重要的不是这笔钱,而是低价航司突然缺位后,用户用社交媒体表达失落和不满;真正不重要的是,它目前远不是一套可执行的航空公司收购方案。

Spirit Airlines低价航司停飞
AI 代理写代码很快,但别把工程判断力也外包了
人工智能 2026/5/4

AI 代理写代码很快,但别把工程判断力也外包了

Lars Faye 批评 Agentic Coding 与规格驱动开发热潮:问题不在 AI 能不能写代码,而在团队是否把实现、判断和维护心智一起交给代理。Anthropic 提到的“监督悖论”很关键:有效使用 Claude 需要强监督,而过度依赖 AI 又可能削弱这种监督能力。对工程师和技术负责人来说,AI 编码工具可以加速探索,但不该成为默认生产关系。

Agentic CodingAI 代理规格驱动开发
文本界面不等于无障碍:现代 TUI 把终端做成了读屏噪音机
开发工具 2026/5/4

文本界面不等于无障碍:现代 TUI 把终端做成了读屏噪音机

一篇开发者博客批评 gemini-cli 这类现代 TUI 工具:它们把终端当二维画布反复重绘,让 Speakup、NVDA 等屏幕阅读器陷入光标跳转、计时器和历史刷新。关键矛盾不是“终端是否天然无障碍”,而是现代开发者体验框架把视觉顺滑放在了稳定输入和可访问性之前。对终端工具作者来说,真正要改的是默认设计:少重绘、稳输入、可关闭动态元素。

TUI无障碍屏幕阅读器
LLM 会写代码之后,软件行业更容易把黄铁矿当黄金
人工智能 2026/5/4

LLM 会写代码之后,软件行业更容易把黄铁矿当黄金

抽象层一直在降低软件生产门槛,库、框架到 LLM 都让更多人能做出可运行产品。问题不在抽象,而在行业越来越容易把“能跑”误判成“够好”。接下来最该看的不是 AI 写了多少代码,而是谁还在为质量判断、维护责任和专业能力定价买单。

LLM代码生成软件质量
deepclaude 不是平替 Claude:它撬开的是 AI 编程工具的价格缝
人工智能 2026/5/4

deepclaude 不是平替 Claude:它撬开的是 AI 编程工具的价格缝

deepclaude 通过改写 Claude Code 的 Anthropic 兼容环境变量,把模型后端接到 DeepSeek V4 Pro、OpenRouter 或 Fireworks,保留 Claude Code CLI 的工具循环、文件编辑、bash、git 和多步 agent 流程。按项目 README 列价,DeepSeek V4 Pro 为 $0.44/M 输入、$0.87/M 输出,Anthropic 表中为 $3/M 输入、$15/M 输出,项目宣称最高约 17x cheaper。它不是完整平替,复杂推理、视觉、MCP、并行工具都有折损;真正值得看的是 Claude Code 的价值被拆成了“代理壳层”和“模型大脑”。

Claude CodedeepclaudeAI 编程工具
AI 公司把“This is fine”贴上广告:真正烧起来的是授权边界
人工智能 2026/5/4

AI 公司把“This is fine”贴上广告:真正烧起来的是授权边界

Artisan 被指在地铁广告中未经授权使用 KC Green 的经典梗图“This is fine”,为 AI BDR 产品 Ava 引流;作者称未同意使用,并准备寻求法律代理。公司回应称尊重作者、正在直接联系,但报道中未承认侵权。争议的关键不是 AI 有没有生成这张图,而是 AI 公司把创作者作品拿去商业获客时,授权不能靠事后补票。

ArtisanKC GreenThis is fine
Banksy把“被旗帜蒙眼的人”立在伦敦纪念碑群里
其他 2026/5/4

Banksy把“被旗帜蒙眼的人”立在伦敦纪念碑群里

伦敦 Waterloo Place 深夜出现一座疑似 Banksy 新作:西装男子举旗前行,旗帜遮住双眼,脚正迈下高台。底座有 Banksy 签名,Banksy 随后在 Instagram 发布安装视频,基本完成确认链。比作品本身更要紧的是地点:它被放进帝国、军事和国家记忆浓度很高的纪念碑群里,讽刺对象不是旗帜,而是把视线交给符号的盲从。

Banksy街头艺术伦敦
TUI 回潮:终端没赢,是桌面 GUI 把确定性弄丢了
开发工具 2026/5/4

TUI 回潮:终端没赢,是桌面 GUI 把确定性弄丢了

一篇开发者博客指出,TUI 正在开发者工具里回潮,锚点包括 Omarchy、Claude、Codex 这类命令行和终端界面场景。它不是复古,而是 Windows、Linux、macOS 的原生 GUI 体系变得不够可预期,Electron 也没补回一致的键盘工作流。对开发者和技术管理者来说,真正要判断的不是界面潮不潮,而是工具链能不能稳定交付、远程使用、自动化接入。

TUI命令行开发者工具
哈佛急诊研究:o1 在初诊文本诊断赢了医生一次,麻烦在谁来担责
人工智能 2026/5/4

哈佛急诊研究:o1 在初诊文本诊断赢了医生一次,麻烦在谁来担责

哈佛医学院与 Beth Israel Deaconess Medical Center 团队在 Science 发表研究:76 个真实急诊病例的文本诊断任务里,OpenAI o1 在初诊分诊环节准确或接近准确率为 67%,高于两名主治医生的 55% 和 50%。这不能推出“AI 取代急诊医生”,只能说明在信息残缺的文本推理环节,模型已经能补上医生可能漏掉的一眼。真正的难题不在模型能不能给建议,而在医院怎么把建议纳入流程、审计、纠错和担责。

医疗 AIOpenAI o1急诊初诊