下面这个也一样，REPL 没有打印出 never() 调用的返回值

fun never(): Nothing = throw RuntimeException()

>>> never()
java.lang.RuntimeException
        at .never(Unknown Source)

... 废话一堆... 所以这部分简单的道理完了，我们看看下面的：
我们知道，顺序模型里面（相对的就是某电影里外星人的『一目了然』模型，从最开始一生会怎样度过会得什么病什么时候死都知道了）

于是觉得这种观点颇为不妥的我就想办法，虽然可能是抽象层次（或者说，粒度）的问题导致观点不同
于是我写了这些代码（貌似是 Scheme，因为我觉得 Clojure 语法设计有点简洁的过分了，看起来真是烧脑得很）

(define get-the-future (lambda
  ; ...
  (determine-action (get-the-future))))

; 当然你也可以 (define determine-action real-resolve)
(define determine-action (lambda (the-future)
  (real-resolve the-future)))

我们不管什么 partial 不 partial 的问题了（指 real-resolve）
这段代码描述的其实就是『预料未来』带来的一个令我十分头疼的问题，每次我对其进行模拟仿佛都会看到黑洞一样，我认为未来是基于现在状态的『过去是过去的现在，未来是现在的延续』，对未来的预测将会干扰到你的现在，而未来本身又是依赖于现在的，这样就会在传统的顺序模式里捅出篓子，遭致无限递归的尴尬境况 — 想知道未来，就得知道你知道未来以后的未来，就得知道你知道未来以后的未来以后的未来，就得知道你知道未来以后的未来的未来的未来...

结果是无尽递归，永远没有结果，我们知道 get-the-future 永远不会返回，因为它的值会陷于 (get-the-future) application 和 (determine-action ...) application 的无限循环之中，这是真的永远，你知道 fn eternity() -> ! { eternity(); } 是没有结果的，Anything is possible... except Nothing。

或者说，Anything is possible. Nothing is impossible. hhhhhh.

然后我们再给一些不知道啥是薛定谔的猫的人（e.g. 之前的我自己就是）普及一下量子猫箱『又活又死、观测、判定、坍塌、可能性什么的，我非常理解爱因斯坦上帝不会掷骰子的理论，我相信的当然是宇宙模拟器之类的计算机科学相关的非常泛泛的了解，就是说宇宙都可以被抽象成状态... 只要有一个状态 E 就可以拿到下一个状态，一切规律都是根据状态计算的，都是纯的，怎么可能弄出随机数和 50% 活 50% 死』。

当然，我是懒得再去了解那些理论了，有人讲

最后是人类『灵魂』相关的，我称之为灵魂 State （状态）论，其实这个不只是我一个人的想法，很多包括科幻作家也这么想。

duangsuse 也考虑人们对灵魂的遐想，不过其实人们对人类灵魂猜测中有一点特性是绝对存在的：

灵魂绝对依附于物质存在

其实，我们往字缝里看看，就不难看出一个更高层的抽象：

灵魂 S 肯定是 Identifible, Unique （可识别（可以判断其同一性）并且唯一）的，然后为了方便接下来的讨论我们称物质层面的相等性为全等性（===）

我们至少是高二我目前学到的物理没有告诉我们『物质和能量如何互相转化』
其实我不知道『物质』本身是不是 Identifible 的，我不知道能量转化为物质后是不是之前变成能量形式的物质还是新的物质，是不是可重复的（幂等）的
如果灵魂真的是依附物质存在，并且有一种方法可以使物质被毁灭（觉得这里翻译为 drain 比较好？还是 destory？湮灭 annihilation？）并且无法拿到相等的物质，那就可以说灵魂可以被凄惨地毁灭永世不得... 超生 🙈

~~E = mc²~~是原罪，不过照大的探索出的宇宙规律来说一切都是向着最终的死寂走的，所以说看起来，不好玩。向死而生嘛。

不过我不赞同这种说法，因为我考虑了一些别的情况。

首先这是不规范的说法，我觉得物质都是按基本粒子来度量的，这理论非常空洞，没有说灵魂是附着再多大的粒子集合上的。他们考虑的可能就是一层能给人视听等五感的抽象，不过我认为感觉都是假造的，怎么假造我不清楚，得看脑科学。反正就是不实际存在（现在我还喜欢拿这个本来不存在的理论揶揄我自己，然而，造成了不好的副作用，当我没有啥感觉只有思维的时候突然感觉这身体只是一眼线而已，它只不过代表我... （而我不是依附于物质而存...））

其次就是如果是依附于某种特殊物质上，那最开始给那些要出生的小孩子们准备的物质是哪里来的，不要和我扯戒色吧那套伪科学。

当然量子物理上也有人弄出个什么意识子之类的，不过也是一样的理论。我上面说不喜欢这种理论（当然不是为了强行把死人说活，
我经常想着有没有可能死而复生的，所谓天堂会不会就是后来的人类们给先人们造的虚拟环境，虽然可能终究还是随着宇宙的『流动』停止而停止
不是我贪生... 或者说还真有点，求生欲现代中国社会哪个正常人不应该有
然后我就大肆批评我自己，说还真是给你这个欲望了，死去元知万事空，就为了这点 naive 的动物性玩意就破坏所理解的现实，是不好的。给你了求生欲，你就不想死，可是如果不给你呢？如果你是《某科学的超电磁炮 S》 里的『妹妹们』呢？你真的以为你就有那么厉害么？正常的理解只应该为别人考虑，因为自己已经不应该再强求什么，一切都只会返回 Never 了，其实没有求生欲也没什么
或者说，曾经是已经死了的，物质也总是在更新，不会为『死』的自己悲伤
当时就非常为之一振，准确的说是为之一颤... 不知道为什么，但觉得有点难受
并非是开始没有不会自己死自己演替的生命，并非是没有没有求生欲的生命，只不过它们都死了，没有留下来直到现在而已
所以 duangsuse 就想啊，感情上的遗言什么的可以简单一点，首先要告诉我的家人和朋友们让他们开开心心活，然后死后遗体器官能捐则捐，最后追悼会要开喜庆一点
（好吧说远了）

duangsuse 的理论建立是从『替换实验（更准确的说法是猜想）』开始的

现在我们没有把人脑拆为小零件的本事，它自是黑箱不必说

假设未来我们有了呢？假设我们把脑部的一部分替换掉，你还是你吗？

因为有部分物质还是你，所以你可以认为那是你，不过，不是呢？因为替换用的部分完全实现了原来部分的功能，包括『你』的另外一部分在内，谁都无法判断出来你和你有什么区别。

如果实现那部分功能的是各种机器不是生物技术，也是同理。

如果替换掉了 99% 的质量，只有 1% 的质量是『原装』的，你觉得有什么区别？

还是说以 50% 为界呢？还是说有一部分肯定是不能制作出等价替换的呢？因为那部分包含了你的灵魂？又回到了之前灵魂依附于什么粒度的物质的问题了，而我不想管那个问题。你可以选择自己相信或者不信。

或是完全替换掉呢？可对别人来说，你完全就还是你啊？哪怕内部工作方式都变了，但是接口没变，没人能判断得出来。（ps. 这里还有一层抽象，不是状态抽象，是工作方式抽象。我觉得这个理论也很不错。）

于是我们可以就这样不依附物质的理论抽象出状态理论 — 虽然可能是误解，但反正大家现在都是误解（或者没人知道真实的真相），我来参一波也没问题喽

然后就是相等性判断的问题了，既然说什么都是客观的，没有所谓主观你和客观你的区别（虽然可能只是抽象导致的不符合实际），那一些基本操作就可以开始定义了，虽然还涉及到抽象粒度也没有被严谨定义的问题
不过现在考虑这个问题会让理论没法好好讨论... 那物理上能做到完全复刻吗？... 好吧应该不能，物质论是没有这类问题... 可是他们也有别的问题

使用类似 Duck typing 的理论 —
如果一只鸟，走起来像鸭子，叫起来像鸭子，游泳起来也像鸭子，那它就是鸭子。

如果一个人的脑部抽象状态和现在电脑前的 duangsuse 无二，那他就是 duangsuse
其他概念参考箱中之脑

然后我好事又弄了两个问题，就是首先我们有一个 duangsuse，让他停止更新状态（类似麻醉），然后 clone 一份状态和相应物质，使看起来像是有两个主观完全一样的 duangsuse 一样。

然后我们把两个 duangsuse 放在不同的两个地方，同时开始更新状态。问：哪个是最开始的 duangsuse，如果你是最开始还唯一（当然这在状态论里是误区，因为一直只有一个『主观』你）的 duangsuse 你睁开眼睛（如果闭上了）后看到的是场景 1 还是场景 2
... 结果是我自己无法判断，我肯定以为我一直是最开始那个，但这和理论又是相悖的... 现在没时间拿纸算

待解决吧（可以写科幻小说

另一个方面是从所谓『感觉』的量化开始的，夫灵魂如若附依一物而存，则此物重几何？

以前认为疼痛是产生在我们所认为那个部位的，其实从某种意义来说也不为错（切了就好，笑死 hhhhhh）
现在的观点是脑部，包括现在的『箱中之脑』理论，我的观点之前说过，若我就是这箱中之脑也不会为此自杀，正如 #Book 《浮生物语》：一 里『一分为二的金甲神元神』一样，前几世于你这个新状态又有何干？你是你，不是他。

所以这样抽象灵魂，这个量化... 有点不 excited 啊... 因为太多不严谨的东西了

#PL #CS #Zhihu

我的天，你们能不能停止使用容易混淆的表述！Andy 有一大堆，你们说的是哪个 Andy？？？

彭飞 发布了想法：给编译器加新的优化之前需要作什么工作？Andy大神教你做人 https://github.com/dotnet/coreclr/blob/b3475eb87a5f28fb88cf23ebe30f174eff75bb46/Documentation/design-docs/GuardedDevirtualization.md
https://www.zhihu.com/pin/1051685921333886976

这个彭飞大概就是之前和淫王抬杠的那个吧《王垠，请别欺负我们读书少》？我还记得

这个彭飞弄得还是不好，我这里他听不见『背后说人坏话』批评一下

这个 Gist: GuardedDevirtualization.md
是讲 CLR call.virt IL 指令 JIT 分派优化的貌似

因为他这个弄得像 Star 一样，而我是不喜欢对技术这样的态度的（虽然这个文档也的确就是比较早期的一个设计手稿，当然他们也做了执行效率分析什么的），虽然他也是微软的工程师没错，但这个他不写文翻译详细讲就发张图实在是太泛泛了，而且有点标题党的意思。

UPDATE: 弄错了，他标的是 Intel 的编译器工程师

duangsuse 高性能计算现在是比较菜的，不过，loop unrolling、SIMD、Vectorize 矢量化，部分 CPU 做的优化还是知道的，他发或者推荐的东西的确是大部分比较 trivial 的，很多如果看一下认为不干就不看即可，这里也欢迎大佬们来推荐几个编译优化的大佬关注。

#tools #web #oi #recommended

#Ruby https://t.me/dsuset/4528

pry -r convert_data.rb -e 'File.write('res.csv', dump_students.string)' 即可导出所有条目

更新

每次弄这些都很费时间和精力，大概是做少了....

#Learn #TeX
a_{1} \quad x^2 \quad e^{- \alpha t} \quad b^{3}_{ij} \quad e^{2}\neq {e^x}^2
从这抄过来的

复制过来是 a1x2e−αtb3ije2≠ex2

我们从这里能看到 TeX 命令

_i 定义一个下标 i
\quad 是空白方块字符
^n 定义一个上标
\alpha 是希腊字母 alpha
\neq 是不等号
{} 括起来来结合指令如 {e^x}^2

又更新了一下这个无聊的脚本...

所以说啊，超菜的... #tech 😶

工程月，这次各种笔记已经足够了。现在可以开始选择工程了...

之前还想弄点感想之类的，现在看没必要了，大部分都说了。

dJSON/dIO，duangsuse 手写的 Java JSON 和 IO 库，计划（

#Haha 工作之余不忘娱乐（破真）https://t.me/dsuset/4267

这是 ODS 表格数据，有意思的是因为 dump 算法的特殊嵌套结构，OIer awards 数组的每一项都会增加一个只有 award 不同而其他完全相同的项目，方便了数据查询排序，很好玩。