阿里妹导读 阿里云可观测解决方案从几个方面来尝试帮助使用 QwQ、Deepseek 的 LLM 应用开发者来满足领域化的可观测述求。 一、背景 近日，随着阿里通义千问推出的 QwQ 系列深度思考模型爆火全球，以其令人赞叹的推理能力强、性价比突出等特点 ...

【新智元导读】近年来，代码评测集数量激增，但质量参差不齐。为规范其开发，香港科技大学联合多所高校研究了过去十年的274个代码评测集，发现诸多问题，如数据重复、测试用例错误、隐私信息未删除等。基于此，他们推出了《代码评测集发展指南55项》（How2Be ...

阿里妹导读作者参考网络相关信息并加上个人理解，对Manus的技术实现原理进行深入分析，并做了一个简单版本的复刻，欢迎大家在评论区互相交流探讨~最近Manus可谓是AI圈的“新晋网红”，上线第一天就全网“一码难求”，并且当天晚上就有团队开源了OpenM ...

AI工具赛道再掀惊涛骇浪!谷歌AI Studio今日投下一枚重磅炸弹，其 最新 升级的功能在X平台瞬间引爆科技圈。用户惊呼，谷歌AI Studio 现在竟然可以直接“啃食”YouTube视频链接，无需下载上传，就能瞬间理解视频内容!更令人瞠目结舌的是，Gemini2.0Flash Experimental 模型（以下简称 Gemini2.0Flash exp） ...

Utils基础工具模块，提供交易系统不同组件共用的工具模块，如配置加载模块、HPPackClient客户端、HPPackServer服务端、SQLiteManager数据库操作、Singleton单例、Logger日志、RingBuffer、LockFreeQueue无锁队列、IPCMarketQueue行情消息队列、IPCLockFreeQueue内存队列、SnapShotHelper快照 ...

OpenHydra产品说明和产品使用相关的文档。

近期又发现一款刚开源的新型高保真 TTS 模型：Zonos。开源不到5天，已经在 GitHub 上收获了 1.1k 标星。 无论是快速生成特定情绪的语音，还是精准地模拟特定人的语音，它都能轻松搞定。 而且它不同于其他 TTS ...

AI智能体的应用场景日益广泛。然而，对于许多初学者来说，构建一个有效的AI智能体似乎是一项艰巨的任务。本文将为你提供一份详细的指南，帮助你轻松迈出构建第一个AI智能体的第一步，并揭示其背后的原理和技巧。 在构建我的第一个商业 AI ...

最近，MCP 突然受到了广泛关注。MCP（模型上下文协议）是去年 11 月由 Claude 的母公司 Anthropic 推出的一项开放标准协议。其目标是为大型语言模型提供一种开放、标准化的方式，以便与外部数据源、工具和服务进行连接。

2025 年开年，DeepSeek R1 和 V3 重磅发布，其超强的语言建模与推理能力，引爆了全球 AI 社区。与此同时，一个隐藏在超大规模模型身后的技术命题浮出水面： 如何让千亿参数超大规模 AI 模型真正达到商业级推理速度？ 这一问题的答案， ...

编程届泰斗、流行编程语言 C# 和 TypeScript 主要设计者 Anders Hejlsberg 于 3 月 11 日 在微软技术博客上发布的文章[1]可谓是一石激起千层浪：“我们开源了已经完成得差不多的 TypeScript-7 ...

随着 DeepSeek-R1 的流行与 AI4Math 研究的深入，大模型在 辅助形式化证明写作 方面的需求日益增长。作为数学推理最直接的应用场景， 形式化推理与验证（formal reasoning and verification） ，也获得持续关注。 近日，由香港科技大学牵头，联合中科院软件所、西安电子科技大学、重庆大学等单位， 开源了一系列 形式化推理与验证大模型，仅用 ...