V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
V2EX  ›  tan90ds  ›  全部回复第 5 页 / 共 6 页
回复总数  102
1  2  3  4  5  6  
2014-12-28 12:18:40 +08:00
回复了 cjjia 创建的主题 随想 突然觉得人类(身体)太低级了。
冗余设计会消耗大量能量,对大型动物是非常奢侈的,人类不愁吃穿才多少年?再生功能由于涉及到细胞分裂和分化,实际上和癌症有紧密关系,这也是癌症多发于上皮组织的原因。人类这种长寿生物可不像蚯蚓那样,没等到得癌就寿终正寝了,拥有强再生功能的代价是高得多的癌症风险。至于高度发达的感官,我只能说,智力越高越不依赖那个。不要以为自己比大自然是更好的工程师 :)
2014-12-24 23:32:30 +08:00
回复了 O21 创建的主题 配件 小秀一下 我的键盘 IBM 屈蹲式机械键盘 一代经典
我有一把88年产的1391401,是灰标。不过因为没有 Win 键被收起来吃灰了,平铺式窗口管理器如果把 alt 设成 mod 键,简直没法用。
2014-12-11 06:53:48 +08:00
回复了 icedx 创建的主题 问与答 有什么国内外的业界漫画推荐么?
http://abstrusegoose.com/ 和xkcd差不多,也是有些年头了。
2014-12-04 13:46:08 +08:00
回复了 CupTools 创建的主题 分享发现 有人用过 SoftEther 么
我在Linode上搭过一个,大概是我能找到的搭建 L2TP/IPSec 最方便快捷的一个,使用比较稳定,管理功能也挺全。
不过后来换搭建更简单的 pptpd 和 shadowsocks 了。
2014-10-20 05:58:18 +08:00
回复了 tan90ds 创建的主题 问与答 请问这里有熟悉 Hindlery-Milner 类型系统的么?
@keyanzhang 学校是很普通的美本。这节是入门级的讲程序语言的课程,从有限自动机讲起,然后讲正则表达式、形式语言、函数式编程用 OCaml 讲了两周,现在在研究 HM 类型系统,以后会用 OCaml 写它自己的 parser。
2014-10-20 05:02:34 +08:00
回复了 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 04:30:14 +08:00
回复了 tan90ds 创建的主题 问与答 请问这里有熟悉 Hindlery-Milner 类型系统的么?
@ffffwh 他的那篇文我看到了。我只是初学,总不能门都还没摸到就想着踢 HM 的馆子……
我只是奇怪为啥都搜不到什么正经的对 HM 的描述,学的时候是用英文学的,教授没给教材,中文的术语也不知道是哪个……一头雾水
2014-10-18 10:01:05 +08:00
回复了 standme 创建的主题 macOS 10.9 的系统直接 CMD+R 可以抹掉安装 10.10 吗
我是用 AppStore 里下载的 Yosemite 制作安装U盘然后抹盘安装的,网络恢复好像只能恢复你安装过的最新的版本。
2014-10-18 00:19:06 +08:00
回复了 Bakemono 创建的主题 天黑以后 20141018 午夜俱樂部
看UBW没有以前看FZ的快感了orz
一楼给的网站和BrowserLeaks里能检测的信息看起来没什么特别的,但是可以综合起来算出一个指纹一样的东西用来追踪你,改IP改UA照样能认出你。
也可以参考这个网站提供的信息 https://www.browserleaks.com/
SBCL是编译器,怎么能拿来和连JIT都没有的 python/ruby 比较,racket倒是有JIT。
2014-10-02 01:47:27 +08:00
回复了 raickey 创建的主题 天黑以后 20141002 午夜俱乐部
2014-10-02 01:41:23 +08:00
回复了 raickey 创建的主题 天黑以后 20141002 午夜俱乐部
@sandtears 能提供下下载在哪里找到的么= =,找遍MS网站也没看到。另外提督你好,V2EX上提督不多啊。
2014-09-24 13:30:05 +08:00
回复了 xiluo 创建的主题 深圳 据说 ThinkPad 键盘越来越不行了,想去体验一下
用过 T23、T61,现在主力是T410s,也拥有一台MBA。前几天把玩了一下 new X1C,感觉远远不如老TP键盘,手感已经快堕落到和水果一个水平了,不过仍然能吊打大部分其它厂商的巧克力键盘就是了。
2014-09-16 01:44:47 +08:00
回复了 Livid 创建的主题 Minecraft 翻译:我将会离开 Mojang
@Kai 实际上是IBM Model M
2014-04-10 05:07:37 +08:00
回复了 qian 创建的主题 Firefox Firefox 启动太慢了... 有没有"系统性的"提速方法?... 谢谢
以前曾经用UPX压缩过Chromium/Firefox的主程序,如果你硬盘很慢的话提速比较明显。
至于Profile太大插件太多导致启动慢嘛= =,还是升级电脑吧,ramdisk挺麻烦的。
1  2  3  4  5  6  
关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   我们的愿景   ·   实用小工具   ·   5390 人在线   最高记录 6543   ·     Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 31ms · UTC 03:51 · PVG 11:51 · LAX 20:51 · JFK 23:51
Developed with CodeLauncher
♥ Do have faith in what you're doing.