刚才突然又想到一个，现在已经可以买到国产飞腾的 ARM 整机了，CPU 是 FT-2000，性能应该也还可以

某宝上的那些 RK 、AML 、AW 的芯片，是电视盒子芯片，对 Linux 支持都不太好

买老黄的产品吧，Jetson AGX Xavier Developer Kit，八核核弹 Tegra 向你招手，还能搞搞深度学习，USB type c 、m.2 这些也都有，就是有点贵，狗头

@Badlion #4 这个店怎么看着和青州小熊那么像。。。

cmake ？那可真是好消息

只是入门学习 C++的话可以用 dev-c++，注意原版已经不更新了，去 github 下载社区维护的版本

M720Q 准系统+8600T 散片+16*2 的 2666 普条+512G NVME 固态，价格大概 700+800+600+400=2500，齐活，体积还小。剩点钱可以用来买外设，或者换个 GAN 适配器。8600T 纯 CPU 性能还是很能打的，不喜欢联想也可以买戴尔的

Jewels Star，老游戏了，Google play 上可下

还有叫这个名字的 app 啊，真是一颗赛艇

亲，你来这里问是没用的，你得去找苹果，看看库克同不同意放开限制。他要敢放开的话，iPhone 分分钟变成 Lumia 950XL 那样的___

@minami #3 记错了，应该是 12 年的时候

啊这，这那种垃圾比，就算比赢了也没什么好称赞的吧。。。。B 站的 iPad 客户端在我看来也不是好东西，交互逻辑很离谱（竟然还是改了好几版改出来的你敢信，越来越离谱），而且还有关不掉的开屏广告、弹幕屏蔽不能立即生效、弹幕黑名单有上限、左上角返回不能返回到上一个视频、稍后播放列表不能倒序也不能关闭自动播放。。。B 站 16 、17 年时候的 MD 设计安卓客户端才是我心中 yyds （第二是当年的布卡），没有这些有的没的问题，在 Nexus7 上体验都很完美。后来换底栏设计后越来越垃圾。。可能是融资后来了很多疼逊的产品经理的缘故吧。。。

不会的，除非英特尔突然爆种，用浑元形意太极拳把 ARM 按在地上暴打，逼迫苹果不得不回来用 x86 。然而 AMD 和苹果的成功说明无论是 x86 还是 ARM，都不存在哪个更优的说法，只要吃到制程红利，都能做到非常好的性能。反观英特尔，制程上不去，啥办法都没有，规划了好久的火箭湖，还是只能用 14nm 硬肛，下场可想而知

数学原理是一阶逻辑——“图灵机是有这样一种性质的数学概念：所有一阶逻辑命题真伪性的判定问题，都可以转化为判定一个图灵机是否“停机”的问题。进而图灵又证明了不存在一个一般的判定图灵机是否停机的算法，从而否决了希尔伯特寻找一种通用算法进行命题真伪判断的梦想”。
ps：建议看一遍《计算的极限》系列文章

上海堡垒有限公司

快进到下一代不涂疏油层

硬盘对拷机

震惊，黑客因不满育碧 bug 多，竟偷出源码自行修复

@murmur #8 尬黑，他是在 Windows 下用 etcher 写入 mac 镜像，不是在黑苹果下用 etcher