分类

文章

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

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

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

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

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

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

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

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

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

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

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

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

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

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

PostgreSQL 的 check_function_bodies：函数创建时的语法校验开关

来源：postgr.es 23
PostgreSQL 在执行 时，默认会立刻检查函数体的语法有效性——拼写错误、引用了不存在的对象，都会在建函数的那一刻报错，而不是等到第一次调用时才炸。这个行为由 GUC 参数 控制，默认值为 。看起来很合理，但实际场景里你会遇到需要把它关掉的时刻。 先看默认情况下 PostgreSQL 做了什么。当你写下： PostgreSQL 立刻抛出错误： 函...
# PostgreSQL # 数据库
阅读全文

PostgreSQL width_bucket() 的那些坑，数据分析师踩过几回？

来源：postgr.es 23
做数据分析的人迟早会遇到一个需求：把连续数值分到几个区间里——年龄分段、消费分层、响应时间分桶。Excel 里拖几下就完事了，到了 PostgreSQL 就得靠 。这个函数本身并不复杂，但围绕它的"轻量级灾难"反复上演：一位数据分析师朋友最近又踩了同样的坑，Kaarel Moppel 决定把经验写下来，免得后人继续在暗处摸索。 的等宽分桶签名是： 逻辑...
# AI # Go # LLM
阅读全文