当前位置:工具箱首页 - 技术文摘

GPU 维修,一个百亿市场是如何形成的?

本来,这是一个双赢的局面:英伟达提供铲子,中国公司挖掘 AI 金矿。然而,中美科技竞争的暗流早已涌动,尤其是在人工智能和半导体等攸关国家安全和科技主导权的领域更是斗争激烈。美国接连挥下的芯片禁售令,不仅斩断了获取新铲子的渠道,反而倒逼出一个规模或达百亿的 GPU 维修产业填补着官方退场后的空白。

来自:my.oschina.net 收录时间:2025-07-18

SwiftFormat —— 格式化 Swift 代码

SwiftFormat 是一个代码库和命令行工具,用于在 macOS 或 Linux 上重新格式化 Swift 代码。

来自:www.oschina.net 收录时间:2025-07-18

OpenNJet v3.3.1 发布,云原生应用引擎

OpenNJet v3.3.1 已经发布,云原生应用引擎。 新功能 深层清理Lua代码 http ssl模块新增一个指令ssl_certificate_management 用于证书续签功能配置 新增helper程序cert-manager,支持ACME协议,实现自动证书管理 功能优化 http/stream vs 不允许重名 Http 动态添加ssl VS 时,检查是否配置证书。 Bug fix 修复njt_strea...

来自:www.oschina.net 收录时间:2025-07-18

Gitee AI MCP Server 上线:在 Cursor 里玩 AI 生图 + 语音

模力方舟现已上线 Gitee AI MCP Server,为 AI 助手和多模态应用提供统一的上下文协议(Model Context Protocol, MCP)接入能力,目前已支持文本生成图片与语音两项功能。 MCP 是干什么的相信大家已经很熟悉了,那么话不多说,先看效果: 这张图展示了使用 Gitee AI MCP Server 在 Cursor 客户端中完成「AI 生成项目 Lo...

来自:www.oschina.net 收录时间:2025-07-18

报告:71% 的人不愿聘用不具备 AI 技能的开发人员

Infragistics 最新发布的一项《2025 年应用开发趋势报告》显示,71% 的受访者表示,他们不会聘请不具备 AI 技能的开发人员。 30% 的受访者表示,今年他们面临的最大挑战之一是招聘合格的开发人员。除了招聘 AI 领域人才外,53% 的领导者还寻求具备云计算技能的人才,35% 的领导者在寻求具备解决问题的能力的人,35% 的领...

来自:www.oschina.net 收录时间:2025-07-18

美团开源 OIBench 与 CoreCodeBench

Meituan-M17 团队联合上海交大等机构,分别推出了 OIBench(聚焦高区分度算法题评测)与 CoreCodeBench(聚焦多场景工程级代码基准)两大数据集,旨在揭示大模型编程能力真实水平,这两大数据集已分别在 GitHub 和 Huggingface 上进行开源。

来自:my.oschina.net 收录时间:2025-07-18

​首个基于 AI 的恶意软件 LameHug 现身,窃取 Windows 设备数据

科技媒体 BleepingComputer 报道了一种新型恶意软件 LameHug 的出现,该软件利用了阿里开源的 Qwen2.5-Coder-32B-Instruct 大型语言模型,针对 Windows10和 Windows11设备进行数据窃取。 LameHug 的独特之处在于它采用了大型语言模型生成攻击指令,进而搜刮受害者设备上的敏感数据。根据 CERT-UA(乌克兰国家网络安全事件...

来自:www.oschina.net 收录时间:2025-07-18

IntelliJ IDEA 从 2025.3 版本开始只提供单一安装程序

JetBrains 宣布了 IntelliJ IDEA 迁移到统一发行版的计划:“以后将只有一个 IntelliJ IDEA 安装程序,取代分别下载的 Community Edition 和 Ultimate Edition。” 从 2025.3 版本开始,IntelliJ IDEA Community Edition 将不再作为单独的产品发行。所有用户都将下载单个 IntelliJ IDEA 发行版:一个安装程序,一个更新流...

来自:www.oschina.net 收录时间:2025-07-18

微语 0.8.8 发布,开源 AI 问答平台

企业级多租户团队协作工具,免费开源N件套:企业IM、在线客服、企业知识库/帮助文档、客户之声、工单系统、AI对话、工作流、呼叫中心、视频客服、开放平台。 语言 English 中文 管理端 多渠道 客服端 介绍 企业IM 局域网即时通讯 企业成员管理 聊天记录监控 ... 全渠道客服 多渠道接入 人工客服 客服Agent智能体,对接自...

来自:www.oschina.net 收录时间:2025-07-18

OpenAI o1 核心贡献者把 AI 定义为“第四种杠杆”

近期,前 OpenAI 研究员 Hyung Won Chung 在离职消息曝光后,首次系统性地分享了他对 AI 的长期思考,塑造了一个新的想法:「AI 杠杆机制」。 在传统经济学里,人类只拥有三种杠杆: 人力杠杆:让别人替你干活。 资本杠杆:让钱替你生钱。 代码杠杆:让软件替你规模化。 Hyung Won Chung 认为,AI 正在成为第四种杠杆,具...

来自:www.oschina.net 收录时间:2025-07-18

字节视觉大模型负责人杨建朝宣布“暂时休息”

网易科技获悉,字节跳动豆包大模型视觉多模态生成方向负责人杨建朝于 7 月 17 日上午在公司内部宣布“暂时休息”,相关工作已完成交接。 据多位接近字节的人士透露,目前仍能在字节内部系统中查到杨建朝的信息。消息人士称,杨建朝的工作将由周畅(花名“时光”)接手。目前,周畅所在架构仍为“多模态交互与世界模型”部...

来自:www.oschina.net 收录时间:2025-07-18

Jason Wei 提出“验证者定律”:所有可能解决且易于验证的任务都将被人工智能解决

Jason Wei(OpenAI核心科学家、思维链提示词核心作者、o1关键人物)近期提出验证不对称性理论及“验证者定律”(Verifier's Law),其核心观点是:训练AI解决一个任务的难易程度与该任务的可验证性成正比,所有可能解决且易于验证的任务,终将都被AI攻克。 验证的不对称性指的是有些任务验证起来比解决起来容易得多。随着...

来自:www.oschina.net 收录时间:2025-07-18

Meta 在挖走苹果 AI 部门主管后,再次挖走两名核心专家

彭博社记者马克・古尔曼透露,Meta又挖走了苹果公司的两位关键人工智能研究人员,此前不久Meta刚刚从苹果挖走了其AI王牌——人工智能模型负责人庞若鸣(Ruoming Pang),也就是这两名研究人员的主管。 报道称,Meta聘请了苹果公司的Mark Lee和Tom Gunter加入其超级智能实验室 (Superintelligence Labs) 团队。Lee在近日离...

来自:www.oschina.net 收录时间:2025-07-18

​特朗普宣布 900 亿美元 AI 中心投资计划,谷歌和黑石集团领投

在宾夕法尼亚州举办的首届能源与创新峰会上,美国总统特朗普宣布了一项重磅投资计划,总额超过900亿美元,旨在将宾夕法尼亚州打造成美国人工智能的核心地带。此次投资不仅涵盖数据中心的建设,还包括能源基础设施的提升及人工智能相关人才的培训。 在这一投资计划中,谷歌作为主要参与者,将投资于建设大型数据中心,并已...

来自:www.oschina.net 收录时间:2025-07-18

OpenAI 发布 ChatGPT agent

OpenAI 于今日凌晨通过直播发布了 ChatGPT agent,这是一个融合了 Operator(网站交互能力)和 Deep Research(信息整合能力)以及 ChatGPT 本体能力的统一智能体系统,能够自主思考并选择合适工具(如 Operator、Deep Research 和 ChatGPT 本体),完成复杂任务,例如浏览网站、运行代码、生成 PPT 和电子表格等。 用户...

来自:www.oschina.net 收录时间:2025-07-18

开源 AI 客户端 Cherry Studio 1.5.0 新增「全局记忆」

开源 AI 助手平台 Cherry Studio 更新至 v1.5.0 版本,新增了全局记忆(Global Memory)功能。该功能基于 mem0 实现,允许用户为单个助手开启或关闭全局记忆。 目前该功能处于 Beta 阶段,将在 GitHub 上收集反馈并持续优化。 其他新增功能 Gemini 支持 URL 上下文:现在可以让 Gemini 模型直接读取和理解网页内容了。 更快...

来自:www.oschina.net 收录时间:2025-07-18

社区搜索离线回溯系统设计:架构、挑战与性能优化

离线回溯主要解决迭代效率问题,本文重点探讨在社区搜索场景下开发离线回溯,并做离线一致性验证过程中发现的一些问题,针对这些问题做了哪些优化措施及思考。

来自:my.oschina.net 收录时间:2025-07-18

从依赖到可控:开源基础设施的国家命题

在过去十年里,代码托管平台经历了从开发工具向基础设施的演化。不仅仅是开发者日常协作的载体,更成为支撑科研、产业、信创工程和开源生态建设的根本平台。 随着国家数字化战略的深入推进,“代码平台是否自主可控”这一问题,已从技术议题上升为现实战略问题。平台的稳定性、安全性、治理权,决定了其能否承担长期、关...

来自:www.oschina.net 收录时间:2025-07-17

谷歌高管澄清 Chrome OS 合并到 Android 的报道

谷歌 Android 生态系统负责人 Sameer Samat 最近确认,谷歌计划将 Chrome OS 与 Android 合并为一个统一平台,未来 Chromebook 和 Android 平板电脑将运行基于 Android 的桌面优化版本,从而提供跨设备的无缝体验。 不过,Samat 随后在社交媒体上澄清表示,他只是重申了 2024 年谷歌博客中的公告,即 Chrome OS 将基于 ...

来自:www.oschina.net 收录时间:2025-07-17

字节视觉大模型负责人今日内部官宣“暂时休息”

根据网易科技的独家报道,7月17日上午,字节跳动豆包大模型视觉多模态生成方向负责人杨建朝在公司内部宣布“暂时休息”,相关工作已完成交接,其职务由周畅(花名“时光”)接手。 周畅所在架构为“多模态交互与世界模型”部门,向Seed基础研究负责人吴永辉汇报 。 此次人事变动原因未明确,有知情人士称是“家庭因素”,...

来自:www.oschina.net 收录时间:2025-07-17

《自然》网站:中国 AI 模型“又一个 DeepSeek 时刻”

英国《自然》杂志网站16日发表文章说,中国人工智能(AI)模型Kimi K2发布后引发轰动,世界迎来“又一个DeepSeek时刻”。中国在6个月内推出第二款令人印象深刻的模型,表明这一成功并非偶然。文章摘要如下: 继今年1月DeepSeek-R1震惊世界之后,全球研究人员对中国推出的第二个强大的AI模型越来越感到兴奋。北京月之暗面...

来自:www.oschina.net 收录时间:2025-07-17

Python 核心开发者对 Rust 的期望

PyO3 维护者 David Hewitt 在 2025 年 Python 语言峰会上探讨了对 Rust 的期望。 David Hewitt 指出:“根据对 PyPI 上传包中原生扩展的统计估算,有约 1/4 到 1/3 的新项目选择 Rust 实现本地扩展。” 他展示了 PyO3 如何简化 Python 中的 Rust 使用,并讨论了 Rust 在支持 Python 自由线程方面的优势,以及在 GCC 后端...

来自:www.oschina.net 收录时间:2025-07-17

四川某科技公司未落实网安保护义务致数据泄露被罚

四川网安部门近日在工作中发现,成都某科技公司开发的购票管理系统因未落实网络安全防护要求,致使系统内部分数据发生泄露,被不法分子利用实施违法犯罪活动。 经查,该公司作为涉案信息系统的开发主体及实际运营单位,负有网络安全保护工作的法定职责,但未依法履行《中华人民共和国网络安全法》规定的网络安全保护义务...

来自:www.oschina.net 收录时间:2025-07-17

Firefox 141 在 Windows 平台正式支持 WebGPU

Mozilla Gfx 团队宣布,在即将发布的 Firefox 141 中,会面向 Windows 平台正式发布对高性能 Web API WebGPU 的支持。WebGPU 赋能网页高性能图形和计算,将有效提升游戏、3D 可视化、AI 本地推理等场景的体验。 WebGPU 是由 W3C GPU for the Web 社区组所发布的规范,目标是允许网页代码以高性能且安全可靠的方式访问 GP...

来自:www.oschina.net 收录时间:2025-07-17

​Anthropic 估值飙升至 1000 亿美元,年收入增长四倍

据知情人士透露,Anthropic 的最新估值已突破1000亿美元,较四个月前的580亿美元几乎翻了一番。这一估值的提升,主要得益于 Anthropic 近期向部分投资者披露的财务表现,尤其是其年化收入在2023年上半年增长了四倍,已超过40亿美元。 为了支持这一增长,Anthropic 在3月完成了35亿美元的股权融资,并计划在今年总计融资5...

来自:www.oschina.net 收录时间:2025-07-17

QuestDB 9.0 正式发布,高性能开源时序数据库

QuestDB 是一款开源的时序数据库,提供了超低延迟、高吞吐量和多层存储引擎,支持多种协议(如 InfluxDB 行协议、PostgreSQL 协议、REST API),并与许多工具和语言集成,非常适合金融市场数据、实时分析等场景。 QuestDB 近日发布重大版本 9.0,增加了 N 维数组、日历感知的物化视图 (materialized views)、提高了数据去...

来自:www.oschina.net 收录时间:2025-07-17

OpenCV 4.12.0 发布

OpenCV 2025 年的夏季更新现已发布。此次更新涵盖了Core、Imgproc、Calib3d、DNN、Objdetect、Photo、VideoIO、Imgcodecs、Highgui、G-API、Video和HAL模块,以及 Python、Java 和 JavaScript 语言绑定等众多内容。 此次更新的亮点包括: imgcodecs添加了对 GIF 的编解码支持 显著提升了PNG 和 Animated PNG文件的处理能...

来自:www.oschina.net 收录时间:2025-07-17

Zadig 支持 Microsoft Teams 集成,实时通知触手可及

在现代开发流程里,实时掌握系统状态与接收通知,是保障团队高效协作的关键要素。Zadig 作为功能强大的 DevOps 平台,如今已支持与 Microsoft Teams 进行集成,开发者可以通过 Teams 实时获取 Zadig 的工作流动态,团队成员能够实时掌握最新信息,进而提升整体协作效率。

来自:my.oschina.net 收录时间:2025-07-17

Scale AI 裁员14%、终止 500 名承包商

彭博社报道称,美国数据标注初创公司 Scale AI 正面临重大调整,宣布裁员约14%(约200人),同时终止与 500名全球承包商的合作。 此次调整正值高层人事巨变之后——上月,Meta 以 143亿美元 的估值聘请了 Scale AI 原首席执行官亚历山大·王(Alexandr Wang),引发外界对其公司未来走向的猜测。现任临时CEO Jason Droeg...

来自:www.oschina.net 收录时间:2025-07-17

月之暗面回应 Kimi K2 API 速度慢:访问量大+模型体积大,正全力优化

月之暗面Kimi官方近日回应了Kimi K2 API速度慢的情况。 月之暗面表示,主要问题是访问量大 +模型体积大。月之暗面正在全力优化推理效率,也在加卡加机器。预计这几天内速度会有明显提升。同时,Kimi K2是完全开源的,大家也可以通过其他模型供应商接入使用(比如硅基流动、无问芯穹等),欢迎自行部署。 模力方舟现已上线...

来自:www.oschina.net 收录时间:2025-07-17

MiniMax Agent 全栈开发功能正式发布

国产AI公司MiniMax正式发布Agent全栈开发功能,允许用户通过自然语言对话一键构建包含前端和后端的完整应用。 该功能支持Supabase后端托管、Stripe支付集成、cron job定时任务和长链接维持等技术,能够实现API调用、实时数据处理、支付、LLM集成、定时任务和用户认证等复杂操作,且无需人工编写代码。 Minimax提供的一个...

来自:www.oschina.net 收录时间:2025-07-17

AI 编程工具 Windsurf 重新上线 Claude Sonnet 4 模型

AI 编程工具 Windsurf 宣布,Anthropic 官方支持的 Claude Sonnet 4 模型已在该平台重新上线。 Pro 和 Teams 用户现在可以使用该模型,在限时折扣期间,每次请求消耗 2 个积分,相当于每月可进行 250 次请求。 就在上个月,Anthropic 在几乎没有预先通知的情况下切断了 Windsurf 的 API 访问权限。 根据 Windsurf 的声明...

来自:www.oschina.net 收录时间:2025-07-17

LinkAndroid v0.7.0 系统兼容性提升,底层基础库优化

在日常工作与生活中,频繁在安卓手机与电脑间切换操作是不是让你感到头疼不已? 文件传输繁琐、应用管理不便、投屏体验不佳…… 这些困扰, LinkAndroid 帮你统统解决!作为一款强大的连接工具,LinkAndroid 致力于轻松连接安卓与电脑,为大家带来投屏、文件管理、应用管理、截屏、录屏、安装应用等一站式便捷体验,全面...

来自:www.oschina.net 收录时间:2025-07-17

:tada: 对标 Coze 和 Dify,Java 开发的 AIFlowy v1.1.1 发布

AIFlowy v1.1.1 正式发布了! :tada: 如果你也在使用 AIFlowy,欢迎为我们点个 Star 支持一下:star2:: :link: Gitee 地址:https://gitee.com/aiflowy/aiflowy 你的每一个 Star 都是对我们最大的鼓励,也是让更多人看到 AIFlowy 的关键一步! 我们的愿景始终如一: :small_blue_diamond: 成为中国最具影响力的人工智能品...

来自:www.oschina.net 收录时间:2025-07-17

前 OpenAI 工程师长文回顾工作一年经历

Calvin French-Oven 是前 OpenAI 工程师,曾参与开发编程 Agent「Codex」项目,三周前从 OpenAI 离职。 近日,Calvin 通过一篇博客长文回顾了自己在老东家工作一年的经历,包括为了打造编程产品 Codex 而经历的高强度开发过程。 French-Owen 强调,他离职并非因为任何“内部矛盾”,而是因为他希望重新踏上创业之路。在入...

来自:www.oschina.net 收录时间:2025-07-16

AI 操作系统 NeuralOS 开源,完美模拟 Windows 界面

来自华人团队的开源 AI 操作系统 NeuralOS 已经开源发布。这一系统的设计灵感源于著名科学家卡帕西对未来图形用户界面(GUI)的大胆预言,令人瞩目的是,它能够实时预测并模拟 Windows 操作界面,甚至能准确显示每个用户的操作反馈。 在线体验地址:https://neural-os.com/ 在 NeuralOS 中,用户只需轻松移动鼠标、点击图...

来自:www.oschina.net 收录时间:2025-07-16

Browserless —— 将没有 UI 界面的浏览器部署在 Docker 中

Browserless 允许远程客户端连接并执行 headless 工作,所有这些都在 docker 内部完成。它支持标准的、未分叉的 Puppeteer 和 Playwright 库,并提供基于 REST 的 API 用于数据收集、PDF 生成等常见操作。

来自:www.oschina.net 收录时间:2025-07-16

MiniMax 完成近 3 亿美元融资,估值超 40 亿美元

近日有消息称,人工智能大模型企业 MiniMax 已接近完成新一轮近3亿美元的融资,当前汇率折合约21.52亿元人民币。 此轮融资完成后,该公司估值将超过40亿美元,约合286.96亿元人民币。根据现有公开资料,目前国内大模型企业中,达到这一估值水平的包括MiniMax和智谱两家公司。 MiniMax曾在2023年底完成一轮融资,当时的估...

来自:www.oschina.net 收录时间:2025-07-16

黄仁勋演讲实录:夸赞“中国开源AI已成为世界进步催化剂”

7月16日,黄仁勋身着唐装出席了第三届链博会。这是黄仁勋今年的第三次中国行,而在链博会前,他已经提前到达北京,并与小米创始人雷军进行了合影。 昨日,黄仁勋还接受了媒体采访。期间,他宣布了两个重要进展:一是,美国已批准H20芯片销往中国。黄仁勋表示:“美国政府已经批准了我们的出口许可,我们可以开始发货了,...

来自:www.oschina.net 收录时间:2025-07-16

孙正义对话 Altman:AI 需求没有尽头,将部署 10 亿个智能体

据彭博社报道,软银集团创始人孙正义(Masayoshi Son)与OpenAI CEO萨姆·奥特曼(Sam Altman)周三在对话时表示,AI的需求永无止境,因此必须持续扩充算力。 奥特曼通过视频连线的方式出席了软银SoftBank World 2025活动,并与孙正义对话。这两位合作伙伴表示,AI的进步将催生出一些目前还难以想象的新工作岗位,机器人技...

来自:www.oschina.net 收录时间:2025-07-16

AI 写代码导致开发者效率下降 19%

一项由非营利性 AI 研究机构 METR 完成的随机对照实验(RCT)发现,经验丰富的开源开发者在使用 AI 编程工具(如 Cursor Pro 或 Anthropic Claude)时,实际完成任务的时间比不使用 AI 工具时平均增长了 19%。 尽管开发者预期 AI 工具能节省 24% 的时间,甚至事后仍认为 AI 工具提高了 20% 的效率,但实际数据表明 AI 工...

来自:www.oschina.net 收录时间:2025-07-16

智谱清影 AI 视频生成功能全面升级

智谱清言宣布旗下清影 AI 视频生成功能全面升级。 官方介绍,相比前一版本,升级后的清影 AI 视频可生成多样的场景风格视频,画面主体更稳定,表现更清晰自然。 具体亮点如下: 极致的画面表现:画面清晰度更加,毛发更细腻,色彩更合理; 流畅的动态效果:人物、动物的动作更流畅,肌肉走向更合理; 稳定的画面主体:画...

来自:www.oschina.net 收录时间:2025-07-16

Blender Studio 发布 Dogwalk:基于开源引擎 Godot 的免费游戏

Blender Studio 发布了一款名为「Dogwalk」的免费游戏,旨在演示开源 3D 建模软件 Blender 和开源游戏引擎 Godot 的协同工作流程,展现完全使用开源软件的可能性 。 该游戏是一款短小、温和的单人游戏,玩家扮演一只可爱的小狗,带着小孩在冬日景色中探索,寻找堆雪人的材料 。 在短暂的旅程中,你要探索雪林、冰冻的池塘...

来自:www.oschina.net 收录时间:2025-07-16

Blender 4.5 LTS 正式发布

Blender 4.5 LTS 已正式发布,提供两年更新支持。 与「Dogwalk」联名的全新启动画面 新版本带来多项重大改进: 完全支持 Vulkan 后端(默认未启用,可通过偏好设置激活),性能显著提升 。 动画与索具方面,骨骼视口显示模式可自定义覆盖,驱动编辑器支持独立捕捉设置切换,新增“复制形态键”和“从对象更新”操作符简化...

来自:www.oschina.net 收录时间:2025-07-16

字节跳动 Seed 最新强化学习配方 POLARIS 开源

字节跳动Seed团队携手香港大学与复旦大学,共同推出了创新的强化学习训练方法——POLARIS。该方法通过精心设计的Scaling RL策略,成功将小模型的数学推理能力提升至与超大模型相媲美的水平,为人工智能领域的小模型优化提供了新路径。 实验结果显示,采用POLARIS训练的40亿参数开源模型Qwen3-4B,在AIME25和AIME24数学测...

来自:www.oschina.net 收录时间:2025-07-16

Firefox 工程师:哪个地方出现高温天气,我看一眼日志就知道

Mozilla Firefox 浏览器工程师 Gabriele Svelto 近日表示,他通过查看浏览器的崩溃报告,可以大致判断哪些地区(如欧盟或美国)正在经历热浪,因为这些崩溃报告主要来自搭载英特尔 Raptor Lake(第 13/14 代酷睿)CPU 的系统。 他指出,Raptor Lake 架构存在已知的时序/电压问题,这些问题会随温度升高而恶化(即 Vmin S...

来自:www.oschina.net 收录时间:2025-07-16

Cloudflare 1.1.1.1 于 7 月 14 日出现严重故障

2025年7月14日,Cloudflare的1.1.1.1公共DNS解析器服务(包括相关IPv4和IPv6前缀)于21:52 UTC开始全球不可用,直到22:54 UTC恢复,持续约62分钟,导致全球用户无法通过1.1.1.1解析域名,进而影响几乎所有互联网服务的使用。 事故原因是内部配置错误: 6月6日,为准备未来DLS服务的配置变更中,误将1.1.1.1解析器服务的前...

来自:www.oschina.net 收录时间:2025-07-16

2025 年 7 月中国数据库排行榜:前三阵营稳占高位,达梦破浪高歌回前五

7 月国产数据库热度持续攀升,技术演进与市场竞争双线加速。最新一期墨天轮中国数据库流行度排行榜正式出炉,本月共有 187 款数据库产品参与排名,榜单结构进一步精简,竞争愈发聚焦。

来自:my.oschina.net 收录时间:2025-07-16

OpenAI 前首席技术官 AI 初创公司融资 20 亿美元

OpenAI 前首席技术官 Mira Murati 在社交平台发文称,其创立的 AI 初创公司 Thinking Machines Lab 已完成 20 亿美元融资,本轮融资由 a16z 领投,英伟达、AMD 等参投。 Thinking Machines Lab 发言人称,这轮融资对公司的估值为 120 亿美元(现汇率约合 861.51 亿元人民币)。英伟达、AMD、Accel、ServiceNow、思科以及...

来自:www.oschina.net 收录时间:2025-07-16

深度剖析 Claude 4 的系统提示词

本文作者获取了 Claude 4 完整的系统提示词,并进行了迄今为止最深入的拆解分析。文章不仅揭示了 Anthropic 在对话风格、安全控制、工具调用等方面的创新设计思路,更重要的是提供了一套可直接借鉴的系统提示词工程最佳实践框架。

来自:my.oschina.net 收录时间:2025-07-16

苹果 MLX 框架新增 CUDA 支持

苹果公司近日宣布其专为 Apple Silicon 设计的机器学习框架 MLX 正在新增对英伟达 CUDA 的支持。这一更新将使得开发者能够在 Apple Silicon Mac 上利用 MLX 开发应用,并顺利导出至 CUDA 环境运行。 之前,由于 MLX 框架深度集成于苹果的 Metal 平台,开发者在 macOS 系统之外无法进行相关操作,因此常常需要额外购买硬件...

来自:www.oschina.net 收录时间:2025-07-16

秘塔 AI 搜索上线“深度研究”功能

秘塔AI搜索在“浅度研究”上线五个月后,正式推出可公开免费使用的“深度研究”功能,通过任务拆解和可视化“问题链”提升中文场景的搜索准确率与透明度。 据官方文章称,秘塔通过把整体任务拆成多个子任务、分段强化学习等“笨办法”,在降低 GPU 消耗的同时,把中文场景的准确率做到优于最新 WebSailor 等模型。 此外,...

来自:www.oschina.net 收录时间:2025-07-16

Mistral AI 开源 AI 音频模型系列 Voxtral

Mistral AI 宣布推出其首个针对企业的音频模型系列 Voxtral。包含两种规模:适用于生产规模应用的 24B 版本,以及适用于本地和边缘部署的 3B 版本。两个版本均基于 Apache 2.0 许可证发布。 公告称,Voxtral 解决了开发者需要在低成本的开源系统和高效但封闭的解决方案之间做选择的问题。该模型以不到同类 API 一半的价格...

来自:www.oschina.net 收录时间:2025-07-16

Linux 桌面环境 KDE Plasma 6.4.3 发布

KDE 发布了 Plasma 6.4.3,这是 Plasma 6.4 系列的第三个 bugfix 更新。 此次更新改进了 Plasma 的多个组件,包括 Discover(应用管理工具响应性增强)、Plasma Addons(窗口切换器行为优化)、KWin(窗口管理器稳定性提升,修复了与平板事件处理相关的崩溃问题、窗口激活和面板交互问题)、Wayland 支持(修复了弹出窗口...

来自:www.oschina.net 收录时间:2025-07-16

:fire:无代码流程引擎 FlowLong 飞龙 1.1.14 发布

开源地址:https://gitee.com/aizuda/flowlong 开源地址:https://github.com/aizuda/flowlong 官网文档:https://flowlong.aizuda.com 支持全流程操作监听,仅 8 张表实现整个流程引擎(更符合中国人的思维模式设计),截至当前近 300 家企业自用登记接入使用。300 多家企业包括,国家计算中心,电信 等国企已上车,你还...

来自:www.oschina.net 收录时间:2025-07-15

北京人形发布高保真铰接物体数字资产 ArtVIP

该数据集实现了对高复杂度铰接物品的高精度仿真,在还原物品视觉外观的同时,以高保真度复现了物品物理特性,并且开源了 6 个支持全场景交互的虚拟机器人训练场。除开源已有场景提升行业模型训练效果外,北京人形同时可针对不同场景不同物品提供定制化建模服务,为具身智能快速落地提供平台支撑。

来自:my.oschina.net 收录时间:2025-07-15

K2 编译器热点:2025.1 中的高采用率、更少的 Bug 和重大改进

IntelliJ IDEA 2025.1 默认采用 K2 编译器,本文将概要介绍 K2 编译器的当前状态,分享其采用指标,重点介绍 2025.1 中的改进,并预告下一步的计划。 以下内容来自:K2 模式热点:2025.1 中的高采用率、更少的 Bug 和重大改进 我们建议您更新到最新的 IntelliJ IDEA 版本,享受最佳的 K2 模式体验。 采用 目前采用 K2 模...

来自:www.oschina.net 收录时间:2025-07-15

Blender Studio 发布 Dogwalk:基于开源引擎 Godot 的免费游戏

Blender Studio 发布了一款名为「Dogwalk」的免费游戏,旨在演示开源 3D 建模软件 Blender 和开源游戏引擎 Godot 的协同工作流程,展现完全使用开源软件的可能性 。 该游戏是一款短小、温和的单人游戏,玩家扮演一只可爱的小狗,带着小孩在冬日景色中探索,寻找堆雪人的材料 。 在短暂的旅程中,你要探索雪林、冰冻的池塘...

来自:www.oschina.net 收录时间:2025-07-15

YouTrack 自 2025 年 10 月起开始实行新价格

JetBrains 宣布将对 YouTrack 价格做出一些调整,新价格将于 2025 年 10 月 1 日生效。 保持不变的方面 YouTrack 对最多 10 个用户的团队仍然免费。 帮助台项目对最多 3 位支持人员的团队仍然免费,报告者数量不受限制。 YouTrack 订阅将继续免费提供全套功能、支持和 AI 辅助。 发生改变的方面 所有有效的升级和支持订阅...

来自:www.oschina.net 收录时间:2025-07-15

Lua 5.5.0 发布首个 Beta 版本

Lua 5.5.0 Beta 版本已发布。Lua 官方尚未公布 5.5.0 的正式变更日志(beta 版也还没给出完整清单)。 不过根据开发邮件列表与源码仓库的 commit 历史,已合并或高度确认的新特性主要包括以下几点(在 beta → final 过程中仍可能被调整或删除): 新运算/表达式 • // 整数除法运算符:向下取整的除法,结果总是整数。 ...

来自:www.oschina.net 收录时间:2025-07-15

亚马逊发布全新 AI IDE「Kiro」

亚马逊宣布推出AI编程工具Kiro,这是一款集成开发环境(IDE),旨在通过“规范驱动开发”(Spec-Driven Development)革新软件开发模式,解决“氛围编码”(Vibe Coding)带来的混乱和低效问题 。 Kiro借助AI智能体与开发者协作,在编写代码前自动生成需求文档、系统设计图和任务清单,并基于这些规范生成代码、测试用例...

来自:www.oschina.net 收录时间:2025-07-15

PHP 社区正在讨论变更许可证

PHP 社区近日就变更许可证发起了提案: PHP 在自定义开源许可证方面有着长期的混淆、担忧和争议,而涵盖 Zend/ 目录中源代码的 Zend Engine 许可证,加剧了这种混淆并进一步复杂化了问题,因为它不是 Open Source Initiative 批准的许可证。 本 RFC 提议对 PHP 许可证进行务实的简化,以消除这种混淆,保留所有 PHP 贡献...

来自:www.oschina.net 收录时间:2025-07-15

APKLab —— VS Code 的 Android 逆向工程工作台

APKLab 是一款开源 Android 逆向工程和恶意软件分析工具。它是 VS Code 的扩展,使用 TypeScript 编写。APKLab 旨在集成该领域现有的开源工具,并为常见的逆向工程任务提供更简洁的用户体验。

来自:www.oschina.net 收录时间:2025-07-15

Meta 宣布全球首个 1GW+ 能耗超级计算机集群即将上线

Meta 首席执行官马克·扎克伯格通过社交媒体宣布,公司正加速推进人工智能基础设施建设,计划上线全球首个功耗超过1吉瓦(GW)的超级计算机集群“Prometheus”,预计于2026年投入使用。同时,Meta 正在规划另一个名为“Hyperion”的超大规模集群,未来几年内功耗将达到5GW,规模堪比曼哈顿。 Meta 的“Prometheus”超级计...

来自:www.oschina.net 收录时间:2025-07-15

维基框架发布 1.0.11 至中央仓,深化国产化 DevOps 生态整合

一、核心事件:维基框架1.0.11正式入驻中央仓库 维基框架(Wiki-Framework) 作为国产全场景Java企业级开发框架,于7月9日正式发布 v1.0.11版本 至中央软件仓库(Maven Central),标志着其正式纳入全球主流开发工具生态。本次发布聚焦 安全增强与云原生适配: 安全升级:集成OAuth2.1协议,修复CVE-2025-0113等5项高危漏...

来自:www.oschina.net 收录时间:2025-07-15

高并发系统的艺术:如何在流量洪峰中游刃有余

高并发系统的设计和实现是一个复杂且多层次的过程,涉及到硬件资源的合理利用、系统架构的精心设计、并发控制技术的应用以及性能调优等多个方面。无论是电商平台在大促期间应对突发流量,还是社交媒体在热点事件发生时的流量激增,抑或是金融系统在交易高峰期的平稳运行,都需要一个高效、稳定、可扩展的高并发系统作为支...

来自:my.oschina.net 收录时间:2025-07-15

Roo Code 3.23 发布,支持 Grok-4 模型

Roo Code 发布了 v3.23 版本,将代码库索引转为稳定功能,并推出全新的任务待办列表,同时新增对 xAI Grok-4 模型的支持及多项体验优化。 Roo Codev3.23 版本将代码库索引(Codebase Indexing)功能从实验性阶段转为稳定功能,并引入了全新的任务待办列表(Task Todo List)。 代码库索引功能现已成为 Roo Code 的核心部...

来自:www.oschina.net 收录时间:2025-07-15

特朗普将宣布 700 亿美元 AI 与能源投资计划

美国总统特朗普将于本周二在宾夕法尼亚州匹兹堡郊区宣布一项高达700亿美元的人工智能与能源领域投资计划。据一位不愿透露姓名的政府官员透露,该投资涉及数据中心建设、电力基础设施升级、AI人才培训与学徒项目,来自多家私营企业的支持也将共同推动该战略落地。 根据计划,投资项目包括多个新建数据中心、电力生产扩张与...

来自:www.oschina.net 收录时间:2025-07-15

AI 编程智能体 Devin 开发商宣布收购 Windsurf

7 月 14 日,AI 编程智能体 Devin 开发商 Cognition 宣布签署最终协议,收购 AI 编程初创公司 Windsurf,包括其知识产权(如 AI 驱动的集成开发环境 IDE)、产品、商标、品牌及剩余约 250 名员工。 此前谷歌以 24 亿美元“反向收购”挖走了 Windsurf 的 CEO Varun Mohan、联合创始人 Douglas Chen 及核心研究团队,而 Op...

来自:www.oschina.net 收录时间:2025-07-15

Meta 或将放弃开源理念,转向闭源 AI 模型开发

《纽约时报》援引消息人士报道,Meta 公司新成立的超级智能实验室高层成员正在讨论一项重大战略转变,放弃公司强大的下一代开源人工智能模型 Behemoth,转而开发一个封闭模型。 据悉,Meta 已完成 Behemoth 模型的训练,但因内部性能测试不佳而推迟发布,其测试工作在新实验室启动后也已暂停。若 Meta 最终选择放弃 Behe...

来自:www.oschina.net 收录时间:2025-07-15

谷歌计划将 ChromeOS 整合到 Android,成为统一平台

谷歌 Android 生态系统总裁 Sameer Samat 近期在回答记者的采访时表示,公司计划将 ChromeOS 合并到 Android,整合为统一平台。 Sameer Samat 在采访中透露,合并工作已启动,将耗时多年。预计短期内(如 8 月 Pixel 10 发布会)不会有重大发布,完整落地仍需数年时间。合并后,Chromebook 等设备将直接运行基于 Androi...

来自:www.oschina.net 收录时间:2025-07-15

Kimi K2 在 OpenRouter 的市场份额超越 xAI

来自中国初创公司 Moonshot AI 的开源大语言模型 Kimi K2在 OpenRouter 平台的 token 消耗量(市场份额指标)上迅速攀升,超越 xAI 的 Grok4和 OpenAI 的 GPT-4.1,成为近期 AI 领域的焦点。 OpenRouter 作为一个统一 API 平台,允许开发者访问包括 Kimi K2、Grok4和 GPT-4.1在内的400多个模型。 Kimi K2是一款基于混合专...

来自:www.oschina.net 收录时间:2025-07-15

飞书开源“RTV”富文本组件

飞书近日正式将其自研的富文本组件库 RichTextVista(RTV)开源,并上线OpenHarmony 三方库中心仓。它是鸿蒙生态首个深度集成“属性字符串”(StyledString)方案的富文本组件,兼顾性能、开放性和易用性。 “该组件以领先的性能、流畅的渲染体验与高度的开放性,为鸿蒙生态提供了更高效的富文本解决方案。” 流畅性能:...

来自:www.oschina.net 收录时间:2025-07-14

苹果考虑收购法国 AI 初创公司 Mistral AI

据彭博社报道,苹果将Mistral视为潜在的收购对象,以弥补其在生成式AI领域(如Siri)的不足 。 Mistral AI是欧洲估值最高的AI初创企业,目前估值约€5.8亿(约$6.2亿),已融资约€1.1亿(约$1.2亿),并正在洽谈新一轮高达$1亿的融资 。该公司以高效的模型和OCR功能闻名,其聊天机器人“Le Chat”也因快速响应受到用户好...

来自:www.oschina.net 收录时间:2025-07-14

PaddleOCR 3.1 发布

PaddleOCR 3.0 自 5 月 20 日发布以来,受到业界的广泛关注,同时我们也收到了众多宝贵意见。我们积极响应、快速升级迭代,并在近日发布了 PaddleOCR 3.1,带来了 3 个新升级:

来自:my.oschina.net 收录时间:2025-07-14

阿里 Qwen 团队提醒 Qwen3-embedding GGUF 模型使用注意事项

阿里巴巴 Qwen 团队提醒开发者,在使用 Qwen3-embedding GGUF 模型时需在末尾添加特殊 token<|endoftext|> 以保证精度,并预告将发布自动处理此问题的更新版本。 阿里巴巴 Qwen 团队表示,他们在社区讨论中注意到,部分开发者在使用 Qwen3-embedding 的 GGUF 模型时,未在上下文末尾附加特殊 token<|endoftext|>,这可能...

来自:www.oschina.net 收录时间:2025-07-14

​智源全面开源 RoboBrain 2.0 与 RoboOS 2.0

智源研究院宣布开源具身大脑RoboBrain 2.0 32B版本以及跨本体大小脑协同框架 RoboOS 2.0单机版。 RoboBrain 2.0,作为集感知、推理与规划于一体面向真实物理环境的“通用具身大脑”,32B版本凭借时空认知能力的突破,在多项权威具身智能基准上全面刷新纪录,此前发布的7B版本,具备紧凑高效的模型结构,其轻量化设计完美...

来自:www.oschina.net 收录时间:2025-07-14

OpenCut —— 免费开源视频编辑器

一款简单易用、功能强大的视频编辑器,轻松搞定一切。适用于任何平台。开源 CapCut 替代品。

来自:www.oschina.net 收录时间:2025-07-14

 写在 Kimi K2 发布之后:再也不仅仅是 ChatBot

转载自:https://bigeagle.me/2025/07/kimi-k2/ 前两天我们忙活了大半年的 Kimi K2 终于发布了,在上线前熬了个大通宵之后饱饱睡了两天,今天终于有闲写一点心得。 叠甲:以下内容全部是我个人观点,不代表公司立场。 再叠甲:以下内容全部是我古法手作 (仅使用 Github Copilot 当高级输入法用)。 关于“写前端” 从 ...

来自:www.oschina.net 收录时间:2025-07-14

谷歌“截胡” OpenAI,AI 编程创企 Windsurf 核心成员加入 DeepMind 团队

Windsurf 原名 Codeium,2021 年由麻省理工学院校友创立,2025 年 4 月更名,年度经常性收入超 1 亿美元,用户增长强劲。 2025 年 7 月 12 日,OpenAI 以 30 亿美元收购 AI 编程初创公司 Windsurf 的交易失败(收购协议排他性期限到期未续签 ),谷歌 DeepMind 迅速 “截胡”,宣布聘请 Windsurf 创始人兼首席执行官 Va...

来自:www.oschina.net 收录时间:2025-07-14

TIOBE 7 月榜单:高级编程语言争夺前十,Ada 胜出?

TIOBE 公布了 2025 年 7 月的编程语言排行榜。 本月榜单主要关注了 top 10 编程语言中后半段位置的竞争。过去几年来,TIOBE 指数的前 7 种语言基本没有变化;但排名第 8 到第 12 位的语言则不然,基本每个月都会有新的挤进、旧的跌出。 TIOBE CEO Paul Jansen 点评称,这是一场老牌语言之间的持久战: Visual Basic、SQL...

来自:www.oschina.net 收录时间:2025-07-14

Claude Code 1.0.51 发布,原生支持 Windows

Anthropic 发布了其编码助手 Claude Code 的 1.0.51 版本,带来了多项重要更新。 此版本增加了对原生 Windows 的支持,用户不再需要依赖 WSL 环境,但需要安装 Git for Windows。 更新内容 Windows支持新增原生 Windows 支持,无需 WSL。 API支持通过环境变量 AWS_BEARER_TOKEN_BEDROCK 支持 Bedrock API 密钥。 诊断工具...

来自:www.oschina.net 收录时间:2025-07-14

OpenAI 推迟发布首个开源权重大模型

OpenAI 宣布推迟原定于下周发布的开放权重模型。OpenAI CEO Sam Altman 表示,此次延迟是为了进行额外的安全测试并审查高风险领域。他强调,一旦模型权重被公开发布,就无法撤回,「并且新模型对我们来说是新的,我们希望做得正确。」 OpenAI 的研究副总裁,同时也是本次开源模型项目负责人 Aidan Clark 补充说,尽管该模...

来自:www.oschina.net 收录时间:2025-07-14

xAI 将获 SpaceX 最大外部投资 20 亿美元

华尔街日报援引知情人士消息称,埃隆·马斯克的 SpaceX 已同意向他的人工智能公司 xAI 投资 20 亿美元。这也是SpaceX最大的外部投资之一,占xAI近期50亿美元股权融资的近一半。 马斯克曾多次动用他的商业帝国来推动 xAI 的发展,该公司正努力追赶 OpenAI。今年早些时候,他通过将 xAI 与 X 合并,帮助扩大其 Grok 聊天机...

来自:www.oschina.net 收录时间:2025-07-14

加工进化论:SPL 一键加速日志转指标

此次更新新增了 pack-fields、log-to-metric、metric-to-metric 算子,大幅优化了从原始日志到结构化数据再到时序指标的转化链路。这些改进不仅显著提升了数据处理效率,还为可观测性分析、时序预测等领域提供了更广泛的应用空间。

来自:my.oschina.net 收录时间:2025-07-14

:fire: Solon AI & MCP v3.4.0 发布(一个全场景智能体应用开发框架)

Solon AI Solon AI ,是 Solon 官方推出的 Java AI 应用开发框架。旨在为 Java 开发者提供统一的接口抽象层,简化与 OpenAI、DeepSeek、QWen 等主流 AI 模型的集成流程,以及简化 Mcp 的开发体验。特点: 一套接口支持不同提供者、不同大模型调用(通过方言适配) 支持图片生成模型(ImageModel) 支持聊天生成模型(Cha...

来自:www.oschina.net 收录时间:2025-07-14

月之暗面发布并开源 Kimi K2:擅长代码与 Agentic 任务

月之暗面正式公布并开源旗下生成模型 Kimi K2,号称「具备超强代码和 Agent 能力的 MoE 架构基础模型」。 官方介绍,Kimi K2 总参数达到 1T,激活参数为 32B,上下文长度为 128k,并且支持 ToolCalls、JSON Mode、Partial Mode、联网搜索功能等;但模型不支持视觉功能。 具体来看,Kimi K2 现已具备稳定的复杂指令解析能...

来自:www.oschina.net 收录时间:2025-07-14

斯坦福研究:使用 AI 治疗聊天机器人存在“重大风险”

随着人工智能技术的发展,越来越多的聊天机器人开始被应用于心理治疗领域。然而,斯坦福大学的最新研究警告我们,依赖这些由大型语言模型驱动的 AI 疗法聊天机器人,可能会给用户带来 “显著风险”。这项名为《表达污名与不当反应阻碍大型语言模型安全替代心理健康提供者》的研究,将在即将召开的 ACM 公平性、问责制与透...

来自:www.oschina.net 收录时间:2025-07-14

蓝鲸云 LanJing-AntdVue 单体敏捷开发框架 v1.1.0 发布

v1.1.0 更新内容: 1、新增导出 Excel 注解 AOP 切面; 2、修复近期用户反馈的 BUG; 项目介绍 基于 SpringBoot3、SpringSecurity、MybatisPlus、Vue3、TypeScript、Vite、AntDesign、MySQL 等技术栈实现的单体前后端分离后台管理系统;后端基于 Java 语言采用 SpringBoot3、SpringSecurity、MybatisPlus、MySQL 等主流技...

来自:www.oschina.net 收录时间:2025-07-14

Skyeye 云智能制造办公系统 - Saas v3.16.12 发布

Skyeye 云智能制造,智能制造一体化,采用 SpringBoot+ UNI-APP + Ant Design Vue 的低代码平台开发模式。包含 50 多种电子流程,CRM、PM、ERP、MES、ADM、OA、EHR、AI、项目、商城、财务、多班次考勤、薪资、招聘、云售后、论坛、问卷、报表设计、工作流、Saas 等功能。打造全网首套低代码、功能最全的智能制造行业供应...

来自:www.oschina.net 收录时间:2025-07-14

jodit 替换 wangEditor | gpress 1.1.2发布

gpress 是 Web3 内容平台,Hertz + Go template + FTS5 全文检索,支持以太坊和百度超级链,兼容 Hugo、WordPress 生态,使用 Wasm 扩展插件,只需 200M 内存. 作为静态站点: gpress 生成的静态文件和 Hugo 一致,也可以简单认为 gpress 是 Hugo 的后台管理,兼容 Hugo 主题生态,已迁移多款 Hugo 主题:even、doks、boo...

来自:www.oschina.net 收录时间:2025-07-14

MyBatis-Flex v1.11.0 发布,一个优雅的 MyBatis 增强框架

MyBatis-Flex: 一个优雅的 MyBatis 增强框架 特征 1、很轻量 MyBatis-Flex 整个框架只依赖 MyBatis,再无其他任何第三方依赖。 2、只增强 MyBatis-Flex 支持 CRUD、分页查询、多表查询、批量操作,但不丢失 MyBatis 原有的任何功能。 3、高性能 MyBatis-Flex 采用独特的技术架构、相比许多同类框架,MyBatis-Flex 的在增...

来自:www.oschina.net 收录时间:2025-07-14

PTerm —— 可以制作漂亮 CLI 的现代 Go 框架

PTerm 是一个现代的 Go 模块,用于轻松美化控制台输出。它具有图表、进度条、表格、树形结构、文本输入、选择菜单等诸多功能。它完全可配置,并且 100% 兼容跨平台。

来自:www.oschina.net 收录时间:2025-07-11

Mistral AI 发布 Devstral2507 系列

Mistral AI 与 All Hands AI 合作,推出了针对开发者的大型语言模型 Devstral2507系列,包含两款新模型:Devstral Small1.1和 Devstral Medium2507。 这些模型旨在支持基于智能代理的代码推理、程序合成和结构化任务执行,适用于大型软件代码库的实际应用。这次发布在性能和成本上进行了优化,使其在开发工具和代码自动化...

来自:www.oschina.net 收录时间:2025-07-11

解码鸿蒙生态及核心技术 + 2025 HarmonyOS 创新赛,携手共创万物互联新未来

7 月 8 日晚,一场聚焦 HarmonyOS 应用开发的线上技术交流会成功举行。本次活动由开源中国(OSCHINA)《数智漫谈》栏目主办,以 “三步上手鸿蒙开发:工具・能力・进阶” 为主题,旨在帮助开发者高效掌握鸿蒙应用开发核心技能,把握万物互联时代的创新机遇。

来自:my.oschina.net 收录时间:2025-07-11

AigcPanel v0.14.0 发布,开源 AI 数字人系统

AigcPanel v0.14.0 已经发布,开源 AI 数字人系统。 此版本更新内容包括: 新增:直播视频内容增加开关,默认关闭 新增:直播用户重复进入重复忽略可设置 新增:GPT-SoVITS模型一键运行包 新增:CosyVoice-300M模型(优化版) 新增:Heygem一键运行包(调优版)v0.2.0 新增:LatentSync模型一键运行包v0.4.0 新增:CosyV...

来自:www.oschina.net 收录时间:2025-07-11

Snow 编程语言 v0.4.2 发布: 实现类型间全转换能力

更新内容 新增功能 增加 IR 对类型转换指令的支持,补充基本数值类型转换相关指令,实现类型间全转换能力(如 long64/float32/double64/short16/byte8 等互转)。 性能和稳定性改进 优化函数调用指令逻辑,支持 void 类型函数调用,修复空函数、非 void 函数缺失 return 的判断与报错。 修正比较操作的错误提示信息,增强...

来自:www.oschina.net 收录时间:2025-07-11

Manus 清空国内社交平台账号内容,前员工透露“不会继续推进”中文版

网友发现,通用AI智能体公司“Manus”的官方微博和小红书账号的内容今日均已清空。 与此同时,打开Manus的官网发现,其官网首页显示“Manus在你所在的地区不可用”,而此前为“Manus中文版本正在开发中”。 Manus近期因大规模裁员的传闻而再度引发外界关注。据澎湃新闻7月8日报道,Manus方面对此回应记者表示:“基于公司...

来自:www.oschina.net 收录时间:2025-07-11

从 Python 演进探寻 AI 与云对编程语言的推动

Python 作为当今最受欢迎的编程语言之一,从 2008 年 Python 3.0 的发布到 2024 年 Python 3.13 的正式发布,以及 2025 年计划发布的 Python 3.14,十六年的演进过程不仅见证了编程语言技术的进步,更反映了整个软件行业的深刻变化。从人工智能的兴起到云计算的普及,从微服务架构的流行到开发者体验的重视,多重因素共同...

来自:my.oschina.net 收录时间:2025-07-11

欧盟公布最终版《通用人工智能行为准则》

欧盟委员会10日公布《通用人工智能行为准则》最终版本,旨在帮助企业遵守欧盟《人工智能法案》的相关规定。 该准则为通用人工智能模型提供透明度、版权及安全与保障三方面的自律指导,适用于包括美国开放人工智能研究中心的ChatGPT、谷歌的Gemini、“元”公司的Llama以及xAI公司推出的Grok等主流通用人工智能模型。 根据...

来自:www.oschina.net 收录时间:2025-07-11