这里借着新年的机会分享之前我写的一封电子邮件（ #dev #archive #PL #CS

发件人： "[email protected]" <[email protected]>
收件人： [email protected]
日期： 2018/1/18 下午2:07

主题：对不起， 冰封哥
正文：

千里冰封:

昨天发生的事情我很抱歉,
我最后发的话肯定你看来也很智障 而且很想喷
当然我现在想起来也很想喷的 不过我并没有说完

我还没有说完话我妈就把我手机夺了 电脑又炸了不能用

写这封邮件是为了把昨天没说完的话说完，顺便吐槽一下自己... 还有决定暂时对那几个 PL 群采取闷声发大财的策略

自从认识你来恐怕撕过不少b，是吧？ 老实说你是我自找的，撕逼最多的人。

昨天你说的话我也非常理解，作为一个正年轻的长者看到有人那么幼稚 自己啥人生经验都没有 又是个刚入门的菜鸡 然后还在秀智商 拿一些简单的姿势去掩饰自己的无知

就是我肯定也会批判的。不过我昨天丝毫没有意识到自己的幼稚

抱歉。

不过，我要解释几件事情 顺便抱怨一下身边的环境
首先是你喷我经常发那几本儿童书的事

我自己都没有发现 我居然那么多次拍了那些书...
不过我要解释, 我并不以他们为荣，也不以看这些儿童书为耻。
有句话说即使是拿破仑，也曾经是啼哭的婴儿
当然我觉得这封邮件写太严肃了不好，所以我要再加一句“即使是王♂，曾经也是幼稚的弱子。”

冰冰回忆一下，两年前自己就没看过"儿童书"吗？
当然我也可以嘲笑两年前的自己连 Linux 都经常拼错了

我看这些书也不是为了显得自己很厉害
我只是喜欢分享日常生活中在做的事情罢了

至于之前那个看起来无厘头的 PHP... 是因为我突然想到之前一个好笑的事情 --- 如果 PHP 是拍黄片的话 讲 PHP 解释器的书 又是什么呢？ 但是，我后来再看 这大概就是幼稚吧

首先我是不会班门弄斧的
如果我不知道你的水平，不是看到现在的你做了之前许多我可望不可及的事情，我会专门跑到 上和你谈笑风生？ 我大概可以一直留在 Telegram 上，反正我又不是没有事做。

如果我没有追求，我为什么不直接告诉老师我很厉害 告诉同学我能干什么干什么 他们都是那种连儿童书都看不懂的小白，根本没有能力去证明我没有水平。

如果我认为一生能写出某些简单的程序就足够了 我为什么要不断入坑 从纯应用到操作系统和内核，到鬼畜，到 3D，画画做图标，MMD，安全和逆向，到现在的程序设计，到学习 CS，我完全可以看几本运维的书，钻研透运维就行了，以后也不会有什么麻烦。

...

然后是拿自己习惯的IM装B的事

我一直习惯用 Telegram, 这是历史问题了。
国内怎么样我都能兼容，但是，我相信和 Telegram 比没人觉得 更良心。 这只是一种选择而已。 至于我拿 IM 看人也有自己的想法，或许也算是一种偏见吧，不过和我到底有多没水平都无关。哪里都有大佬。

没有更多解释的了。

然后是拿一些简单的知识掩盖自己的无知的事

我学习很多知识都是很急的
我刚能理解一点 Bash, 就在一个同学父亲的一个建议下写了一个小游戏，那时我只能熟练使用 Scratch.

我开始刚能看一点代码就去尝试理解一个 Unity 游戏的 C# 反编译获得的代码，后来我用 dnSpy 做了一个补丁。

我开始学浅浅的会一点 Android 开发，就去做了 MinBase64 这个垃圾应用，虽然交互设计现在仍让我自豪 背后的代码我真的不想说什么. 而且我还为了一个好看的 badge 去上了 Travis CI 和 Flow.ci 两个服务，这个应用上架了酷安，现在依然在。我认为那是黑历史。

从来是还没怎么学会，甚至入门都没有。
一直是先开始学，学一点知识就用
然后找 dalao，结果这次找到 dalao 后被吊打
...

最后我要抱怨, 而且我也没有什么时间了。

人人生而平等， 只是有些人更加平等。

有些人生活在四川的省会成都，有些人出生在三线小城湖北襄阳。

有些人成绩不错，考入成都外国语学校，学校里有OI大佬和神奇的社团，每天晚上能碰半个小时电脑

有些人初中被母爱转进了一所不适合自己的学校，住校三年，成功完成了学酥到学废的转型，最后成功擦线考入本地辣鸡学校八中，然后仗着父亲是三十六中老师的优势被母上转到三十六中享受全市最少放假。

有些人的父母至少能接受儿子搞乱七八糟的东西
有些人的父亲认为那是瞎折腾，受到极大阻力并且不知如何进步

有些人一接触信息技术就是编程，C艹，然后买书学习，进步飞快，有些人接触就是计算机应用，想继续时找不到书，只能自己摸索了两三年

有些人的电脑手机数不过来，有些人电脑是母上弃用的，手机是换代的过时手机。

不过我当然不会留给你批判这些，所以我要自己批评一下怂包 duangsuse:
首先我要再抱怨一下:
显然好像都是可以人为弥补的，不过当你都不知道还有这种操作，当你见到的人都看起来和自己一样的时候，你能想到去 "弥补" 这些东西吗？

我个废物

（a bit unfinished version 2:00 上学了)

昨天晚上我 9:00 就睡了，但是，我一直想着你说的话，足足想了一个半小时！ 今天上午我又想了半天，书我一页都看不下去...

感谢你尖锐而深刻的批评使我认识到之前一直意识不到的幼稚。

永远爱你 (*´ω｀*)
辣鸡蒟蒻幼稚 duangsuse
此处应有Unix时间 我没时间看了

发自我妈的蛤为手机
我电脑又坏了

今天已经快到这封信后的一年了，duangsuse 有什么变化呢？其实 duangsuse 自己不知道自己有什么变化（
一年过去，duangsuse 大概是有很大变化，但居然自己都学到了什么都不知道（跑）

duangsuse 也再不把什么学院派、工程派给区分开来了，duangsuse 现在也开始用越来越客观的视角去看待一些事情。

duangsuse 觉得一切都不特殊，一切都好像没有什么特别的区分，只是知道不知道、熟悉不熟悉的问题而已

duangsuse 虽然愿意发自己的书单，但也不会刻意去给一些不关心的人推荐自己所喜欢的东西了

duangsuse 开始不只只考虑技术，新的一年里 duangsuse 也开始学习打篮球、学习画画、学习乐器演奏了
duangsuse 开始尝试使自己开朗起来，并且 duangsuse 发现，这使自己更加快乐

新的一年里，duangsuse 要一个人加油走下去了，感谢曾经已经消逝而可能毕生不会再见的那些人。
不管是生命中最亲的亲人，小时候动苏的老师们所谓绝对不会害 duangsuse 的人，
还是曾经小时候一起玩的朋友们。

一些经历，虽然好像都是微不足道的，可是，这些经历积微成著，最终构成了 duangsuse 所认为的没有太大缺憾过去。

      再见昨天
    无论走了有多远
     毕业的那一天
     是思念的起点
     和昨天说再见
    挥一挥手说再见
     谢谢你的出现
 是似水流年最美最好的遇见

未来会怎么样呢？小时候会觉得自己就想停留在童年不要长大
可现实是不会因为这点自私的想法发生改变的
现在呢？duangsuse 会享受当下，做好准备迎接自己必须到来的未来。

duangsuse, Jan 01, 2019

上一个置顶 👆

？？？质数（Prime Numbers）的定义不是 #Math

『一个大于 1 的自然数除了 1（基本单元）和它自身外没有数可以把它整除』？

自然数（Nature Numbers，ℕ）集是不包括负数的啊？你看看整除除法的定义也知道啊？

（e.g. 37 作为被除数，任何小于 37 且大于 1 的数作为除数时不存在是整除（不加入小数，并且没有余数）的情况）？

难不成您是要造 Imaginary（虚数）？来让 x² = -1 这种偶（Even）次方（Power, aka Exponentiation）为（Negative）负数的公式在实数集 ℝ 中有解？一个不存在的解？

好智障啊... 这是基本数论都不了解的，还是先来学学计算机科学再吧...

你神经病啊

有种你就先学学形式化证明，看懂那『即得易见平凡』的 Agda 代码再来用自然语言描述你的逻辑/关系证明。

好好看看吧... 其实这就是所谓的数学之美，画成图真的是很形象的

只有能看透 10、99、2.3 这种字面上的表示形式，才有可能领悟到数学的美感，只知道 1 + 1 = 2, 1 + 2 = 3... 之类东西的数学是实用的，但不是美的

在被『教』到非 10 为基数的计数法之前，自己领悟计数原理并且融会贯通才是最好的数学

谁说数字只能是 1, 2, 3... 这种呢？Lambda calculus 这种定义完全没有提到数学的都可以用来表示自然数（丘奇数，Church encoding）
无类型的 Lambda calculus，单单只存在高阶函数的组合，就定义出了整数、布尔值、有序对、列表和 tagged union 这些东西，一切皆函数，自底向上的组合出了很多人不认为『数学』函数可以构造表述的东西

数字更像是一个接口，像 Duck Typing（弱类型）一样，我们只需要关心它上面可以进行怎样的操作（取前驱元 pred、取后继元 succ、自然数加减法、mul 乘法和 exponent 乘方、与 0 相比较），而无需考虑它『是』什么（这些 The Little Schemer 这本书上也有涉及，其实你不需要关心它到底是什么，书上的『数字』 primitive 操作就只包含 add1、sub1、zero?，所谓乘除法都是自己定义的，而可能一些人就无法理解只能做这点操作该怎么写乘法除法字符串转换输出函数了，其实是可以写的，要不然要计算机科学做什么，全都去写 JavaScript、AntDesign 吗？算法和硬件层的东西也是要有人做的）

; primitive add1、sub1、zero？
; (define zero 0)
; (zero? (add1 zero)) ; => #f
; (zero? (sub1 (add1 zero))) ; => #t
; (zero? (add1 (sub1 (add1 zero)))) ; => #f
; (zero? (add1 (sub1 (sub1 (add1 zero))))) ; => #f

(define ＋
  (lambda (m n)
    (cond
      ((zero? n) m)
      (else (add1 (＋ m (sub1 n)))))))

(define －
  (lambda (m n)
    (cond
      ((zero? n) m)
      (else (sub1 (－ m (sub1 n)))))))

(define ＊
  (lambda (m n)
    (cond
      ((zero? n) 0)
      (else (＋ m (＊ m (sub1 n)))))))

(define ＜
  (lambda (m n)
    (cond
      ((zero? m) #t)
      ((zero? n) #f)
      (else (＜ (sub1 m) (sub1 n))))))

(define ➗
  (lambda (n m)
    (cond  
      ((＜ n m) 1)
      (else (add1 (➗  (－ n m) m))))))

（基本都是从书上抄的，因为我懒得专门再拨时间深入学一下... Haskell 版本在写）
这里是完整的英文版本『丘奇编码方式』，使用形式化 Lambda 演算定义了很多常用的抽象数据结构

（Chez Scheme 的秘制 Rational Number 几次把我电脑卡死... 只好限制 VA 虚拟地址空间大小

考虑到时间安排问题只好暂时不弄这种长时间的东西了（下次我会在 Echo 上讲。我的递归编程和分析能力真的是太垃圾了，系统管理熟悉度也不行啊...

#CTF #security #Haha #sysadmin #emmm #PL 🐱 ，里面绝对没有其他东西，作为文件发是想避开 Telegram 那个过分的压缩（ 好吧，其实是简单的游戏，里面有什么呢？

很惭愧，没有什么知识所以很垃圾，不过里面的确就是字面上的 photo 喽（跑 #life 🤔

#dev #tech #Haha #life #yearPassed

#vocaloid #acg #bilibili

该民科已自闭

#Math #China #Low #ZhiHU https://www.zhihu.com/question/20350130

原来是随便几个 XX 厂的民科就可以用基本数论解决的问题，笑
但要证明此猜想更容易，还是要证明别人的证明成立更容易呢？