#开源

共 4 個貼文
[技术] 上海 AI 实验室「书生-S2」助阵，三维 Ghys 猜想被证明并通过 Lean 形式化验证
综合讨论 社区采编 6 小時前 21 1
综合讨论
[技术] reinstall：一条命令原地重装系统，Windows 和 Linux 还能互刷
综合讨论 社区采编 1 天前 31 1
综合讨论
[技术] 昆仑万维发布世界首款消费级显卡视频大模型游戏，同步开源
综合讨论 社区采编 1 天前 31 1
综合讨论
[技术] 微软砍掉 Publisher 别慌：开源办公套件 LibreOffice 解忧，官宣适配 .pub 格式
综合讨论 社区采编 1 天前 21 0
综合讨论