uni 最近的时间轴更新
uni

uni

V2EX 第 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 创建的主题 推广 [抽奖] 春节将至,整点烤虾带回家吧!
来当个坟墓
8 小时 12 分钟前
回复了 wtf12138 创建的主题 问与答 你们玩游戏氪金吗?
基本不氪,就原神充了 30 块给我出了一个神里我很满足了
ssd 装软件,机械硬盘存其 xiao 他 huang 东 pian 西(比如电脑微信聊天记录等)
反正我差不多大半年重装一次,是真的把 c 盘清空的,反正重要的也就是浏览器的收藏和密码,以及 vscode 的设置,现在都是自动备份和同步了
lz 应该观察一下自己看不懂英文文档是出于什么问题,是单词不懂,还是单词懂了但是句子看不懂
如果是单词不懂那就背单词,如果是句子不懂那就多找点英文文章来读
1 天前
回复了 xieyuheng 创建的主题 程序员 Web Developer The Ultimate Math Developer!
@xieyuheng 加油,做这个不容易
现在 lean 在数学界已经开始得到越来越多的关注(尤其得到 Peter Scholze 的关注后吸引了很多数学家的目光),我相信计算机辅助证明进入主流数学界进入一定只是时间问题,然而在这之前仍然有很多路要走,理论上和工程上
加油
1 天前
回复了 xieyuheng 创建的主题 程序员 Web Developer The Ultimate Math Developer!
不如去给 lean 做做贡献?
1 天前
回复了 carolannhuotariz 创建的主题 职场话题 师傅,你是做什么工作的
不是,docker-compose 不是很多项目拉下来就自带的嘛,有这个不能说明用过啊
@uni 写错了,是华擎 deskmini
4k ? 我能想到的就是 mini desk+5600g+500g ssd 了
我个人的体验,cpu 越强越好这点肯定不用说,内存 16g 比较勉强,能上 32g 最好,然后硬盘一定要大,rust 编译的中间产物动不动就是 100g ,500g 的硬盘都玩不了几个项目
关于   ·   帮助文档   ·   API   ·   FAQ   ·   我们的愿景   ·   广告投放   ·   感谢   ·   实用小工具   ·   1194 人在线   最高记录 5497   ·     Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 14ms · UTC 19:30 · PVG 03:30 · LAX 11:30 · JFK 14:30
♥ Do have faith in what you're doing.