低代码」共找到 2516 篇相关文章

产品应用7

声音自然、接近真人,只要 3 秒音频就能完成声音克隆,可本地跑保护隐私的TTS!

Neuphonic出品端侧TTS模型NeuTTS,能在本地设备高效运行,无需云服务。它有真正端侧运行、延迟、高质量自然语音等特性,支持多语言,项目还给出安装、使用方法及支持模型等信息。

GitHubStore
开源动态8

陶哲轩重写20年本科经典教材!Lean编程数学证明,GitHub已放出

陶哲轩迷上形式化数学证明,开设YouTube账号分享用Lean形式化证明的视频,还发布开源项目,将经典教材《Analysis I》定义、定理和习题「翻译」成Lean代码,项目可作学习资料,部分内容已完成翻译。

新智元
推荐文章8

Agentic 软件工程:造 Agent 只是最简单的部分

Agno 创始人 Ashpreet Bedi 认为造 Agent 简单,让其在生产环境稳定运行才是挑战。他提出 Agentic 软件六大支柱,给出 AgentOS Docker 模板代码实践,指出多数 Agent 产品卡壳是基础设施跟不上。

AGI Hunt
算法论文8

NeurIPS Spotlight|运动遮挡都不怕,0先验、一段视频精准预测相机参数

论文一作李放等为解决传统方法在动态场景预测相机参数的难题,提出 ROS - Cam 方法,涵盖补丁式跟踪滤波器、异常值感知联合优化、双阶段训练策略,代码即将开源。

机器之心
新闻资讯7

安全噩梦:Docker 警告 MCP 工具链中存在的风险

Docker 发文警告,基于 MCP 构建的 AI 开发工具存在安全漏洞,如凭证泄露、代码执行等。MCP 协议发展快但部分实现有隐患,Docker 分析发现诸多漏洞,还提出强化方法应对。

InfoQ
新闻资讯8

世界最老程序员——这个91岁的老码农用AI 搞了个教会志愿者管理系统

91岁从未碰过代码的John Blackman,在孙子介绍下,用Claude和Replit的AI agents,仅两天就搭建出教会志愿者管理系统,还分享开发到生产的挑战及使用反馈。

AGI Hunt
开源动态8

0.9B跑出90%真机成功率!上海交大为VLA补上空间感

上海交大MINT团队提出中间路线Evo - Depth,约0.9B参数,不额外增硬件负担,兼顾仿真与真机性能及部署效率。系统由IDEM、SEM等组成,代码等已开源。

量子位
产品应用7

装了 AI 大脑的 Grep

本文介绍了 mgrep 工具,它有自然语言搜索、支持多语言多模态等特点。还说明了使用方法,如安装、登录、索引项目和搜索等,能与编码 Agent 配合,可补充 grep 进行代码搜索。

GitHubStore
产品应用8

3.8K星爆款!Google「langextract」可视化溯源,信息抽取神器

Google的「langextract」在GitHub获3.8K星,是信息抽取神器。它有精准源定位、可靠结构化输出等特点,支持多种LLM,适用于各领域,文章还给出实战代码示例。

CourseAI
开源动态8

开源TTS语音新标杆!Kyutai TTS:350ms延迟碾压全场,词级时间戳重构!

法国AI实验室Kyutai开源高性能TTS语音模型Kyutai TTS,基于DSM框架,支持流式输入、超延迟与高保真语音生成,有多项亮点,还给出不同使用方式及应用场景。

开源星探