分类

文章

Spring 周报速览:2026 年 5 月 12 日这一周发生了什么

来源: spring.io 40
Spring 官方的 "This Week in Spring" 系列每周汇总社区动态、版本发布和教程更新。5 月 12 日这一期的周报本身以链接集为主,没有长篇论述,但它指向的内容折射出 Spring 生态当前的关注方向。下面从几个典型主题切入,并附上可以直接跑的实践示例。 Spring Boot 3 系列已经稳定,近期的小版本持续打磨细节:属性绑定...

ParadeDB 登陆 Render:一键部署带全文检索与向量搜索的 Postgres

来源: postgr.es 37
ParadeDB 把全文检索、向量搜索和混合搜索直接塞进 Postgres,不用再额外维护 Elasticsearch 或 Milvus。现在它在 Render 上正式可用,一键就能跑起来——对已经在用 Render 的团队来说,搜索基础设施的运维成本可以砍掉一大块。 ParadeDB 基于 Postgres 扩展 和 ,在同一个数据库里同时提供: 全...

NVIDIA 团队用 Codex + GPT-5.5 搭建生产系统与实验流水线,工程与科研的协作模式正在变

来源: openai.com 34
NVIDIA 的工程师和研究员最近公开了他们使用 OpenAI Codex(搭载 GPT-5.5)的工作方式:不是拿来写几段脚本凑合用,而是把 Codex 嵌进生产系统的交付流程,以及把研究想法快速变成可跑的实验。这意味着一个原本只属于"个人效率工具"的 AI 编码代理,正在被组织级地纳入严肃的工程和科研管线。 下面拆开看他们怎么用,以及你能怎么用。 ...

Parameter Golf:千人竞赛揭示的 AI 辅助研究新范式

来源: openai.com 31
一千多人、两千多份提交——Parameter Golf 不是一场普通的黑客松,而是一次对"AI 能把 ML 研究推到什么极限"的大规模压力测试。参赛者在严苛的参数预算下,借助编码代理、量化技术和非传统模型设计,把性能压到了看似不可能的水平。结果揭示的不仅是模型压缩技巧,更是 AI 辅助研究的工作流正在发生质变。 传统 ML 竞赛比精度,Paramete...

AutoScout24 用 AI 工作流加速工程交付——Codex + ChatGPT 的实战路径

来源: openai.com 34
在线汽车交易平台 AutoScout24 Group 近两年把 Codex 和 ChatGPT 深度嵌入开发流程,从代码生成、质量检查到团队协作,形成了一套可复制的 AI 工程化实践。他们的核心收获不是"AI 写了更多代码",而是开发周期缩短、代码质量可量化提升、AI 采用率在团队中稳步扩散。 很多团队用 ChatGPT 的方式是:遇到问题 → 打开网...

让 Agent 真正能上网:Strands + Exa 搜索集成实战

来源: aws.amazon.com 48
大模型本身是个封闭的知识库——训练数据截止后发生的事,它一概不知。想让 Agent 处理"今天的热点""最新的库版本""竞品最新定价"这类任务,必须给它接上搜索引擎。Strands Agents SDK 最近加入了 Exa 搜索集成,两行配置就能让 Agent 拿到实时网页数据,本文走一遍完整搭建流程和实际用法。 普通搜索 API(比如某大厂的自建搜索...

仓颉语言:把代数数据类型和效应处理器做成一等公民的编译型新语言

来源: infoq.com 29
华为编程语言实验室负责人 Dan Ghika 教授最近公开介绍了仓颉(Cangjie)——一门定位对标 Java、Kotlin、Swift 的应用开发语言。它已经开源,目前在中国超过 80 所高校开设了课程。和主流对手相比,仓颉最显眼的差异在于两件事:代数数据类型(ADT)和效应处理器(Effect Handlers)不是后加的库,而是语言内核的一部分...

pg_clickhouse 0.3.0:把查询推下去,把性能留下来

来源: postgr.es 60
pg_clickhouse 这个扩展的核心哲学只有三个词:pushdown、pushdown、pushdown。把计算推到 ClickHouse 那边执行,Postgres 只负责接收结果——这才是跨库查询该有的样子。v0.3.0 把这套哲学推得更深了:JSON 类型映射补齐、正则表达式行为统一、格式化函数下推,还顺手修了一个 SSRF 漏洞。 之前 ...

Azure Red Hat OpenShift:让生产级 AI 与平台现代化真正落地

来源: azure.microsoft.com 38
Red Hat Summit 2026 上,Microsoft 与 Red Hat 联合展示了一条不少企业正在走的路——用 Azure Red Hat OpenShift(ARO)同时推进平台现代化和生产级 AI 部署。这不是两个独立项目拼在一起,而是同一套平台解决两个核心痛点:老旧基础设施拖慢业务迭代,AI 实验难以跨过"从 demo 到生产"的鸿沟...

AWS Organizations:一个组织还是多个组织,这是个架构问题

来源: aws.amazon.com 64
当你在 AWS 上管理的账户从几个变成几十个、上百个,迟早要面对一个架构级决策:所有账户放在一个 AWS Organization 里,还是拆成多个?这个选择一旦落地,后续的安全策略、成本管理、合规边界都会被它锁死,改起来代价极高。本文把两种模式的利弊和适用场景掰开讲清楚,并给出可直接操作的实践示例。 把所有账户收进一个 Organization,最大...