node-sass 的问题，我一般用 sass 代替 node-sass 就行了
但是 hexo 没用过，不知道怎么搞

来当个坟墓

基本不氪，就原神充了 30 块给我出了一个神里我很满足了

ssd 装软件，机械硬盘存其 xiao 他 huang 东 pian 西（比如电脑微信聊天记录等）
反正我差不多大半年重装一次，是真的把 c 盘清空的，反正重要的也就是浏览器的收藏和密码，以及 vscode 的设置，现在都是自动备份和同步了

lz 应该观察一下自己看不懂英文文档是出于什么问题，是单词不懂，还是单词懂了但是句子看不懂
如果是单词不懂那就背单词，如果是句子不懂那就多找点英文文章来读

@xieyuheng 加油，做这个不容易
现在 lean 在数学界已经开始得到越来越多的关注（尤其得到 Peter Scholze 的关注后吸引了很多数学家的目光），我相信计算机辅助证明进入主流数学界进入一定只是时间问题，然而在这之前仍然有很多路要走，理论上和工程上
加油

不如去给 lean 做做贡献？

不是，docker-compose 不是很多项目拉下来就自带的嘛，有这个不能说明用过啊

@uni 写错了，是华擎 deskmini

4k ？ 我能想到的就是 mini desk+5600g+500g ssd 了
我个人的体验，cpu 越强越好这点肯定不用说，内存 16g 比较勉强，能上 32g 最好，然后硬盘一定要大，rust 编译的中间产物动不动就是 100g ，500g 的硬盘都玩不了几个项目

@lushifu 以前好像有人跟我说，像东大这样的毕业生很香的，他们也学历崇拜来着？在日本名校毕业有什么优势吗？

你说的是 stage 还是 stash

stash 很有用的，就是手上的事情做一半要去做其他事情，那就把手上的事情 stash ，其他事情做完了在 pop 原来的事情回来继续

至于 stage ，想起来当时刚接触 git 的时候也有疑问，后来用多了就逐渐忘记了……现在要我说的话，我觉得 stage 的作用就是给一个地方让你把你要提交的东西收集起来一起提交，不过实践中很多时间就直接 git commit -am 直接提交了……

@Veneris 因为不是主流链

@aru 感谢，预算不是问题，就想在满足需求的前提下尽量节省成本，可能要定十到二十台左右这样的服务器
只跑一个月就不在家搞了

@aru 请问有什么推荐的吗，最好能稳定点的不要掉线的

我去，这么多看衰的吗
我自己是 all in crypto 了，理由是这个是这个世界目前所能看到的为数不多的增量之一，另外一个增量是新能源
本来人工智能也应该算是一个增量，但是这几年底层理论停滞不前，就像被智子锁死了一样，也不行了
不过这么宏大的问题不是一两句话可以说的清楚的，有反对意见也正常，如果我的看法是对的，现在还有这么多看衰的人说明领域红利还能吃一段时间

@oubenruing wasm 做的类似 react 的框架就是 yew 吧，实际性能并不见提升很大