AI 精选工程笔记

技术摘要

AI 精选与摘要技术文章、编程实践和人工智能新闻。

---

VS Code 1.121：Mermaid 内置预览、远程 Agent 与模型路由

来源: oschina.net 57
VS Code 1.121 把几件开发者高频要做的事直接做进了编辑器里——画架构图不用再装第三方插件，AI Agent 可以跑到远程机器上干活，轻量级任务也能指定用哪个模型处理。这些改动不是花架子，而是把日常流程里的摩擦点逐个磨平。 以前在 VS Code 里写 Mermaid 图表，要么装社区插件，要么把 拖到在线渲染器。1.121 直接内置了 Me...
# AI # LLM # 全栈
阅读全文

asm.js 正式退场：Firefox 148 默认禁用，WebAssembly 完成十年交接

来源: oschina.net 59
Mozilla 近日做出一个标志性决定：Firefox 148 将默认禁用 SpiderMonkey 引擎中的 asm.js 优化，后续版本计划彻底移除相关代码。asm.js——这项曾让 JavaScript 跑出接近原生速度的"黑客级"技术实验，终于走到了终点。它的退出不是失败，而是 WebAssembly 已经站稳脚跟的信号：交接完成，老兵可以离场...
# Java # JavaScript # Rust
阅读全文

Lance：3B 参数撑起图像视频理解、生成、编辑三件事

来源: oschina.net 45
多模态模型越做越大，但真正能在一张 GPU 上跑起来、同时把理解、生成、编辑三条线都拉通的，并不多。字节智能创作实验室开源的 Lance，用 3B 激活参数在一个原生统一框架里同时支持图像和视频的理解、生成与编辑——不是三个模型拼在一起，而是同一个模型原生处理三类任务。 常见的做法是拿一个视觉理解模型、一个生成模型、一个编辑模型，用管线串联。问题很明显...
# AI # 全栈 # 开源
阅读全文

当推理模型推翻 80 年几何猜想：Erdős 单位距离问题的 AI 证明意味着什么

来源: oschina.net 85
数学证明长期被视为人类心智的专属领地——需要直觉、构造力和对反例的敏锐嗅觉。OpenAI 的推理模型刚刚在这个领地打了一个缺口：它自主生成了一份原创证明，推翻了 Paul Erdős 在 1946 年提出的单位距离猜想，一个悬挂近 80 年的离散几何开放问题。 这不是第一次有人声称用 AI 解决 Erdős 问题。七个月前，OpenAI 前副总裁 Ke...
# AI # OpenAI # 全栈
阅读全文

用 MySQL HeatWave 高可用与读副本构建抗脆弱 API

来源: blogs.oracle.com 66
云上应用对可用性的要求已经从"尽量不宕机"演变为"宕机是常态，代码要扛住"。数据库主节点切换、副本复制延迟、网络瞬断——这些在分布式环境中不是意外，而是日常。MySQL HeatWave 提供了内置的高可用（HA）和读副本（Read Replica）机制，但光靠数据库本身不够，API 层必须主动配合，才能把"基础设施抖动"对用户的影响降到最低。 Hea...
# AI # MySQL # 后端
阅读全文

积木报表 v2.3.4：一句话让 AI 生成数据大屏，30+ 数据源开箱即用

来源: oschina.net 58
做报表这件事，大多数开发者的体验是：业务提需求 → 用帆软或 Tableau 拉半天 → 发现数据源连不上 → 再折腾一轮驱动配置。积木报表（JimuReport）v2.3.4 想把这条链路压到最短——你用一句话描述需求，AI 直接出报表和大屏；想手动微调，拖拽设计器随时介入。作为开源方案，它同时兼容 30 余种数据源，对中小团队来说是一个值得试的高性...
# AI # 全栈 # 开源
阅读全文

MarkEasy：一个 HTML 文件就能跑的 Markdown 编辑器，写长文终于不用折腾编号了

来源: oschina.net 63
写技术文档最烦的不是内容本身，而是格式——标题编号手动维护、表格排版对不齐、公式渲染靠插件、导出 PDF 还得装工具链。MarkEasy 把这些事压进了一个 HTML 文件，浏览器打开就能用，离线也不受影响。 MarkEasy 的整个编辑器就是一个 HTML 页面。没有 Node 依赖、没有构建步骤、没有 npm install。下载下来丢到任意目录，...
# AI # 全栈 # 前端
阅读全文

JeeSite 5.17.1：Vue 组件事件补齐、表格列拖拽、BPM 流程预选下一步处理人

来源: oschina.net 59
JeeSite 5.17.1 是一次偏"体验打磨"的迭代——Vue 分离端补上了几个开发者反复提的事件和参数缺口，BPM 发起流程时终于能看到下一步谁来接，AI 模块加了深度思考折叠。改动不大但每个都踩在实际痛点上，值得升级。 之前用 做弹窗选择，选完之后只能靠 回调拿到 value，想同步拿 label 得自己再查一遍字典。5.17.1 补了两个 V...
# AI # Java # LLM
阅读全文

与 JetBrains 的 Hadi Hariri 聊开发者工具、Kotlin 与工程哲学

来源: spring.io 64
Spring 生态的 "Bootiful Podcast" 系列最近请到了 JetBrains 的传奇人物 Hadi Hariri。如果你在开发者社区里待过几年，大概率听过他的演讲——从 Kotlin 推广到 IntelliJ IDEA 插件生态，从团队协作到工具哲学，Hadi 的观点始终围绕一个核心：工具应该替人干活，而不是让人替工具干活。 这次访谈...
# AI # Java # Spring
阅读全文

pkg.go.dev 终于开放编程接口：Go 包数据可以直接查了

来源: go.dev 54
Go 开发者对 pkg.go.dev 再熟悉不过——查文档、看版本、确认依赖可用性，几乎每天都在用。但一直以来，它只有网页界面，想批量获取包信息只能靠爬页面或者拼凑第三方数据。现在 Go 团队正式推出了 pkg.go.dev 的编程式 API，开发者可以直接请求包和模块的结构化数据，终于不用再自己写 HTML 解析了。 新 API 返回的是 JSON ...
# Go # 后端
阅读全文