「程序理论」共找到 381 篇相关文章
GitHub 1.8W star爆款！不到2M，win系统高级感拉满！
TranslucentTB是为Windows系统设计的开源轻量级工具，主打任务栏透明化。它资源占用低，功能丰富，有多种视觉效果、能智能动态切换等，还提供多种安装渠道。
狂揽15.9K star！！Win系统居然还有开源替代版，牛逼啊~
开源君分享开源项目`ReactOS`，它类似Windows，目标是与NT系列无缝兼容，可直接运行Windows软件和驱动。该项目始于1996年，在Github获15.9K star，有轻量、兼容等特点，安装简单。
狂赚 21.6K star！超牛的Cursor免费平替项目，隐私友好、功能超强，真的香！
开源君分享了开源AI代码编辑器Void，它是基于VS Code魔改的「开源版Cursor」，保留VS Code优点，AI辅助编码出色。在Github获21.6K star，有隐私保护等特色，操作简单易上手。
把PLC仿真搬进浏览器，小参数模型也能实现高工程通过率
上海交通大学联合Sema研究团队推出SemaPLC，将AI Agent与PLC工程工具链连接，让自然语言需求转化为可编译、验证、仿真的控制程序。它是面向全流程的智能工作台，实验效果优于业界方案。
Lucide 1.0 发布，移除品牌图标，并缩减数百万个项目的包大小
Lucide 1.0 发布，它是开源图标工具包，是 Feather Icons 分支。此次移除品牌图标，缩减 lucide - react 包大小，还引入上下文提供程序等改进，社区反响有赞有弹。
AI Infra入门干货总结：大模型是如何高效推理的
作者深入研读vLLM源码，以Llama 3为例，聚焦Decoder-Only架构LLM，介绍推理各环节及张量维度变化，讲解连续批处理和Paged Attention概念，还阐述推理流程、采样策略等，最后总结相关拓展内容。
【开源】build-your-own-x：30+领域造轮子教程，程序员内功提升指南
开源项目 build-your-own-x 收录 30+ 领域「从零造轮子」教程，解决学编程只知用不知原理的问题。涵盖 3D 渲染、AI 模型等多领域，多语言可选。介绍学习好处、使用方法，还推荐优质教程。
NUS&复旦&清华：首个系统性大模型Latent Space综述
新加坡国立大学等多机构发布大模型潜在空间领域首个系统性全景综述，从“基础—演进—机制—能力—展望”拆解潜空间范式的底层逻辑、技术路径与未来前景，还对比了潜空间与显式空间差异。
UIUC清华微软联合提出PlugMem：当Agent记忆告别「经历」，开始存储「经验」
随着大语言模型Agent长期运行，‘记忆该如何设计’成核心问题。UIUC、清华、微软联合提出PlugMem，将记忆拆分为三类，以知识为单位存储，在三类任务中验证其有效性，为Agent长期记忆设计提供新思路。
具身智能能力狂飙，安全却严重滞后？首个安全可信EAI框架与路线图出炉！
具身人工智能发展迅速，但能力与安全出现“脱钩”。上海人工智能实验室和华东师范大学团队撰写论文，为“安全可信具身智能”建立理论框架与蓝图，提出成熟度模型、分析框架等。