「程序理论」共找到 394 篇相关文章

开源动态8

一键搞定双语播客的项目,效率+200%,太6了!

文章介绍开源项目Twocast,它是AI播客生成器,能模拟双人自然对话,3分钟产出一期播客。有双人对话、多输入、多语言等特色,提供两种安装方式,适合多类人群。

开源先锋
算法论文8

这个AI精准模拟人类行为大脑状态,上Nature了

德国团队开发出人类认知通用计算模型Centaur,登上Nature。它基于Llama 3.1 70B,用5天训练,参数仅Llama的0.15%,能模拟人类在160项实验中的行为,性能超传统模型。

量子位
算法论文8

告别盲选LLM!ICML 2025新研究解释大模型选择的「玄学」

弗吉尼亚理工大学研究团队提出 LensLLM 框架,基于 PAC - 贝叶斯泛化界限揭示 LLM 微调性能“双相演进”,可精准预测微调性能、大幅降低计算成本,为 LLM 选型提供新工具。

机器之心
新闻资讯9

俞大鹏院士:量子计算目前还很弱,产业不能“虚火过旺”|PAIR 2026

本文整理了中科院院士俞大鹏在PAIR 2026大会量子计算专题的主旨演讲,分析了量子计算发展驱动力,指出当前发展痛点,警示量子产业不能虚火过旺,需扎实积累核心技术。

DeepTech深科技
新闻资讯7

中科院自动化所孵化的矿山物理AI龙头,国家队与产业资本为何集体重仓|甲子光年

2026年物理AI热度攀升,概念也趋于泛化,产业和资本更关注其实际价值。矿山场景或成Physical AI首个盈利点。中科慧拓由中科院自动化所孵化,其平行矿山方案已落地近50座国内矿山,并实现海外项目落地。

甲子光年
开源动态7

别再傻傻做视频啦!!!52.1k Star Remotion,把 React 组件变成视频生产线,强到离谱~~

Remotion是用React程序化创建视频的开源项目,可把视频元素写成组件按时间线组合后渲染。它适合有批量生产需求者,不过做真人vlog等传统剪辑软件更顺手,且使用有license限制。

小华同学ai
新闻资讯8

沉痛悼念计算机科学家李未院士

2026年1月25日23时10分,著名计算机科学家、教育家李未院士因病在北京逝世,享年82岁。他是新中国第一位海归计算机博士,在多领域成果卓著,还推动北航向研究型大学转变,其离世是重大损失。

新智元
开源动态8

GitHub 1.8W star爆款!不到2M,win系统高级感拉满!

TranslucentTB是为Windows系统设计的开源轻量级工具,主打任务栏透明化。它资源占用低,功能丰富,有多种视觉效果、能智能动态切换等,还提供多种安装渠道。

开源先锋
开源动态7

狂揽15.9K star!!Win系统居然还有开源替代版,牛逼啊~

开源君分享开源项目`ReactOS`,它类似Windows,目标是与NT系列无缝兼容,可直接运行Windows软件和驱动。该项目始于1996年,在Github获15.9K star,有轻量、兼容等特点,安装简单。

开源先锋
开源动态8

狂赚 21.6K star!超牛的Cursor免费平替项目,隐私友好、功能超强,真的香!

开源君分享了开源AI代码编辑器Void,它是基于VS Code魔改的「开源版Cursor」,保留VS Code优点,AI辅助编码出色。在Github获21.6K star,有隐私保护等特色,操作简单易上手。

开源先锋