@otakutyrant @mw 地铁同志应该是说伊利诺伊香槟分校的香槟吧……

@jling 你用用Conda装neovim行么?我发现Conda往往能解决一些奇怪的链接和依赖问题。当然我其实不懂复杂的链接依赖问题以及Linux下GLIBC啥的标准解法,就是ldd看一眼再LD_PATH试试不行就没辙了。

@otakutyrant 当然有。。。。怀柔还建了新的辐射光源,商业版对撞机,或者说超高端光刻机。

@jling 某种意义上RH倒逼运维别万年CentOS 7,好像也是好事……

明明PATH里有texlive却用不了。我想了半天,应该是某傻逼公司项目的迫真脚本rm -rf ~/.local闹得。

@MuDromaius 我最喜欢的PS4游戏是尼尔自动人形,感觉画质用处也没那么大……

连OrbStack都不支持起CentOS 7虚拟机了只能Docker镜像对付一下,很好奇这几年运维老师傅们再起新服务器要选什么系统。

@otakutyrant Geneva 没什么高楼大厦,海淀也没什么高楼大厦。Geneva市中心甚至有农田,联想桥旁边全是农田。CERN 旁边就是 Geneva 机场,正负电子对撞机旁边就是西郊机场。Q E D

影视改编缺席的情节里我最痛惜电子计算机的诞生。
人列计算机,一轮文明的科技精华,原始可笑。坚韧的精神以巨大代价取得微小进步而终要粉身碎骨,是刘慈欣小说的线索。在我看来三体世界的苍美,全凝聚在冯诺依曼的遗言:「……我想到了,用电元件!用电元件做成门电路,组成计算机!那样计算机的速度要快许多倍!体积也要小许多,估计用一幢小楼就放下了……陛下,您在听我说吗?」

Show thread

网飞三体改得真赶。人列计算机这么妙的点子几分钟拍完了。我当年铁杆磁铁那会儿要是看见影视改编就这么哗啦啦把大刘的点子冲下水道得疯。

@kedai 哈哈,我的前几天也坏了,重装应用才好。毕竟停止维护了……

@donya 记得伊斯兰国正盛那阵外网的meme,某老哥听伊斯兰国视频音乐觉得很带感成天哼哼,周围人说「快了,快了」

@folhaseca
> 起码要有点机械义肢,电脑黑客什么的才算cyber吧
王小波现实中确实算黑客(不是骇客),编程能力很强。

Show more
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.