我觉得 drakeet 不应心安理得，或是摆出心安理得的样子。这是素质和态度上的问题。

唉，世界上是什么人都有的，对他看来自然是有他的理由^1（而且说什么都没有用的），这事情早过去了。

只是当年在酷安那么多觉得能在一起很开心的人，现在看来都未必是真正了解呢。

（虽然所谓当年不过也就是两三年前而已...）

—
^1 猫箱问题的另一种思考：为什么猫又死又活呢？

因为揭晓答案之前，没人知道猫是死是活，所以就是说，我们无法验证。
所以说猫是死是活都可以。猫就这样成了『融合态』，你怎么断言它的状态都没有问题，因为现在和你一样，验证者们也不能知道猫是处于什么状态。

好比 Nothing 类型, 既然都是没有实例了，那当然它可以是任何类型的子类型，因为接受这种类型的函数，根本不可能被调用。


有时候也在想，是观察指导理论还是理论指导观察？

`But I don’t want to go among mad people,’ Alice remarked.
Oh, you can’t help that,’ said the Cat: we’re all mad here. I’m mad. You’re mad.’
`How do you know I’m mad?’ said Alice. You must be,’ said the Cat, or you wouldn’t have come here.’
Alice didn’t think that proved it at all; however, she went on `And how do you know that you’re mad?’
– Alice's Adventures in Wonderland

我说我看到的书上没有我不会的知识点... 是指真的没有呢，还是我看到的内容，全是我会的呢？

这里有个问题：『我看到的』集合不一定等于『书上有的』集合，但前者是后者的子集...
果然还是不理解这类问题啊 🤔

「我的程式，如果你能破解，我就給你永久免費的純純寫作！」

duangsuse 成功破解了。

「duangsuse 都在耍賤招啦！人家才 17 歲怎麼有能力呢，而且成天搞些無用玩意，我們一起排擠他。」

的确是这个意思啦... 弄的现在他都还在研究反破解呢... 🙈
我真的不是什么耗子老鼠，以恶意侵犯为乐趣

而且我真的不知道为啥要打年龄炮... 我一直以来都从没有刻意以『提升姿态』为目的在交流时提到自己的年龄，不知道为什么要说我是小孩子....

无用是真的，我现在在想办法转型；另一方面是，想必不看书的我也只能待在瓶颈里了，还不如多实践一下攒经验

他曾經是不太在乎破解的人，但也不知道因為什麼事情，他把破解人當作死敵看待。

而打年齡砲，我猜想是因為他認為「我為什麼會輸給一個比他年幼的人」，所以決定狂打年齡砲，顯得自己的理論沒因為他而崩潰。

我很希望原來的 drakeet 只是被綁架，現在的 drakeet 是假的。

只希望原來的 drakeet 趕快回來。

唉，可惜你也是被他屏蔽的人了（呲牙）

#life 欸，果然又是这样。因为之前积累的稿子太多了，所以很难事先把他们整理出来

#Haskell #Python 强烈推荐！IPython (Jupyter notebook) 的 Haskell Kernel
https://github.com/gibiansky/IHaskell

https://nbviewer.jupyter.org/github/gibiansky/IHaskell/blob/master/notebooks/IHaskell.ipynb

之前还没有看过这么有用的 Haskell，能写 raw html、能画图、能列 Pie 数据表、能写 HTML4。真的是艺术，虽然 Haskell 没有站在鄙视链顶端，但绝大多数 Haskeller 对于编程都是上层的人呢。

现在很多前端提到 HTML 都不会加上自己所说的准确 HTML 版本，但是 Haskeller 做到了

#PLT 啊，说起来，LLVM 真是 dalao 啊，这是... OCaml ？？这就是 OCaML 代码？开始有点像 Haskell 有点像 Racket

被 dalao C++ 虐菜了，哭哭 😭
『你以为你是谁啊』
最后还不是连 C++ 的 iostream 都没有学到，果然还是写 C 舒服一点...

C++ 的什么 constructor... deleted dynamic memory management 、shared_ptr, unique_ptr, move 好魔法的说
为了编译期自动检查和解决掉内存分配问题，好麻烦啊，还不如我一个一个去分配算了...

到了 C++14 那里，据说写一行代码可能要消耗我 15% 的电，逼得我连动漫都没有心情看，全天候绝人之路啊...

C++ 娘是灭绝性的难推倒，高傲到不行。和老牌语言们一样.... 还是滚回 Java / Haskell 好了
Rust 加上宏和编译器插件都没有 C++ 乱来啊！

所谓抄嘛。看来会写 C++ 的人是最恐怖的... 那么多语言特性需要模拟多少次才能得到协调的结果啊.... 😭
尤其是内存管理是最恐怖的... 还是用 GC 或者 malloc free 算了

目前正在做的事情，真的是无聊透顶了，想找点乐子石更广一下....

啊啊啊，看起来是没有时间了呢，立刻 GreasyFork 快速 Hack.... 这个 UserScript 就叫做 CoolApk Feed Viewer

目前这个 userscript 正在开发中...

https://github.com/duangsuse-valid-projects/CoolApkFeedPreview

呃我考虑了一下这个玩意怎么渲染好看呢...

显示的首要是：

首先吐槽一下，为什么酷安不把 Feed 的子类型分清楚，浪费好大啊，就连 Question 和 Article 这种基本完全无关的东西都直接混进来...

entityId, title, info, shareUrl, share_num ID, 展示挂件类型
uid, userAvatar, userInfo, userLikeList
message, message_brief, message_cover, message_keywords 正文，此外还有 message_signature, message_length
device_title, device_name 设备名
fromname, fromid 发布客户端名称
dateline, lastupdate 发布时间更新时间
likenum, burynum, rank_score 点赞点踩

recent_like_list
recent_hot_reply_ids 估计是 hotReplyRows 的 IDs 吧
recent_reply_ids
commentnum, replynum, comment_block_num, hotReplyRows 评论相关

is_headline / is_anonymous / is_hidden / is_html_article / is_white_feed / issummary / istag 标记

pic / picArr 『带图消息』功能

tag_count, tags

布局这样：

— Feed

[title](abbr: info + entityId + length)(href: shareUrl) [share_num]{!=0} [signature] [isXXX]
[userInfo]
<img>[message_cover]</img>
Keywords: [message_keywords]
[tags] a
<quote>[message_brief]</quote>
[message]
[picArr]
[dateline] [lastupdate]
[device_title] (abbr: device_name) [device_rom] [fromname](abbr: fromid)

[likenum] / [burynum] / [rank_score]
[recent_like_list]
[userLikeList]

[recent_hot_reply_ids] [commentnum](abbr: replynum, comment_block_num)
[hotReplyRows]

~> [recent_reply_ids]

— User
| [displayUsername]{username != displayUsername} '('[username]')' (href: url) (abbr: level + groupid + uid + status) [admintype]
[userAvatar] (src: userAvatar, href: userBigAvatar) | []
| [logintime] [regdate]

还有一个 [at_count] 和 [block_status], favnum

过几天的时间问题了