推荐文章7

Spring 之父弃 Java 转投 Kotlin

InfoQ2025-05-20

AI 摘要

Spring 之父 Rod Johnson：开源需激发兴奋感；Kotlin 友好、易读、实用，代码完成质量高；Kotlin 与 Spring 结合近乎完美，但 JPA 契合度欠佳；期望 Kotlin 完善类型代数、简化对象字面量语法等。

关注公众号

扫码关注
第一时间收到每日精选

公众号专辑

DSH - better - sidebar 让 DeepSeek Harness 操作更便捷

DeepSeek Harness 是 AI Agent 运行框架，自由度高但默认 Web UI 操作不便。社区插件 DSH - better - sidebar 迅速出圈，装了侧边工作台，整合多样工具，更新勤，适合折腾 DSH 的人。

Genspark团队开源AI办公套件GenOffice，全平台免费无广告。它界面类似微软Office，零成本上手，AI能直接编辑文档。虽处Alpha阶段，但可切换多种模型，还给出了配置第三方模型的方法。

过去两年视频生成模型不断提升画面参数，但传统模型生成的视频固定，用户无法干预。而世界模型可跟随操作实时渲染、动态生成世界。目前Noiz AI联合多机构发布实时可交互音视频世界模型HelixWorld 1.0，后续还将开源。

DeepSeek V4 Pro正式版0813上线，升级Agent能力，网页、API、app皆可用。DeepSeek Harness亮相并开源，基于“一切皆插件”理念。V4 Pro跑分部分能力突出但价格将涨，其实际表现待更多测试。