首页 文章 精选 留言 我的

文章列表

共 182785 篇
MoonBit 正式进入 Beta 版本,迈入语言稳定阶段

MoonBit 正式进入 Beta 版本,迈入语言稳定阶段

IDEA研究院编程语言 MoonBit 宣布推出 Beta 版本,正式迈入可落地应用的新阶段,并逐步演进为可被实际部署的基础设施技术。 进入 Beta 版本的 MoonBit,具备以下优势特性: 语言特性进入稳定期:目前 MoonBit 已覆盖工业级开发所需的语言特性与工具链支持。现有语法和语义将保持向后兼容,未来的更新将尽量避免破坏性修改。 改进流程更标准...

OpenBMB 开源轻量级 CUDA 推理框架 CPM.cu

OpenBMB 开源轻量级 CUDA 推理框架 CPM.cu

OpenBMB推出了CPM.cu,这是一个轻量级且高效的开源CUDA推理框架,专为端侧大型语言模型(LLMs)的部署而设计,并为MiniCPM4提供优化,核心支持稀疏架构、投机采样和低位宽量化等前沿技术创新。 CPM.cu 亮点包括: 集成了InfLLM v2可训练稀疏注意力内核,可加速长上下文预填充和解码; FR-Spec(频率排序推测采样)通过压缩词汇空...

开源模型上下文协议 MCP 更新规范文档,添加对结构化工具输出的支持

开源模型上下文协议 MCP 更新规范文档,添加对结构化工具输出的支持

开源模型上下文协议 MCP 昨天更新了规范文档,主要变更如下: 移除对 JSON-RPC 批处理的支持(PR #416) 添加对结构化工具输出的支持(PR #371) 将 MCP 服务器归类为 OAuth 资源服务器,添加受保护资源元数据以发现相应的授权服务器。(PR #338) 要求 MCP 客户端按照 RFC 8707 中描述的方式实现资源指示器,以防止...

开源代码编辑器 Zed 上线「调试器」功能

开源代码编辑器 Zed 上线「调试器」功能

开源代码编辑器 Zed 宣布推出「调试器(Debugger)」功能,称这是向 Zed 1.0 迈出的重要一步。 调试器特性 快速 :减少上下文切换时间,让用户能更专注于调试。 熟悉 :与 Zed 的设计语言保持一致,支持典型的调试流程,方便用户快速上手。 可配置 :用户可自定义 UI、键绑定、调试配置等。 据介绍,Zed 开箱即支持调试多种流行编程语言,包括...

开源 Rust 浏览器引擎 Servo 支持 GIF

开源 Rust 浏览器引擎 Servo 支持 GIF

Servo 是一款开源的浏览器引擎,最初由 Mozilla 开发。它使用 Rust 语言编写,旨在提供高效、安全的网页渲染能力,并且采用并行渲染技术,以提高网页加载速度和性能。 近日,Servo 团队介绍了最近的更新内容,其中一项重要新功能是支持显示动态 GIF,并且还可以通过 HTML "img"标签加载 SVG 图像。 Servo 还在推进其 Trust...

美国科技巨头推动联邦立法,禁止各州单独监管 AI

美国科技巨头推动联邦立法,禁止各州单独监管 AI

《金融时报》报道称,近日美国多家大型科技公司正积极推动一项联邦禁令,旨在禁止各州自行制定人工智能(AI)监管法规。此次立法倡议得到了亚马逊、谷歌、微软和 Meta 等公司的支持,目的是避免各州在 AI 监管方面各自为政,影响行业的整体发展。 知情人士透露,这项禁令提案已经被纳入众议院版本的 “大而美” 预算法案中。参议院也计划在近期推出自己的版本,并希望能够...

Rust 通用代码生成器:莲花,红莲尝鲜版三十六,蛋糕商城哑数据模式

Rust 通用代码生成器:莲花,红莲尝鲜版三十六,蛋糕商城哑数据模式

Rust通用代码生成器:莲花,红莲尝鲜版三十六,蛋糕商城哑数据模式 Rust 通用代码生成器莲花,红莲尝鲜版三十六。支持全线支持图片预览,可以直接输出带图片的哑数据模式快速原型。哑数据模式和枚举支持图片。哑数据和枚举的图片以文件形式保留在 dummyimages 目录下。带图片的 SGS2 在模版向导界面解析时,支持编辑器预览相关的图片。 蛋糕商城是一个在大...

AigcPanel v0.12.0 震撼更新!AI 创作 + 直播黑科技,一键解锁!

AigcPanel v0.12.0 震撼更新!AI 创作 + 直播黑科技,一键解锁!

全新版本,更强功能! AigcPanel v0.12.0携云端大模型、VIP 专属模型、直播功能强势来袭!无论是内容创作、语音合成,还是实时直播,现在都能一键搞定! 软件介绍 AigcPanel是一个简单易用的一站式开源AI数字人系统,小白也可使用。 支持智能直播、视频合成、声音合成、声音克隆,简化本地模型管理、一键导入和使用AI模型。 禁止使用本产品进行违...

资源下载

更多资源
Mario

Mario

马里奥是站在游戏界顶峰的超人气多面角色。马里奥靠吃蘑菇成长,特征是大鼻子、头戴帽子、身穿背带裤,还留着胡子。与他的双胞胎兄弟路易基一起,长年担任任天堂的招牌角色。

Oracle

Oracle

Oracle Database,又名Oracle RDBMS,或简称Oracle。是甲骨文公司的一款关系数据库管理系统。它是在数据库领域一直处于领先地位的产品。可以说Oracle数据库系统是目前世界上流行的关系数据库管理系统,系统可移植性好、使用方便、功能强,适用于各类大、中、小、微机环境。它是一种高效率、可靠性好的、适应高吞吐量的数据库方案。

JDK

JDK

JDK是 Java 语言的软件开发工具包,主要用于移动设备、嵌入式设备上的java应用程序。JDK是整个java开发的核心,它包含了JAVA的运行环境(JVM+Java系统类库)和JAVA工具。

Sublime Text

Sublime Text

Sublime Text具有漂亮的用户界面和强大的功能,例如代码缩略图,Python的插件,代码段等。还可自定义键绑定,菜单和工具栏。Sublime Text 的主要功能包括:拼写检查,书签,完整的 Python API , Goto 功能,即时项目切换,多选择,多窗口等等。Sublime Text 是一个跨平台的编辑器,同时支持Windows、Linux、Mac OS X等操作系统。