uni 最近的时间轴更新 uni 最近的时间轴更新 |
uniV2EX 第 176904 号会员，加入于 2016-06-11 19:03:25 +08:00今日活跃度排名 15201 |
| 现在怎么买服务器比较便宜？ 服务器 • uni • 5 天前 • 最后回复来自 xxb | 14 |
| 如何取消 Github Copilot 的提示？ 程序员 • uni • 30 天前 • 最后回复来自 caren | 23 |
| vscode 中 ctrl+shift+d 无法切换到调试？ 程序员 • uni • 95 天前 • 最后回复来自 janxin | 1 |
| 大家的 rust-analyzer 要加载多久 问与答 • uni • 94 天前 • 最后回复来自 inflationaaron | 1 |
uni 最近回复了
8 小时 11 分钟前 回复了 futureeent 创建的主题 › 推广 › [抽奖] 春节将至，整点烤虾带回家吧！ |
来当个坟墓
基本不氪，就原神充了 30 块给我出了一个神里我很满足了
1 天前 回复了 mikeven 创建的主题 › Windows › 现在很多人鼓吹 Windows 系统不分区，一个 C 盘，那么重装怎么办呢 |
ssd 装软件，机械硬盘存其 xiao 他 huang 东 pian 西（比如电脑微信聊天记录等）
反正我差不多大半年重装一次，是真的把 c 盘清空的，反正重要的也就是浏览器的收藏和密码，以及 vscode 的设置，现在都是自动备份和同步了
反正我差不多大半年重装一次，是真的把 c 盘清空的，反正重要的也就是浏览器的收藏和密码，以及 vscode 的设置，现在都是自动备份和同步了
1 天前 回复了 Kiriri 创建的主题 › 程序员 › 什么样的英文水平可以流畅地阅读英文书籍和文档，顺便求个学习路线 |
lz 应该观察一下自己看不懂英文文档是出于什么问题，是单词不懂，还是单词懂了但是句子看不懂
如果是单词不懂那就背单词，如果是句子不懂那就多找点英文文章来读
如果是单词不懂那就背单词，如果是句子不懂那就多找点英文文章来读
1 天前 回复了 xieyuheng 创建的主题 › 程序员 › Web Developer The Ultimate Math Developer! |
@xieyuheng 加油，做这个不容易
现在 lean 在数学界已经开始得到越来越多的关注（尤其得到 Peter Scholze 的关注后吸引了很多数学家的目光），我相信计算机辅助证明进入主流数学界进入一定只是时间问题，然而在这之前仍然有很多路要走，理论上和工程上
加油
现在 lean 在数学界已经开始得到越来越多的关注（尤其得到 Peter Scholze 的关注后吸引了很多数学家的目光），我相信计算机辅助证明进入主流数学界进入一定只是时间问题，然而在这之前仍然有很多路要走，理论上和工程上
加油
1 天前 回复了 xieyuheng 创建的主题 › 程序员 › Web Developer The Ultimate Math Developer! |
不如去给 lean 做做贡献？
1 天前 回复了 carolannhuotariz 创建的主题 › 职场话题 › 师傅，你是做什么工作的 |
不是，docker-compose 不是很多项目拉下来就自带的嘛，有这个不能说明用过啊
1 天前 回复了 dustb1n 创建的主题 › Linux › 求推荐一款 nuc 或者 笔记本 主要编译 llvm 和 rustc |
@uni 写错了，是华擎 deskmini
1 天前 回复了 dustb1n 创建的主题 › Linux › 求推荐一款 nuc 或者 笔记本 主要编译 llvm 和 rustc |
4k ？ 我能想到的就是 mini desk+5600g+500g ssd 了
我个人的体验，cpu 越强越好这点肯定不用说，内存 16g 比较勉强，能上 32g 最好，然后硬盘一定要大，rust 编译的中间产物动不动就是 100g ，500g 的硬盘都玩不了几个项目
我个人的体验，cpu 越强越好这点肯定不用说，内存 16g 比较勉强，能上 32g 最好，然后硬盘一定要大，rust 编译的中间产物动不动就是 100g ，500g 的硬盘都玩不了几个项目
Select Language