V2EX › tan90ds 的所有回复 › 第 5 页 / 共 6 页

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

现在注册

已注册用户请登录

1 2 3 4 5 6

❮

❯

2014 年 12 月 28 日

回复了 cjjia 创建的主题 › 随想 › 突然觉得人类(身体)太低级了。

冗余设计会消耗大量能量，对大型动物是非常奢侈的，人类不愁吃穿才多少年？再生功能由于涉及到细胞分裂和分化，实际上和癌症有紧密关系，这也是癌症多发于上皮组织的原因。人类这种长寿生物可不像蚯蚓那样，没等到得癌就寿终正寝了，拥有强再生功能的代价是高得多的癌症风险。至于高度发达的感官，我只能说，智力越高越不依赖那个。不要以为自己比大自然是更好的工程师 :)

2014 年 12 月 24 日

回复了 O21 创建的主题 › 配件 › 小秀一下我的键盘 IBM 屈蹲式机械键盘一代经典

我有一把88年产的1391401，是灰标。不过因为没有 Win 键被收起来吃灰了，平铺式窗口管理器如果把 alt 设成 mod 键，简直没法用。

2014 年 12 月 11 日

回复了 icedx 创建的主题 › 问与答 › 有什么国内外的业界漫画推荐么?

http://abstrusegoose.com/ 和xkcd差不多，也是有些年头了。

2014 年 12 月 4 日

回复了 CupTools 创建的主题 › 分享发现 › 有人用过 SoftEther 么

我在Linode上搭过一个，大概是我能找到的搭建 L2TP/IPSec 最方便快捷的一个，使用比较稳定，管理功能也挺全。
不过后来换搭建更简单的 pptpd 和 shadowsocks 了。

2014 年 10 月 20 日

回复了 tan90ds 创建的主题 › 问与答 › 请问这里有熟悉 Hindlery-Milner 类型系统的么？

@keyanzhang 学校是很普通的美本。这节是入门级的讲程序语言的课程，从有限自动机讲起，然后讲正则表达式、形式语言、函数式编程用 OCaml 讲了两周，现在在研究 HM 类型系统，以后会用 OCaml 写它自己的 parser。

2014 年 10 月 20 日

回复了 tan90ds 创建的主题 › 问与答 › 请问这里有熟悉 Hindlery-Milner 类型系统的么？

@ffffwh type scheme 是用在polymorphic 类型系统里的，大概是：
\forall alpha_1 alpha_2 ... alpha_n.tau 这样
这个东西是用来在类型推导时给 alpha type 确定一个具体的类型的，比如用OCaml写：
(fun x -> x) (1, true)，相当于 Haskell 的 \x->x，类型是 'a -> 'a。
在推导的时候，'a 会被分别确定为 Int 和 Bool，这就叫实例化（可能正式的中文名不是这个）

2014 年 10 月 20 日

回复了 tan90ds 创建的主题 › 问与答 › 请问这里有熟悉 Hindlery-Milner 类型系统的么？

@ffffwh 他的那篇文我看到了。我只是初学，总不能门都还没摸到就想着踢 HM 的馆子……
我只是奇怪为啥都搜不到什么正经的对 HM 的描述，学的时候是用英文学的，教授没给教材，中文的术语也不知道是哪个……一头雾水

2014 年 10 月 18 日

回复了 standme 创建的主题 › macOS › 10.9 的系统直接 CMD+R 可以抹掉安装 10.10 吗

我是用 AppStore 里下载的 Yosemite 制作安装U盘然后抹盘安装的，网络恢复好像只能恢复你安装过的最新的版本。

2014 年 10 月 18 日

回复了 Bakemono 创建的主题 › 天黑以后 › 20141018 午夜俱樂部

看UBW没有以前看FZ的快感了orz

2014 年 10 月 10 日

回复了 tianmingrui 创建的主题 › 问与答 › 我浏览某个网页的时候网站能通过浏览器看到我那些信息？

一楼给的网站和BrowserLeaks里能检测的信息看起来没什么特别的，但是可以综合起来算出一个指纹一样的东西用来追踪你，改IP改UA照样能认出你。