5 没有被手动排序过，5 在 1 前面，4 被手动排序过，4 也在 1 前面，可 5 和 4 谁在谁前？

或者也可以看作是命题组：

i1 := {a list element position}
exists i5 in {N}. i5 < i1
exists i4 in {N}. i4 < i1

这两个都是成立的，但是，如果要这么想

exists i in {N}. i5 < i < i4 就是不可能的，因为 (<) 是具有传递性的，若 i5 lessThan i，并且 i lessThan i4，那就是说 i5 lessThan i4，这是不符合预期的（逻辑性质比这举的例子有用多了，可惜我不是特别懂）

那如果说
exists i in {N}. 4 < i < 5 也是不可能的，并没有一个自然数比 4 大但是比 5 小，这后面自然也有基础偏序理论和基本数论... （或者说，{N} 是不连续，或者说离散的数集，{R} 则是连续的）但是，把 {N} 换成 {R} 就成立了

#dev #Life #Microsoft #VisualStudio

Visual Studio 2019 发布会今晚 12 点正式开始。

#Haha #Microsoft

翻车现场（直播演示的是快照调试，但是跑很久还没出结果）

#China #school #dev #Android 🤔 我开始怀疑 Yuuta 到底是不是中学生了... 这更新速度和时间范围简直没谁啊！ 😂

#Web #frontend #HTML 欸，这不是抄原来 DIr 的么... 🤔

主页做好了

#Android 类似的设计详询 Android Input Methods API，这有专门的种类抽象，肯定的，Java Swing 我不清楚，GTK Qt WxWidgets Windows Forms 的我也不清楚...。

记得 Telegram 私密聊天也会

https://github.com/Trumeet/Random-picture is ready.

（只有一个源程式文件和一个 Dockerfile（

一个小时写好（

不会吧？我看 java.lang.Random 的好像不会（exclusive）...

DDoS 测试了下（1000 次），发现 Random 会不时给出最大值（

#Coolapk 🌝 禁用也没用，反正我逆向的是 v8 最新的算法，厉害或者觉得底层系统小白 + GCC 很『黑盒』就再来。

5 分钟左右酷安禁用了 V7 的发送功能，我 7 分钟前还发过.....

#Sysadmin #Linux Yuuta 大器晚成（跑）哦，应该早点的。（现在应该学着背诵一下根目录结构：dev proc sys home root usr var lib tmp boot / shm tun tty pts binfmt_misc selinux）和诸如 fstab, keyboard layouts, timezone, dns (resolv.conf) 这种需要配置的东西，如果要做集群管理员，RAID 磁盘阵列什么的，R0 R1 R1+0 R5 必须知道呢，iptables 也得会用，AWK SED 什么的应该能加分，不会 bash 是万万不可的 [ $? -eq 0 ] || printf "😃"; exec exit &; local case, ${0:-}

感谢 @haoyet @eGluZl 等热心用户的建议，YuutaW 主要参照 https://www.viseator.com/2017/05/17/arch_install/ 并次要参照 https://wiki.archlinux.org/index.php/Installation_guide_(简体中文)
成功完成了 Arch Linux 的单系统安装。
#Linux

#sysadmin #dev #GitHub #travis #CI

https://blog.stfw.info/from-hexo-to-ci/
用 Travis CI 配合 Hexo ，快速入门持续集成