/tmp/duangsuse.sock
23 subscribers
303 photos
3 videos
92 files
337 links
从 duangsuse::Echo (@dsuse) 跟进出来的分支,将在作者恢复原帐号访问的时候合并删除。
Download Telegram
Forwarded from Science Yuan
你应该无视大佬对你开喷
Forwarded from Science Yuan
因为菜是原罪
Forwarded from Deleted Account
没错,即便失去社会性,我也得变成精英
因为只有话语权最重要

我不需要感性,只需要纳粹式机器人格,智商和知识就是工具
可惜我不是,所以,算了吧
Forwarded from Mr. Bug | Wild Pointer
一个人说你有问题,那可能是他有问题,好几拨人说你有问题,那你是不是要考虑自己的问题?
Forwarded from Mr. Bug | Wild Pointer
错的不是我,是这个世界?
Forwarded from Deleted Account
我这不是考虑着呢?
Forwarded from Mr. Bug | Wild Pointer
那你慢慢考虑
Forwarded from Mr. Bug | Wild Pointer
咱先睡觉去了
Forwarded from Deleted Account
你们能不能想想,如果你们是我,被一个人屏蔽了,现在又一个人要因为我退群,你们怎么办?
Forwarded from Deleted Account
不帮忙 deal with,又怎么有立场为我找茬?
Forwarded from Deleted Account
我不知道自己有没有错,但我的感觉很糟糕,谁会顾忌到我的感受?
原来带提示的开玩笑也是有限度的啊。
Forwarded from Mr. Bug | Wild Pointer
说句实话以你发表的言论来看,我没觉得你需要帮助
Forwarded from Mr. Bug | Wild Pointer
我觉得你对这些问题很有自己的想法
Forwarded from Mr. Bug | Wild Pointer
所以没人干预你的想法
Forwarded from Deleted Account
那是过程式
才有 assign,赋值的概念

type checking 里 assign 则是 指派 的意思
Forwarded from Deleted Account
lisp-1和lisp-2只是一个遗留的历史概念,何必追究呢,
Forwarded from Deleted Account
不如去研究一下 Haskell 的 Hindley-Milner 多态类型系统?

HM 的 type inference 是纯 unification 的
Forwarded from Science Yuan
没入门
告辞
Forwarded from Deleted Account
那为什么不去研究下system F。。。
Forwarded from Deleted Account
没入门
Forwarded from Deleted Account
既然简单,我就不会叫 System F 这种晦涩的名字