国产数据库管理工具 CloudDM 个人版 v3.0.2 发布,支持多种数据源之间的 DDL 转换 2025-04-16 CloudDM 个人版是 ClouGence 公司推出的一款一站式多数据源开发管理工具,使用它可以方便地访问和管理 MySQL、Oracle、PostgreSQL、阿里云
SpEL Validator 更新:支持国际化消息啦! 2025-04-16 SpEL Validator,一个基于 Spring 表达式的参数校验框架,用起来有点像 jakarta.validation,但语法更自由,表达力更强,支持各种复杂场景的参数校验。 这次 SpE
中国科学院软件所提出智能合约漏洞检测新模型 2025-04-16 近日,中国科学院软件研究所集成创新中心研究团队在智能合约漏洞检测领域取得进展,提出了一种基于精准计算的检测模型,显著提升智能合约漏洞检测的准确性与可解释性。相关成果论文Smart-LLaMA-DPO:
MCP 安全检查清单:AI ⼯具⽣态系统安全指南 2025-04-16 慢雾科技是全球领先的区块链生态威胁情报公司,旨在帮助区块链生态与 AI 生态相融合的过程中拥有更加深度的安全防护能力及保护用户拥有更高的隐私性。 近日,慢雾安全团队发布了一份 MCP 安全检查清单,
谷歌公布 AI 模型 DolphinGemma,可理解海豚声音 2025-04-16 谷歌旗下 AI 研究实验室 DeepMind 公布了一款名为「DolphinGemma」的 AI 模型,旨在帮助科学家理解海豚的声音,并生成类似海豚的声音序列。 DolphinGemm
ChatUI 3.0 正式发布,“对话式交互”开源组件库 2025-04-16 ChatUI 是服务于对话领域的设计和开发体系,助力智能对话机器人的搭建。 特性 最佳实践:基于阿里小蜜业务积累和打磨的对话式交互最佳实践 TypeScript:使用 TypeScrip
Meta 反垄断案开庭审理,若败诉恐被强制拆分 2025-04-16 美国联邦贸易委员会(FTC)终于迎来了与Meta Platforms Inc.对簿公堂的一天,指控该公司十多年前收购Instagram和WhatsApp之后非法垄断社交媒体市场,因此必须进行拆分。
育碧开源色盲辅助工具 Chroma 2025-04-16 育碧宣布开源色盲辅助工具 Chroma,官方称其为“检测游戏中色盲相关问题的一站式解决方案”。 开源地址:https://github.com/ubisoft/UbiChroma 根
理想汽车发布「理想星环OS技术架构白皮书」,4 月底开始逐步开放各模块源代码 2025-04-16 4月15日,理想汽车通过官方网站正式发布“理想星环OS技术架构白皮书”,系统阐述汽车操作系统定义、分析发展趋势,结合创新场景案例,详细介绍理想星环OS技术架构及核心系统,并公开其开源计划。  
Droidrun:让 AI Agent 像人类一样操作 Android 手机 2025-04-16 继 BrouserUse, ComputerUse 等项目后,PhoneUse 类的项目终于出现了 —— DroidRun。 Droidrun,为 AI Agent 提供 Android 操作系