Redian新闻
>
王垠终于开始搞垠语言了
avatar
B*o
2
我人在加, 有美国F和H1B经历。最近找了个烂博后的工作,小蜜说先给你J1 ,等你
干好了再转H1B。
这靠谱吗?
XDJM 给说说J1的坏处, 对了我的EB2以批了, 再等排期
avatar
t*l
3
andriod tethering app哪个好?最好是free的
avatar
x*u
4
还是不忘show对于体系结构的无知。
说今天的硬件设计和OS妨碍他发挥了,程序要离开OS直接跑在硬件上。
http://www.yinwang.org/blog-cn/2014/05/08/yin-lang/
“也就是说,Yin 语言最终将独立于任何操作系统,完全独立地运行于硬件之上。很多
人都没有意识到 Unix 等操作系统,其实不但给程序员带来了过度的复杂性,而且由于
它们的实现并不能支持现代程序语言,所以其实不能最大化的发挥硬件的效能。”
avatar
i*t
5
你的排期如果到了
但是J1 waiver没有下来
你就没有办法file 485了

【在 B********o 的大作中提到】
: 我人在加, 有美国F和H1B经历。最近找了个烂博后的工作,小蜜说先给你J1 ,等你
: 干好了再转H1B。
: 这靠谱吗?
: XDJM 给说说J1的坏处, 对了我的EB2以批了, 再等排期

avatar
w*a
6
PDANet有免费的Android版,免费版不支持https,其他应该没问题。好像还见过另外一
个程序,也有类似的免费版本,一下想不起来名字了。
avatar
d*a
7
看到这一段,我忍不住想,难道这伙计上学的时候,体系结构不是必修课?
"在操作系统底层的实现方面我有一定欠缺,特别是各种硬件体系构架,我觉得设计得
过度繁琐。然而由于大量已有硬件的存在和设计他们的巨额开销,我暂时不考虑设计自
己的硬件。其中很大部分原因是因为这些体系构架,现在都是针对基于 C 和 Unix,从
而必须从硬件上弥补它们的设计局限(比如需要带有 paging 和 virtual address 功
能的 MMU)。我希望有设计实现操作系统经验的人加入,这样我从语言层次提供设计原
则,熟悉操作系统实现的人提供他们对硬件的各种经验。这样最后我们能够在理论和经
验当中达到一个平衡点。当然我也欢迎有设计处理器经验的人加入,这样也许在将来我
们能够设计出直接运行 Yin 语言的处理器,完全摆脱对于硬件设计的依赖。"
avatar
B*o
8
thanks

【在 i******t 的大作中提到】
: 你的排期如果到了
: 但是J1 waiver没有下来
: 你就没有办法file 485了

avatar
M*n
9
wireless tether
market里面有,需要root
avatar
x*u
10
本科不是CS的,而且读博这么多年都没有补课。。。

【在 d***a 的大作中提到】
: 看到这一段,我忍不住想,难道这伙计上学的时候,体系结构不是必修课?
: "在操作系统底层的实现方面我有一定欠缺,特别是各种硬件体系构架,我觉得设计得
: 过度繁琐。然而由于大量已有硬件的存在和设计他们的巨额开销,我暂时不考虑设计自
: 己的硬件。其中很大部分原因是因为这些体系构架,现在都是针对基于 C 和 Unix,从
: 而必须从硬件上弥补它们的设计局限(比如需要带有 paging 和 virtual address 功
: 能的 MMU)。我希望有设计实现操作系统经验的人加入,这样我从语言层次提供设计原
: 则,熟悉操作系统实现的人提供他们对硬件的各种经验。这样最后我们能够在理论和经
: 验当中达到一个平衡点。当然我也欢迎有设计处理器经验的人加入,这样也许在将来我
: 们能够设计出直接运行 Yin 语言的处理器,完全摆脱对于硬件设计的依赖。"

avatar
c*3
11
EB2 已批准,以此为理由要求直接 H1B。
avatar
M*a
12
no match found?确定名称是wireless tether吗?

【在 M*******n 的大作中提到】
: wireless tether
: market里面有,需要root

avatar
w*g
13
没有操作系统其实没事。一个virtual machine跑一个程序,其实也没大不了的。

【在 d***a 的大作中提到】
: 看到这一段,我忍不住想,难道这伙计上学的时候,体系结构不是必修课?
: "在操作系统底层的实现方面我有一定欠缺,特别是各种硬件体系构架,我觉得设计得
: 过度繁琐。然而由于大量已有硬件的存在和设计他们的巨额开销,我暂时不考虑设计自
: 己的硬件。其中很大部分原因是因为这些体系构架,现在都是针对基于 C 和 Unix,从
: 而必须从硬件上弥补它们的设计局限(比如需要带有 paging 和 virtual address 功
: 能的 MMU)。我希望有设计实现操作系统经验的人加入,这样我从语言层次提供设计原
: 则,熟悉操作系统实现的人提供他们对硬件的各种经验。这样最后我们能够在理论和经
: 验当中达到一个平衡点。当然我也欢迎有设计处理器经验的人加入,这样也许在将来我
: 们能够设计出直接运行 Yin 语言的处理器,完全摆脱对于硬件设计的依赖。"

avatar
B*o
14
thanks a lot

【在 c***3 的大作中提到】
: EB2 已批准,以此为理由要求直接 H1B。
avatar
b*e
15
就叫这个名字,今天刚root+ wifi tethering了,还是很爽的。
谁推荐一个DroidX好用的GPS软件?自带的navigation觉得不行啊,今天试了一下,地
址都标错,声
音很难听。

【在 M*******a 的大作中提到】
: no match found?确定名称是wireless tether吗?
avatar
x*u
16
没有OS你自己驱动硬件?

【在 w***g 的大作中提到】
: 没有操作系统其实没事。一个virtual machine跑一个程序,其实也没大不了的。
avatar
y*c
17
buddy, 100% insist for H1b !!
avatar
M*n
18
Motonav还不错,离线的,适合dx的大屏幕用
但地址有时候有问题,建议有3G信号的时候还是用古狗的那个,免费

【在 b*****e 的大作中提到】
: 就叫这个名字,今天刚root+ wifi tethering了,还是很爽的。
: 谁推荐一个DroidX好用的GPS软件?自带的navigation觉得不行啊,今天试了一下,地
: 址都标错,声
: 音很难听。

avatar
w*g
19
驱动在库中实现。如果只是做server跑在vmware上,其实没几个驱动要写。
他这个东西不一定能实现他说的这套理想。但是我觉得他设计出来的语言应该不至于太
差。

【在 x****u 的大作中提到】
: 没有OS你自己驱动硬件?
avatar
B*o
20
yeah!

【在 y**c 的大作中提到】
: buddy, 100% insist for H1b !!
avatar
k*e
21
我平时用的waze

【在 b*****e 的大作中提到】
: 就叫这个名字,今天刚root+ wifi tethering了,还是很爽的。
: 谁推荐一个DroidX好用的GPS软件?自带的navigation觉得不行啊,今天试了一下,地
: 址都标错,声
: 音很难听。

avatar
x*u
22
没有OS把VMWare的设备都跑起来需要几百万行代码,一个网络就玩死你了。

【在 w***g 的大作中提到】
: 驱动在库中实现。如果只是做server跑在vmware上,其实没几个驱动要写。
: 他这个东西不一定能实现他说的这套理想。但是我觉得他设计出来的语言应该不至于太
: 差。

avatar
w*g
23
我说的是王垠的程序如果跑在vmware上,一个程序独占一个虚拟机,这么做其实挺好的
。他只要搞定vmware上的基本驱动,这个语言就可以用了。其实现在就有这种一个虚拟
机只部署一个app的趋势,如果能把虚拟机的OS干掉,可以省下来极大的资源。

【在 x****u 的大作中提到】
: 没有OS把VMWare的设备都跑起来需要几百万行代码,一个网络就玩死你了。
avatar
x*u
24
没有几千万行OS代码驱动硬件,这个程序屁也做不了。
王垠这就是爬上电视塔后打算把脚下的东西都拆了。

【在 w***g 的大作中提到】
: 我说的是王垠的程序如果跑在vmware上,一个程序独占一个虚拟机,这么做其实挺好的
: 。他只要搞定vmware上的基本驱动,这个语言就可以用了。其实现在就有这种一个虚拟
: 机只部署一个app的趋势,如果能把虚拟机的OS干掉,可以省下来极大的资源。

avatar
c*e
25
这个东西其实已经发明了,叫进程。如果硬要加上虚拟化,用docker.

【在 w***g 的大作中提到】
: 我说的是王垠的程序如果跑在vmware上,一个程序独占一个虚拟机,这么做其实挺好的
: 。他只要搞定vmware上的基本驱动,这个语言就可以用了。其实现在就有这种一个虚拟
: 机只部署一个app的趋势,如果能把虚拟机的OS干掉,可以省下来极大的资源。

avatar
i*r
26
终于知道这个字念yin了,汗。。。

【在 x****u 的大作中提到】
: 还是不忘show对于体系结构的无知。
: 说今天的硬件设计和OS妨碍他发挥了,程序要离开OS直接跑在硬件上。
: http://www.yinwang.org/blog-cn/2014/05/08/yin-lang/
: “也就是说,Yin 语言最终将独立于任何操作系统,完全独立地运行于硬件之上。很多
: 人都没有意识到 Unix 等操作系统,其实不但给程序员带来了过度的复杂性,而且由于
: 它们的实现并不能支持现代程序语言,所以其实不能最大化的发挥硬件的效能。”

avatar
b*i
27
java不是这样吗?

【在 x****u 的大作中提到】
: 还是不忘show对于体系结构的无知。
: 说今天的硬件设计和OS妨碍他发挥了,程序要离开OS直接跑在硬件上。
: http://www.yinwang.org/blog-cn/2014/05/08/yin-lang/
: “也就是说,Yin 语言最终将独立于任何操作系统,完全独立地运行于硬件之上。很多
: 人都没有意识到 Unix 等操作系统,其实不但给程序员带来了过度的复杂性,而且由于
: 它们的实现并不能支持现代程序语言,所以其实不能最大化的发挥硬件的效能。”

avatar
g*g
28
别逗了,除非是写面向硬件的汇编。你写啥应用不需要一堆附加支持,哪怕是个java应
用也需要个脚本,再实现个console? 接下来需要数据库再自己写driver? 需要网络自
己实现tcp/ip?
做个新语言是没啥,唯一靠谱的选择是依托JVM,除非你是狗狗这个级别的公司。否则
写出的语言没人用。

【在 w***g 的大作中提到】
: 驱动在库中实现。如果只是做server跑在vmware上,其实没几个驱动要写。
: 他这个东西不一定能实现他说的这套理想。但是我觉得他设计出来的语言应该不至于太
: 差。

avatar
s*c
29
我看了半天也没明白yin语言是什么样,
是functional还是imperative?

【在 x****u 的大作中提到】
: 还是不忘show对于体系结构的无知。
: 说今天的硬件设计和OS妨碍他发挥了,程序要离开OS直接跑在硬件上。
: http://www.yinwang.org/blog-cn/2014/05/08/yin-lang/
: “也就是说,Yin 语言最终将独立于任何操作系统,完全独立地运行于硬件之上。很多
: 人都没有意识到 Unix 等操作系统,其实不但给程序员带来了过度的复杂性,而且由于
: 它们的实现并不能支持现代程序语言,所以其实不能最大化的发挥硬件的效能。”

avatar
n*t
30
我x,用Java实现???
然后"独立运行于硬件之上"?硬件呢???

【在 x****u 的大作中提到】
: 还是不忘show对于体系结构的无知。
: 说今天的硬件设计和OS妨碍他发挥了,程序要离开OS直接跑在硬件上。
: http://www.yinwang.org/blog-cn/2014/05/08/yin-lang/
: “也就是说,Yin 语言最终将独立于任何操作系统,完全独立地运行于硬件之上。很多
: 人都没有意识到 Unix 等操作系统,其实不但给程序员带来了过度的复杂性,而且由于
: 它们的实现并不能支持现代程序语言,所以其实不能最大化的发挥硬件的效能。”

avatar
w*g
31
是一个类似lisp的语言。从他的github上拷的test case。看来还是没有跳出前人的窠
臼。不过至少比光说不练强。
-- factorial
(define fact
(fun ([:x Int])
(if (= x 0) 1 (* x (fact (- x 1))))))
(fact 5)
------------- mutural recursive functions -------------
(define even
(fun ([:x Int])
(if (= x 0)
true
(if (= x 1)
false
(not (odd (- x 1)))))))
(define odd
(fun ([:x Int])
(if (= x 0)
false
(if (= x 1)
true
(not (even (- x 1)))))))
(odd 10)
------------ records -----------
(record A
[:x Int 10]
[:y Bool])
-- B inherits A's fields
(record B (A)
[:z Int])
(B :y 20 :z 30)
(define f
(fun ([:x (U Int Float) (+ 1 2)]
[:y Int])
(+ x y)))
(f :y 2)
(define 我是
(fun ([:x Int] [:n Int])
["我是" x n]))
(define 三 3)
(我是 "猪头" 三)

【在 s******c 的大作中提到】
: 我看了半天也没明白yin语言是什么样,
: 是functional还是imperative?

avatar
l*s
32
da niu zkss yin language's selling features?

【在 w***g 的大作中提到】
: 是一个类似lisp的语言。从他的github上拷的test case。看来还是没有跳出前人的窠
: 臼。不过至少比光说不练强。
: -- factorial
: (define fact
: (fun ([:x Int])
: (if (= x 0) 1 (* x (fact (- x 1))))))
: (fact 5)
: ------------- mutural recursive functions -------------
: (define even
: (fun ([:x Int])

avatar
s*o
33
这个是要跑在运行yin OS的yin硬件上?不过有想法总比没有想法好,我倒觉得不用过
分苛责
avatar
d*i
34
vmware等虚拟机也是寄托在Linux内核上面的啊,实际上也是一种OS。再怎么也绕不过
OS的内核和驱动啊,你毕竟终究得和硬件talk啊。王垠就是毫无系统知识在空中楼阁版
般的臆想,这种妄想的东西历史上见得多了,还是不要拿出了贻笑大方了。

【在 w***g 的大作中提到】
: 我说的是王垠的程序如果跑在vmware上,一个程序独占一个虚拟机,这么做其实挺好的
: 。他只要搞定vmware上的基本驱动,这个语言就可以用了。其实现在就有这种一个虚拟
: 机只部署一个app的趋势,如果能把虚拟机的OS干掉,可以省下来极大的资源。

avatar
c*9
35
小农意识,什么时候都想法挂上自己的名字。和他类似的人更不可能和他合作。

【在 x****u 的大作中提到】
: 还是不忘show对于体系结构的无知。
: 说今天的硬件设计和OS妨碍他发挥了,程序要离开OS直接跑在硬件上。
: http://www.yinwang.org/blog-cn/2014/05/08/yin-lang/
: “也就是说,Yin 语言最终将独立于任何操作系统,完全独立地运行于硬件之上。很多
: 人都没有意识到 Unix 等操作系统,其实不但给程序员带来了过度的复杂性,而且由于
: 它们的实现并不能支持现代程序语言,所以其实不能最大化的发挥硬件的效能。”

avatar
r*y
36
嗯, "yin-lang" -- 淫郎, 淫语言... 谐音也不好

【在 c*******9 的大作中提到】
: 小农意识,什么时候都想法挂上自己的名字。和他类似的人更不可能和他合作。
avatar
w*g
37
我不懂那个。觉得lisp式的括号很反人类。

【在 l*********s 的大作中提到】
: da niu zkss yin language's selling features?
avatar
w*g
38
他在语言设计方面还是比较专业的。不知道语言本身有没有什么可取之处。如果语言本
身牛B,运行时可以用虚拟机解决。反正现在跑在虚拟机上的语言多得去了。也不能排
除一个语言以后牛到极致有人出来用硬件实现虚拟机。做project是好事,且看他能做
到什么地步。
不过我一看到那堆括号眼睛就花了,用不了那个语言。

【在 d****i 的大作中提到】
: vmware等虚拟机也是寄托在Linux内核上面的啊,实际上也是一种OS。再怎么也绕不过
: OS的内核和驱动啊,你毕竟终究得和硬件talk啊。王垠就是毫无系统知识在空中楼阁版
: 般的臆想,这种妄想的东西历史上见得多了,还是不要拿出了贻笑大方了。

avatar
a*w
39
硬件虚拟机?大牛,我好好崇拜你哦。

【在 w***g 的大作中提到】
: 他在语言设计方面还是比较专业的。不知道语言本身有没有什么可取之处。如果语言本
: 身牛B,运行时可以用虚拟机解决。反正现在跑在虚拟机上的语言多得去了。也不能排
: 除一个语言以后牛到极致有人出来用硬件实现虚拟机。做project是好事,且看他能做
: 到什么地步。
: 不过我一看到那堆括号眼睛就花了,用不了那个语言。

avatar
W*x
40
需要开发yin处理器来支持...
别转到最后,整了个单片机程序出来,还支持中断,还嵌套...
avatar
w*g
41
远有lisp machine,近有java processor,有什么奇怪的?

【在 a*w 的大作中提到】
: 硬件虚拟机?大牛,我好好崇拜你哦。
avatar
d*i
42
嗯,还是C类语言的大括号,中括号,小括号,再加上分号结尾这种形式美观整洁。

【在 w***g 的大作中提到】
: 我不懂那个。觉得lisp式的括号很反人类。
avatar
a*e
43
Haskell 早几年前就已经跑在 Xen Hypervisor 上面了,也不需要多少新代码。硬件驱
动主要看想支持什么,有些是很简单的。
http://halvm.org/
当然啦,王同学这个一大桶的想法还是很可笑的,就如同所有一大桶的想法一样。

【在 x****u 的大作中提到】
: 没有OS把VMWare的设备都跑起来需要几百万行代码,一个网络就玩死你了。
avatar
d*i
44
Xen和其他类型的VM一样,都是架构在Linux kernel上面的,所以不需要OS的想法是非
常荒唐可笑的。

【在 a*****e 的大作中提到】
: Haskell 早几年前就已经跑在 Xen Hypervisor 上面了,也不需要多少新代码。硬件驱
: 动主要看想支持什么,有些是很简单的。
: http://halvm.org/
: 当然啦,王同学这个一大桶的想法还是很可笑的,就如同所有一大桶的想法一样。

avatar
d*i
45
真正的不需要OS的系统就是某些功能及其简单的8位或者16位嵌入式系统,没有OS,全
部靠简单的中断,然后代码只有几个C文件和assembly,比如MicroChip的PIC MCU。

【在 d****i 的大作中提到】
: Xen和其他类型的VM一样,都是架构在Linux kernel上面的,所以不需要OS的想法是非
: 常荒唐可笑的。

avatar
T*1
46
这家伙就一斗逼,刷眼球啊

【在 x****u 的大作中提到】
: 还是不忘show对于体系结构的无知。
: 说今天的硬件设计和OS妨碍他发挥了,程序要离开OS直接跑在硬件上。
: http://www.yinwang.org/blog-cn/2014/05/08/yin-lang/
: “也就是说,Yin 语言最终将独立于任何操作系统,完全独立地运行于硬件之上。很多
: 人都没有意识到 Unix 等操作系统,其实不但给程序员带来了过度的复杂性,而且由于
: 它们的实现并不能支持现代程序语言,所以其实不能最大化的发挥硬件的效能。”

avatar
g*y
47
嗯,叫Y语言会比较subtle一点。哈哈

【在 c*******9 的大作中提到】
: 小农意识,什么时候都想法挂上自己的名字。和他类似的人更不可能和他合作。
avatar
z*y
48
希望最好另有大牛搞个yang语言
有yin就要有yang,yin/yang和谐的道理连不识汉字的老外都知道啊
avatar
a*e
49
Xen和其他类型的VM一样,对上层程序提供一个硬件的抽象层,它和实际硬件有差别,
但是差别很小。
要让上层程序能够跑起来所需要的硬件环境,只和 Xen 所提供的接口相关,和 Xen 本
身的架构是基于什么 OS 什么 kernel 应该没有关系。

【在 d****i 的大作中提到】
: Xen和其他类型的VM一样,都是架构在Linux kernel上面的,所以不需要OS的想法是非
: 常荒唐可笑的。

avatar
s*V
50
在网上看编译原理的课,不就经常自己搞一个类似的简单的东西么

【在 w***g 的大作中提到】
: 是一个类似lisp的语言。从他的github上拷的test case。看来还是没有跳出前人的窠
: 臼。不过至少比光说不练强。
: -- factorial
: (define fact
: (fun ([:x Int])
: (if (= x 0) 1 (* x (fact (- x 1))))))
: (fact 5)
: ------------- mutural recursive functions -------------
: (define even
: (fun ([:x Int])

avatar
g*y
51
我在蹲坑的时候突然想到,小王会不会是觉得冯诺依曼体系或者图灵机不好使,
想改这个体系结构吧。这要是改成了,那绝对是超级大牛了。
你们要是纠结于网卡之类的硬件驱动,那个层次可能就有点跟不上了哟。哈哈

【在 a*****e 的大作中提到】
: Xen和其他类型的VM一样,对上层程序提供一个硬件的抽象层,它和实际硬件有差别,
: 但是差别很小。
: 要让上层程序能够跑起来所需要的硬件环境,只和 Xen 所提供的接口相关,和 Xen 本
: 身的架构是基于什么 OS 什么 kernel 应该没有关系。

avatar
a*e
52
这是两个问题。我前面只是指出让一个高级语言的 runtime 跳过 OS 层面直接跑在(虚
拟的或者实际的)硬件环境上并非难事。
小王同学想要推翻小冯体系的梦想由来已久,其实我敢说每个学习函数语言的人都曾有
过这样的想法。
不过鉴于他对前人研究成果的不屑一顾,估计不会有任何突破,也就是发个白日梦罢了。
小王在他最为自负的程序语言领域里,充其量也就是个民科吧。

【在 g*****y 的大作中提到】
: 我在蹲坑的时候突然想到,小王会不会是觉得冯诺依曼体系或者图灵机不好使,
: 想改这个体系结构吧。这要是改成了,那绝对是超级大牛了。
: 你们要是纠结于网卡之类的硬件驱动,那个层次可能就有点跟不上了哟。哈哈

avatar
d*i
53
你这个就是偷换概念了,Xen等等VM底层还是Linux kernel或者其他OS kernel,所以所
谓跳过OS来支持上层程序的说法是根本不存在的。

【在 a*****e 的大作中提到】
: Xen和其他类型的VM一样,对上层程序提供一个硬件的抽象层,它和实际硬件有差别,
: 但是差别很小。
: 要让上层程序能够跑起来所需要的硬件环境,只和 Xen 所提供的接口相关,和 Xen 本
: 身的架构是基于什么 OS 什么 kernel 应该没有关系。

avatar
c*l
54
体系结构的确是必修课,但是大学里面的体系结构一来内容过时,二来讲授方式枯燥
再加上大学毕业之后长期不接触这方面的知识,早就忘光了。

【在 d***a 的大作中提到】
: 看到这一段,我忍不住想,难道这伙计上学的时候,体系结构不是必修课?
: "在操作系统底层的实现方面我有一定欠缺,特别是各种硬件体系构架,我觉得设计得
: 过度繁琐。然而由于大量已有硬件的存在和设计他们的巨额开销,我暂时不考虑设计自
: 己的硬件。其中很大部分原因是因为这些体系构架,现在都是针对基于 C 和 Unix,从
: 而必须从硬件上弥补它们的设计局限(比如需要带有 paging 和 virtual address 功
: 能的 MMU)。我希望有设计实现操作系统经验的人加入,这样我从语言层次提供设计原
: 则,熟悉操作系统实现的人提供他们对硬件的各种经验。这样最后我们能够在理论和经
: 验当中达到一个平衡点。当然我也欢迎有设计处理器经验的人加入,这样也许在将来我
: 们能够设计出直接运行 Yin 语言的处理器,完全摆脱对于硬件设计的依赖。"

avatar
d*r
55
这个有意思,哈哈
avatar
a*e
56
我来作个图,假设以下成立:
Windows | Linux | Guest
-------------------------
Xen
-------------------------
Hardware
如果下面两个行得通:
Windows
--------
Hardware

Linux
--------
Hardware
那么是什么阻止了这个?
Guest
--------
Hardware
如果 Guest 利用了一些 Xen 的特殊接口,那么我可以理解为什么 Guest 不能直接跑
在硬件上。但我还是要说,差别不大。

【在 d****i 的大作中提到】
: 你这个就是偷换概念了,Xen等等VM底层还是Linux kernel或者其他OS kernel,所以所
: 谓跳过OS来支持上层程序的说法是根本不存在的。

avatar
l*c
57
You don't need OS to run C code.
Before the computer starts OS, it runs code in rom, then bootloader,
like grub or uboot in embedded system. u-boot supports network,
tftp and many things. But without OS, it can't do multiasking.
How useful is a computer without multitasking?

了。

【在 a*****e 的大作中提到】
: 这是两个问题。我前面只是指出让一个高级语言的 runtime 跳过 OS 层面直接跑在(虚
: 拟的或者实际的)硬件环境上并非难事。
: 小王同学想要推翻小冯体系的梦想由来已久,其实我敢说每个学习函数语言的人都曾有
: 过这样的想法。
: 不过鉴于他对前人研究成果的不屑一顾,估计不会有任何突破,也就是发个白日梦罢了。
: 小王在他最为自负的程序语言领域里,充其量也就是个民科吧。

avatar
d*f
58
mb,看到那一堆括号就好象看到了一坨翔阿

【在 w***g 的大作中提到】
: 是一个类似lisp的语言。从他的github上拷的test case。看来还是没有跳出前人的窠
: 臼。不过至少比光说不练强。
: -- factorial
: (define fact
: (fun ([:x Int])
: (if (= x 0) 1 (* x (fact (- x 1))))))
: (fact 5)
: ------------- mutural recursive functions -------------
: (define even
: (fun ([:x Int])

avatar
a*e
59
不要小看了这些语言的 runtime,比如前面说的 HalVM,跑 forkIO(一种内部的
thread实现) 完全没问题,尽管目前只能用到一个 CPU,还不能够支持 mutlicore。

【在 l****c 的大作中提到】
: You don't need OS to run C code.
: Before the computer starts OS, it runs code in rom, then bootloader,
: like grub or uboot in embedded system. u-boot supports network,
: tftp and many things. But without OS, it can't do multiasking.
: How useful is a computer without multitasking?
:
: 了。

avatar
s*c
60
lisp可读性太差了。scala都好很多。
他之前做python的type infer的工具的时候我还挺高兴,以为会沿着这个方向,弄个比
Python好的语言呢。数括号的语言没人愿意去学的

【在 w***g 的大作中提到】
: 是一个类似lisp的语言。从他的github上拷的test case。看来还是没有跳出前人的窠
: 臼。不过至少比光说不练强。
: -- factorial
: (define fact
: (fun ([:x Int])
: (if (= x 0) 1 (* x (fact (- x 1))))))
: (fact 5)
: ------------- mutural recursive functions -------------
: (define even
: (fun ([:x Int])

avatar
h*r
61
老中里面就是王垠这样的人太少了,专研茴香豆的茴字第四种写法的人太多了点。
都去做题搞那些没啥用的算法,有个蛋用。王垠这个搞法,高出只知道瞻仰着
体系结构,操作系统这些四书五经,学习着pivot在查找,排序上的第20种用法的
孔乙己们一座山去,孔乙己们低着头嘀咕嘀咕也是正常的。

【在 x****u 的大作中提到】
: 还是不忘show对于体系结构的无知。
: 说今天的硬件设计和OS妨碍他发挥了,程序要离开OS直接跑在硬件上。
: http://www.yinwang.org/blog-cn/2014/05/08/yin-lang/
: “也就是说,Yin 语言最终将独立于任何操作系统,完全独立地运行于硬件之上。很多
: 人都没有意识到 Unix 等操作系统,其实不但给程序员带来了过度的复杂性,而且由于
: 它们的实现并不能支持现代程序语言,所以其实不能最大化的发挥硬件的效能。”

avatar
H*r
62
这货主要太好高骛远了,如果能踏实点,至少是个优秀的Computer Scientist吧。

【在 s******c 的大作中提到】
: lisp可读性太差了。scala都好很多。
: 他之前做python的type infer的工具的时候我还挺高兴,以为会沿着这个方向,弄个比
: Python好的语言呢。数括号的语言没人愿意去学的

avatar
g*t
63
他phd都毕不了业,离scientist几十万光年呢。

【在 H**r 的大作中提到】
: 这货主要太好高骛远了,如果能踏实点,至少是个优秀的Computer Scientist吧。
avatar
d*r
64
强 re 这个
其实我是支持王同学的,哈哈

【在 h****r 的大作中提到】
: 老中里面就是王垠这样的人太少了,专研茴香豆的茴字第四种写法的人太多了点。
: 都去做题搞那些没啥用的算法,有个蛋用。王垠这个搞法,高出只知道瞻仰着
: 体系结构,操作系统这些四书五经,学习着pivot在查找,排序上的第20种用法的
: 孔乙己们一座山去,孔乙己们低着头嘀咕嘀咕也是正常的。

avatar
d*r
65
说实话,现在美国学术界基本就是在逆向淘汰

【在 g****t 的大作中提到】
: 他phd都毕不了业,离scientist几十万光年呢。
avatar
d*r
66
不过他用自己名字命名这个语言,看着还是太小家子气了,难以组织其他牛人帮助他
avatar
g*t
67
你才读过几本书。就开始总结全美国的学术界了。可笑到了猥琐的地步,那就是可耻了。

【在 d*******r 的大作中提到】
: 说实话,现在美国学术界基本就是在逆向淘汰
avatar
g*t
68
你不知道他本科时候他妈还给他陪读呢?
他能正常工作领个工资就不错了。别指望他组织啥人了...

【在 d*******r 的大作中提到】
: 不过他用自己名字命名这个语言,看着还是太小家子气了,难以组织其他牛人帮助他
avatar
i*i
69
人家自娱自乐很高兴,犯不着大家去指摘。
洗洗睡吧!

了。

【在 g****t 的大作中提到】
: 你才读过几本书。就开始总结全美国的学术界了。可笑到了猥琐的地步,那就是可耻了。
avatar
g*t
70
这你就错了。网上的中国人,最不缺的就是屁王。缺的是能钻研,有较真精神的人。
而且,写C语言的,工业应用中很多都是ROM code,然后加一个死循环包括所有逻辑不停地
跑。压根就没有啥OS,体系结构。
我老真看不出来他反对的是啥。
计算机语言和操作系统,体系结构等等并没有必然的关系,也不需要有必然的关系,这
不是常识吗?

【在 h****r 的大作中提到】
: 老中里面就是王垠这样的人太少了,专研茴香豆的茴字第四种写法的人太多了点。
: 都去做题搞那些没啥用的算法,有个蛋用。王垠这个搞法,高出只知道瞻仰着
: 体系结构,操作系统这些四书五经,学习着pivot在查找,排序上的第20种用法的
: 孔乙己们一座山去,孔乙己们低着头嘀咕嘀咕也是正常的。

avatar
i*i
71
然!

【在 g****t 的大作中提到】
: 这你就错了。网上的中国人,最不缺的就是屁王。缺的是能钻研,有较真精神的人。
: 而且,写C语言的,工业应用中很多都是ROM code,然后加一个死循环包括所有逻辑不停地
: 跑。压根就没有啥OS,体系结构。
: 我老真看不出来他反对的是啥。
: 计算机语言和操作系统,体系结构等等并没有必然的关系,也不需要有必然的关系,这
: 不是常识吗?

avatar
h*r
72
说这种话出来,你也是七窍通了六窍了。
在美国的CS老中能钻研,有较真精神的多了,只是disruptive的成就何在?除了
copycat
,基本没有拿的出手的东西。
只知低头拉车,不知抬头看路的人太多了,敢挑战传统,挑战权威的人太少。哪怕因为
大胆走错了路,也比那些每天挣个几千几万毛钱的广罗马工码农(包括鄙人在内)强。
“写C语言的,工业应用中很多都是ROM code”,20%到40%而已,这也能以偏代全?
”计算机语言和操作系统,体系结构等等并没有必然的关系“,只能说你太学院派了。

停地

【在 g****t 的大作中提到】
: 这你就错了。网上的中国人,最不缺的就是屁王。缺的是能钻研,有较真精神的人。
: 而且,写C语言的,工业应用中很多都是ROM code,然后加一个死循环包括所有逻辑不停地
: 跑。压根就没有啥OS,体系结构。
: 我老真看不出来他反对的是啥。
: 计算机语言和操作系统,体系结构等等并没有必然的关系,也不需要有必然的关系,这
: 不是常识吗?

avatar
g*t
73
啥级别的算disruptive的成就?多少钱,或者什么奖算?
我觉得你应该多扩展下自己的LinkedIn.
你认识的人太少了。
我说ROM code那个是举个例子说明这是基本知识。咋叫以偏摡全?
王的问题是一点坚持都没有。上大学还得他妈陪同。这属于挖坑都没学会的。不是你说
的“大胆走路”的情况。
其实他胆子最小。这种人最害怕失败,所以不停的打一枪换各地方。多半有精神疾病。

【在 h****r 的大作中提到】
: 说这种话出来,你也是七窍通了六窍了。
: 在美国的CS老中能钻研,有较真精神的多了,只是disruptive的成就何在?除了
: copycat
: ,基本没有拿的出手的东西。
: 只知低头拉车,不知抬头看路的人太多了,敢挑战传统,挑战权威的人太少。哪怕因为
: 大胆走错了路,也比那些每天挣个几千几万毛钱的广罗马工码农(包括鄙人在内)强。
: “写C语言的,工业应用中很多都是ROM code”,20%到40%而已,这也能以偏代全?
: ”计算机语言和操作系统,体系结构等等并没有必然的关系“,只能说你太学院派了。
:
: 停地

avatar
h*r
74
只说老中的技术或者工业成就就成,你举几个成就出来。

【在 g****t 的大作中提到】
: 啥级别的算disruptive的成就?多少钱,或者什么奖算?
: 我觉得你应该多扩展下自己的LinkedIn.
: 你认识的人太少了。
: 我说ROM code那个是举个例子说明这是基本知识。咋叫以偏摡全?
: 王的问题是一点坚持都没有。上大学还得他妈陪同。这属于挖坑都没学会的。不是你说
: 的“大胆走路”的情况。
: 其实他胆子最小。这种人最害怕失败,所以不停的打一枪换各地方。多半有精神疾病。

avatar
h*r
76
这种往脸上贴金法,你还不如举发明算盘更合适。
近的华裔还有杨只愿,姚气质,问题是这些人跟我们受的教育完全不同。
找个改开后的老中出来。

【在 H**r 的大作中提到】
: http://en.wikipedia.org/wiki/An_Wang
avatar
f*w
77
+1

【在 c*******9 的大作中提到】
: 小农意识,什么时候都想法挂上自己的名字。和他类似的人更不可能和他合作。
avatar
m*5
78
你们别骂了,我还真觉得他这个概念可行
我们公司就有个团队在搞这个类似的东西

【在 x****u 的大作中提到】
: 还是不忘show对于体系结构的无知。
: 说今天的硬件设计和OS妨碍他发挥了,程序要离开OS直接跑在硬件上。
: http://www.yinwang.org/blog-cn/2014/05/08/yin-lang/
: “也就是说,Yin 语言最终将独立于任何操作系统,完全独立地运行于硬件之上。很多
: 人都没有意识到 Unix 等操作系统,其实不但给程序员带来了过度的复杂性,而且由于
: 它们的实现并不能支持现代程序语言,所以其实不能最大化的发挥硬件的效能。”

avatar
g*t
79
普林斯顿李教授的数据库公司几年前卖了1B,听说过吗?

【在 h****r 的大作中提到】
: 只说老中的技术或者工业成就就成,你举几个成就出来。
avatar
g*t
80
程序不要OS,直接跑在硬件上。是很常见的实践。这个当然是可行的。你家的电视机遥
控器的build in程序多半就是这样的。
王把这个当作值得大惊小怪的东西。我非常不理解。

【在 m********5 的大作中提到】
: 你们别骂了,我还真觉得他这个概念可行
: 我们公司就有个团队在搞这个类似的东西

avatar
g*t
81
李开复李彦宏张朝阳跟你的教育类似吧?
算不算有成就?邓峰的公司十几年前卖了40亿,算不算有成就?youtube的创始人之一
算不算有成就?
再下来,各大公司fellow级别的科学家,top 5学校30出头的教授里面,都有不少老中
,这些人算不算有成就?

【在 h****r 的大作中提到】
: 这种往脸上贴金法,你还不如举发明算盘更合适。
: 近的华裔还有杨只愿,姚气质,问题是这些人跟我们受的教育完全不同。
: 找个改开后的老中出来。

avatar
d*i
82
就是我说的,在某些特定简单的嵌入式系统里面就是这么搞得,王跟本就不懂系统,底
层和硬件光靠臆想。

【在 g****t 的大作中提到】
: 程序不要OS,直接跑在硬件上。是很常见的实践。这个当然是可行的。你家的电视机遥
: 控器的build in程序多半就是这样的。
: 王把这个当作值得大惊小怪的东西。我非常不理解。

avatar
g*t
83
他软件也不懂阿。
程序能在硬件机器上跑,这是最显然的事。那就是一台机器,按0,1的纸带改写符号。
任何程序都能在OS上虚拟的跑,但输出同样的结果,这个所有程序的共同属性,是非常
不显然的。图灵发现并且证明了这个事实。这个发现和证明,足以和人类历史上任何科
学发现相提并论。这就是universal Turing machine阿。
他不惊讶后者,反而去惊讶前者。他的计算理论是语文老师教的么...

【在 d****i 的大作中提到】
: 就是我说的,在某些特定简单的嵌入式系统里面就是这么搞得,王跟本就不懂系统,底
: 层和硬件光靠臆想。

avatar
d*i
84
王大概没有明白,没有OS把底层的形形色色不同的硬件给抽象了,他玩个屁。

【在 g****t 的大作中提到】
: 他软件也不懂阿。
: 程序能在硬件机器上跑,这是最显然的事。那就是一台机器,按0,1的纸带改写符号。
: 任何程序都能在OS上虚拟的跑,但输出同样的结果,这个所有程序的共同属性,是非常
: 不显然的。图灵发现并且证明了这个事实。这个发现和证明,足以和人类历史上任何科
: 学发现相提并论。这就是universal Turing machine阿。
: 他不惊讶后者,反而去惊讶前者。他的计算理论是语文老师教的么...

avatar
c*l
85
我同意

【在 d*******r 的大作中提到】
: 说实话,现在美国学术界基本就是在逆向淘汰
avatar
h*r
86
我见过吉大毕业的李教授本人,是很牛,但谈不上disruptive的成就.
李教授搞的那个公司也不是数据库公司。

【在 g****t 的大作中提到】
: 普林斯顿李教授的数据库公司几年前卖了1B,听说过吗?
avatar
s*c
87
我猜他计算理论其实应该还是很熟的. 好歹王垠啃过Knuth的书还找到过bug
程序直接在bare hardware上跑确实也不是什么新东西. 我念书时候学校本科OS课
的Project1就是写一个shell直接跑在机器硬件上, 没有OS, 自己处理CPU中断而已.
王垠以前博客里不止一次提到过 lisp machine http://zh.wikipedia.org/wiki/Lisp%E6%9C%BA%E5%99%A8,
就是直接跑lisp在硬件上. 我估计他的想法其实和lisp machine会比较接近.

【在 g****t 的大作中提到】
: 他软件也不懂阿。
: 程序能在硬件机器上跑,这是最显然的事。那就是一台机器,按0,1的纸带改写符号。
: 任何程序都能在OS上虚拟的跑,但输出同样的结果,这个所有程序的共同属性,是非常
: 不显然的。图灵发现并且证明了这个事实。这个发现和证明,足以和人类历史上任何科
: 学发现相提并论。这就是universal Turing machine阿。
: 他不惊讶后者,反而去惊讶前者。他的计算理论是语文老师教的么...

avatar
h*r
88
不谈技术谈开公司了?我就知道你会说邓峰。youtube的创始人是台湾人,与你我何干
?就算你非要算,再加上朱敏,前面提到的老李,加起来不够whatapp的零头吧?
李彦宏张朝阳,哪个不是copycat,disruptive在哪里?李开复还没有那个档次不提也
罢。
各大公司fellow级别的科学家,top 5学校30出头的教授里面,都有不少老中,这些人
算不算有成就?当然,米粒之珠,也放光华。但你拿一个disruptive的成就或者技术例
子出来。

【在 g****t 的大作中提到】
: 李开复李彦宏张朝阳跟你的教育类似吧?
: 算不算有成就?邓峰的公司十几年前卖了40亿,算不算有成就?youtube的创始人之一
: 算不算有成就?
: 再下来,各大公司fellow级别的科学家,top 5学校30出头的教授里面,都有不少老中
: ,这些人算不算有成就?

avatar
h*r
89
图灵机被你拔高到这个档次,图灵自己都要不好意思了吧?
语文老师都知道“文似看山喜不平”,你老在思想上的保守和中学课文里“装在套子里
的人”有一比,典型的经院派,还是别拉低语文老师了。

【在 g****t 的大作中提到】
: 他软件也不懂阿。
: 程序能在硬件机器上跑,这是最显然的事。那就是一台机器,按0,1的纸带改写符号。
: 任何程序都能在OS上虚拟的跑,但输出同样的结果,这个所有程序的共同属性,是非常
: 不显然的。图灵发现并且证明了这个事实。这个发现和证明,足以和人类历史上任何科
: 学发现相提并论。这就是universal Turing machine阿。
: 他不惊讶后者,反而去惊讶前者。他的计算理论是语文老师教的么...

avatar
s*c
90
你这也太装x了.

【在 h****r 的大作中提到】
: 图灵机被你拔高到这个档次,图灵自己都要不好意思了吧?
: 语文老师都知道“文似看山喜不平”,你老在思想上的保守和中学课文里“装在套子里
: 的人”有一比,典型的经院派,还是别拉低语文老师了。

avatar
h*r
91
不知你这话何从讲起?
那就讲个笑话,
大家出生都是Baby,有少数人找到了北,就成了NB, 有人找错了路,南下了,就是SB了。
绝大部分没有能力找不到北,又没有gut闯,只能原地打转,转来转去,就成了转B,也
就是ZB.
我当然没找到北,大概不是ZB就是SB,也许你还抬举我了。

【在 s******c 的大作中提到】
: 你这也太装x了.
avatar
g*t
92
那你说啥叫disruptive成就?总要有个标准吧

【在 h****r 的大作中提到】
: 我见过吉大毕业的李教授本人,是很牛,但谈不上disruptive的成就.
: 李教授搞的那个公司也不是数据库公司。

avatar
g*t
93
你随便找本书,看怎么讲universal Turing machine的。你的知识太贫乏了。
Turing机之前,已经有了lambda calculus,
也就是lisp等语言的鼻祖。Godel的计算模型也早就有了。这些和图灵机都是等价的。
另外据说当时还有几个别的计算模型。
但universal Turing machine是新的东西。是没有任何前人预料到的。

【在 h****r 的大作中提到】
: 图灵机被你拔高到这个档次,图灵自己都要不好意思了吧?
: 语文老师都知道“文似看山喜不平”,你老在思想上的保守和中学课文里“装在套子里
: 的人”有一比,典型的经院派,还是别拉低语文老师了。

avatar
g*t
94
“老中的技术或者工业成就就成,你举几个成就出来。”这可是你之前说的。工业成就
不算开公司那怎么算阿。再说了,台湾人不算吗?这是什么道理?这样限定下去,是不
是得给你找个你同大学同寝室毕业的才能算。不然你总能找出来和你教育背景不同的地
方。
再说了,这个王银,和你的教育背景也是非常不同的。你讨论他,意义是什么?
你这个所谓的disruptive成就压根就自己说不清楚。
你比如说,说到what's up,难道what's up不是copy cat? 即时通信绑定电话号码等关
键设计
的专利可是国内一个老中多年前申请的。这算不算disruptive成就。
十多年前,腾讯的张志东说即时通讯好友列表要放本地一份,
要显示地理位置,这算不算disruptive?

【在 h****r 的大作中提到】
: 不谈技术谈开公司了?我就知道你会说邓峰。youtube的创始人是台湾人,与你我何干
: ?就算你非要算,再加上朱敏,前面提到的老李,加起来不够whatapp的零头吧?
: 李彦宏张朝阳,哪个不是copycat,disruptive在哪里?李开复还没有那个档次不提也
: 罢。
: 各大公司fellow级别的科学家,top 5学校30出头的教授里面,都有不少老中,这些人
: 算不算有成就?当然,米粒之珠,也放光华。但你拿一个disruptive的成就或者技术例
: 子出来。

avatar
h*r
95
你要是非要把universal Turing machine和相对论或者薛定谔-狄拉克方程放到同一个
高度,
我确实也无话可说了,问题是有多少人和你一样看法。我个人觉得即使P=NP这个猜想都
要高于universal Turing machine的普遍意义。

【在 g****t 的大作中提到】
: 你随便找本书,看怎么讲universal Turing machine的。你的知识太贫乏了。
: Turing机之前,已经有了lambda calculus,
: 也就是lisp等语言的鼻祖。Godel的计算模型也早就有了。这些和图灵机都是等价的。
: 另外据说当时还有几个别的计算模型。
: 但universal Turing machine是新的东西。是没有任何前人预料到的。

avatar
g*t
96
你看过dirac的书?P=NP你又知道多少?
你不知道的东西扯个毛阿。

【在 h****r 的大作中提到】
: 你要是非要把universal Turing machine和相对论或者薛定谔-狄拉克方程放到同一个
: 高度,
: 我确实也无话可说了,问题是有多少人和你一样看法。我个人觉得即使P=NP这个猜想都
: 要高于universal Turing machine的普遍意义。

avatar
h*r
97
改开后老中受教育的背景和环境都大体相同或者相似,但是王银个人选择的道路和大家
不同,这个你也要否认,我们就无法讨论了。
disruptive成就,局限在CS领域内的,比如说发明C,C++,Java,BASIC,fortune和推出
Linux这样的太大了,erlang(起码基于smalltalk成就了whatapp)这样的就行。
工业界的,copycat算上,以founder身份做到5B以上,vmware其实就算disruptive,
whatapp目标太远了,做到fireeye这种档次就行。弄做到nutanics这样的也行。
国内老中的不算,否者腾讯的张晓龙搞的微信,美国这边的主流产品都差得远。国内的
老中受重商主义影响大得对,敢闯的人多,工业界的disruptive的东西还是有一些,而
且越来越多。

【在 g****t 的大作中提到】
: “老中的技术或者工业成就就成,你举几个成就出来。”这可是你之前说的。工业成就
: 不算开公司那怎么算阿。再说了,台湾人不算吗?这是什么道理?这样限定下去,是不
: 是得给你找个你同大学同寝室毕业的才能算。不然你总能找出来和你教育背景不同的地
: 方。
: 再说了,这个王银,和你的教育背景也是非常不同的。你讨论他,意义是什么?
: 你这个所谓的disruptive成就压根就自己说不清楚。
: 你比如说,说到what's up,难道what's up不是copy cat? 即时通信绑定电话号码等关
: 键设计
: 的专利可是国内一个老中多年前申请的。这算不算disruptive成就。
: 十多年前,腾讯的张志东说即时通讯好友列表要放本地一份,

avatar
h*r
98
我不知道,你知道?
我没看过dirac的书,看过薛定谔的,dirac方程其实就是薛定谔方程加上洛仑兹变换。
我承认薛定谔方程我没搞懂,不过你最好能跟我说你搞懂了。我马上把所有的伪币给你,
再向你请教请教。
P=NP我起码和你知道的一样多,就是大家都知道的那点,除此之外,大家都不知道。
所以我就不能扯这些东西了?所以UTM 就能和相对论,薛定谔狄拉克方程,或者P=NP等
高了?

【在 g****t 的大作中提到】
: 你看过dirac的书?P=NP你又知道多少?
: 你不知道的东西扯个毛阿。

avatar
d*r
99
你讨厌王同学,大可以不必理他,
但是你要批判他,至少得认真看看人家的观点吧,
我觉得你根本不知道他想干什么,你开始抓着各种细节狂喷了.
就我的理解,王同学是觉得从易用性和复杂度来看,C, shell, Unix, SQLDB 等等一大
堆上一代的东西,太难用了,都是各种 ad-hoc 的 solutions put together,最后就
是很难用,比如:
1. 很多 ad-hoc 的 solutions 是用一种残疾 DSL (e.g. SQL, shell, makefile 之类
).
还比如王同学觉得各种 DB 整来整去,还不如给内存 object 和 硬盘 object 一个统
一的抽象,access DB object 就做成access remote 内存 object 那样的过程得了 (
其实现在 key/value noSQL 就比较像这个). 像 shell 和 makefile 这样的工具也是
设计的很难用. shell 本来的目的是人类用来敲一行,看一行的东西的"快捷键",结果
发展成各种 complex cfg bash shell scripts 比 C++/Java 代码还难懂. Makefile
本来是发明来描述下 dependence 的,结果你看看大 project 的 Makefile 复杂成啥
样了 (比较下 Python Scons)... 还有 Unix 里面不同的程序,使用不同的自定义 cfg
files, 于是你发现 *nix admin 的工作就是学习各种 cfg DSL...
总之,这个是对 C-Unix 系的那个设计哲学 "do one thing do it well" 的否定.
王同学主张用一种统一的语言,来做大多数工作,做大多数配置,像 SQL, shell,
makefile 这样的残疾货,都应该被清除. 因为他们很容易被 abuse,而且无端增加大
家 N 多 learning cost.
我是非常同意这观点的,最讨厌各种 DSL.
打个不恰当的比喻,
如果把 C-Unix 这一套东西比喻成 androids with different android markets
王同学想搞一套 iphone with app store 一样的东西。
当然他能不能搞成,是另外一回事。
2. 推荐使用一写难用的抽象. 比如 Unix, pipe, TCP 推荐大家多用 character/byte
stream, 这就是为啥 HTTP RESTful 这样的东西反而成了现在 RPC 的标准. 如果你读
那本书,有一部分就专门讲,之前学院派也
想做一个标准的 message or RPC based network, 但是这样那样搞没成功, 当然学院
派搞不成东西也很正常.
王同学的意思是,用一些少而统一的抽象,比如 function call (我觉得其实 framed
and reliable message passing 更好) 来停止大家大量使用这些低级的,难用的抽象
(e.g. stream 这种抽象, 应该大多数时候躲在语言和系统后面,优化的时候用,而不
是直接用).
3. 还有一些其他原因,这个帖子写太长了。。。我打住了。。。
他的很多观点我相信大家也有些体会。
王同学说的直接取代传统 C-Unix 谱系那一套东西,是试图站在易用性和复杂度角度,
对整个 CS 的 system 做全面的精简,统一,refactoring.
站在 system design 的角度,如果王同学这个 refactoring 能成功,就要比学校那些
几十年如一日地给 C-Unix-TCP/IP-SQL-... 这个大系统做各种补丁,优化, 擦屁股的孔
乙己们,厉害太多了。
另外,我也觉得统一语言用 Lisp syntax 不能成功,
看他 blog 上的意思是说,想做多种 syntax 支持的语言,先用 Lisp syntax 做语义,
我不知道这个 idea 靠谱不。
当然,我说如果他能成,就很厉害。
但是也可能他就是发现和描述问题不错,直接做,就做出豆腐渣工程了。
不过说实话,我觉得王同学太理想化,而且脾气大,这么大的工程能不能搞定问题很大。
我觉得最有意义的是,老中里面应该开始出现这样的人。老中里面确实孔乙己太 TMD
的多了。

【在 g****t 的大作中提到】
: 程序不要OS,直接跑在硬件上。是很常见的实践。这个当然是可行的。你家的电视机遥
: 控器的build in程序多半就是这样的。
: 王把这个当作值得大惊小怪的东西。我非常不理解。

avatar
m*5
100
虽然他有些东西是挺蠢的
我也觉得他这次的这个观点其实还可以的
不懂为何版上看到他的东西就骂
可能他的话比较冲,无意中得罪了一些人吧

【在 d*******r 的大作中提到】
: 你讨厌王同学,大可以不必理他,
: 但是你要批判他,至少得认真看看人家的观点吧,
: 我觉得你根本不知道他想干什么,你开始抓着各种细节狂喷了.
: 就我的理解,王同学是觉得从易用性和复杂度来看,C, shell, Unix, SQLDB 等等一大
: 堆上一代的东西,太难用了,都是各种 ad-hoc 的 solutions put together,最后就
: 是很难用,比如:
: 1. 很多 ad-hoc 的 solutions 是用一种残疾 DSL (e.g. SQL, shell, makefile 之类
: ).
: 还比如王同学觉得各种 DB 整来整去,还不如给内存 object 和 硬盘 object 一个统
: 一的抽象,access DB object 就做成access remote 内存 object 那样的过程得了 (

avatar
p*o
101
这东西做出来跟java/jvm有啥区别?

【在 d*******r 的大作中提到】
: 你讨厌王同学,大可以不必理他,
: 但是你要批判他,至少得认真看看人家的观点吧,
: 我觉得你根本不知道他想干什么,你开始抓着各种细节狂喷了.
: 就我的理解,王同学是觉得从易用性和复杂度来看,C, shell, Unix, SQLDB 等等一大
: 堆上一代的东西,太难用了,都是各种 ad-hoc 的 solutions put together,最后就
: 是很难用,比如:
: 1. 很多 ad-hoc 的 solutions 是用一种残疾 DSL (e.g. SQL, shell, makefile 之类
: ).
: 还比如王同学觉得各种 DB 整来整去,还不如给内存 object 和 硬盘 object 一个统
: 一的抽象,access DB object 就做成access remote 内存 object 那样的过程得了 (

avatar
s*c
102
做programming language出身的人一般都认为Java是broken的,scala就是他们看不惯
Java又想用jvm搞出来的

【在 p***o 的大作中提到】
: 这东西做出来跟java/jvm有啥区别?
avatar
h*r
103
基本不同吧。

【在 p***o 的大作中提到】
: 这东西做出来跟java/jvm有啥区别?
avatar
s*c
104
my two cents:
one fits all的东西基本注定是水中花,不可能实用好用的。不同的application决定
了在易用性,性能,可读性,可移植性等多维度上trade off都是有价值的

【在 d*******r 的大作中提到】
: 你讨厌王同学,大可以不必理他,
: 但是你要批判他,至少得认真看看人家的观点吧,
: 我觉得你根本不知道他想干什么,你开始抓着各种细节狂喷了.
: 就我的理解,王同学是觉得从易用性和复杂度来看,C, shell, Unix, SQLDB 等等一大
: 堆上一代的东西,太难用了,都是各种 ad-hoc 的 solutions put together,最后就
: 是很难用,比如:
: 1. 很多 ad-hoc 的 solutions 是用一种残疾 DSL (e.g. SQL, shell, makefile 之类
: ).
: 还比如王同学觉得各种 DB 整来整去,还不如给内存 object 和 硬盘 object 一个统
: 一的抽象,access DB object 就做成access remote 内存 object 那样的过程得了 (

avatar
g*t
105
我觉得他的观点并不新。这是已经存在的现实很多年了。他说的那么稀罕。我不理解。
另外哪有人骂他阿。

【在 m********5 的大作中提到】
: 虽然他有些东西是挺蠢的
: 我也觉得他这次的这个观点其实还可以的
: 不懂为何版上看到他的东西就骂
: 可能他的话比较冲,无意中得罪了一些人吧

avatar
h*r
106
这个观点我也同意,我想王垠肯定能认识得到。
一种新的语言,或者体系,如果能够比较通用方便地用来解决一种类型的问题,就很成
功了。

【在 s******c 的大作中提到】
: my two cents:
: one fits all的东西基本注定是水中花,不可能实用好用的。不同的application决定
: 了在易用性,性能,可读性,可移植性等多维度上trade off都是有价值的

avatar
g*t
107
utm的是现有所有通用计算机的理论基础,为啥不能和p=np等高?

你,

【在 h****r 的大作中提到】
: 我不知道,你知道?
: 我没看过dirac的书,看过薛定谔的,dirac方程其实就是薛定谔方程加上洛仑兹变换。
: 我承认薛定谔方程我没搞懂,不过你最好能跟我说你搞懂了。我马上把所有的伪币给你,
: 再向你请教请教。
: P=NP我起码和你知道的一样多,就是大家都知道的那点,除此之外,大家都不知道。
: 所以我就不能扯这些东西了?所以UTM 就能和相对论,薛定谔狄拉克方程,或者P=NP等
: 高了?

avatar
g*t
108
按5B以上的话,李彦宏张朝阳还有小米的4个创始人都是海龟,跟你背景类似。算不算
disruptive的成就?

【在 h****r 的大作中提到】
: 改开后老中受教育的背景和环境都大体相同或者相似,但是王银个人选择的道路和大家
: 不同,这个你也要否认,我们就无法讨论了。
: disruptive成就,局限在CS领域内的,比如说发明C,C++,Java,BASIC,fortune和推出
: Linux这样的太大了,erlang(起码基于smalltalk成就了whatapp)这样的就行。
: 工业界的,copycat算上,以founder身份做到5B以上,vmware其实就算disruptive,
: whatapp目标太远了,做到fireeye这种档次就行。弄做到nutanics这样的也行。
: 国内老中的不算,否者腾讯的张晓龙搞的微信,美国这边的主流产品都差得远。国内的
: 老中受重商主义影响大得对,敢闯的人多,工业界的disruptive的东西还是有一些,而
: 且越来越多。

avatar
h*r
109
好比UTM是画了一个圈,而p=np则是考量这个圈内和圈外是否等价的问题。
这两面对的是同一个层次的问题吗?
开个玩笑,“你和我一样无知”和“我和你一样无知”,如果你是这两句话的受众,它
们在你那里恐怕都不等价。

【在 g****t 的大作中提到】
: utm的是现有所有通用计算机的理论基础,为啥不能和p=np等高?
:
: 你,

avatar
h*r
110
开始就说过,不算在国内做出的商业成就,竞争方式不一样。

【在 g****t 的大作中提到】
: 按5B以上的话,李彦宏张朝阳还有小米的4个创始人都是海龟,跟你背景类似。算不算
: disruptive的成就?

avatar
d*r
111
图灵机和美国工程师把计算机搞出来,貌似是没有直接关系的
说实话,图灵机对大家理解计算机模型真的很有帮助吗? 还是只是理论派们玩具?
我虽然计算理论的课是A+, 但是每次过一段时间,我就看不懂,写不出那些证明了,忘
光光了。
王同学也在他的blog里面说过这问题,不过他推崇的是 lambda 那一套,那一套确实是
先有理论,再有产品的 (Lisp).
他说那一套我不懂,但是每次有小师弟问我图灵机怎么用来理解计算机,我都会说:
图灵机那个过度简化的模型不是很好用,你需要大概去看看体系结构的入门课,理解简
化版的 CPU 指令集, 寄存器,memory/硬盘就是一个长长的一维数组,程序执行,就是
CPU 在寄存器和这个一维数组上改变状态就是。这个模型是比图灵机和它那一堆经典
推论和证明更好懂的模型。

【在 g****t 的大作中提到】
: utm的是现有所有通用计算机的理论基础,为啥不能和p=np等高?
:
: 你,

avatar
d*r
112
商业成就和*真正的*创造性成就不一样吧
我说*真正的*,是定义和解决各种元问题,不是学校里面那些茴字的400种写法

【在 g****t 的大作中提到】
: 按5B以上的话,李彦宏张朝阳还有小米的4个创始人都是海龟,跟你背景类似。算不算
: disruptive的成就?

avatar
d*r
113
明白人, 美国学术界很多时候就是逆向淘汰

【在 c********l 的大作中提到】
: 我同意
avatar
d*r
114
张朝阳,李开复 确实是自己没什么东西,不管他们顶着多么耀眼的 title
李彦宏那个算法貌似比 Google 还早出来?有人考证过没 ?

【在 h****r 的大作中提到】
: 不谈技术谈开公司了?我就知道你会说邓峰。youtube的创始人是台湾人,与你我何干
: ?就算你非要算,再加上朱敏,前面提到的老李,加起来不够whatapp的零头吧?
: 李彦宏张朝阳,哪个不是copycat,disruptive在哪里?李开复还没有那个档次不提也
: 罢。
: 各大公司fellow级别的科学家,top 5学校30出头的教授里面,都有不少老中,这些人
: 算不算有成就?当然,米粒之珠,也放光华。但你拿一个disruptive的成就或者技术例
: 子出来。

avatar
d*r
115
是很难,但是我觉得大大地 refactor 一次肯定比现在清爽多了
学了N多年CS的各种东西后,发现就是在读一个巨大的 legacy code base ...
就说 SQL,从一开始学就很讨厌,所以很希望它早点衰败消失,当然也可能它活得很长
...

【在 s******c 的大作中提到】
: my two cents:
: one fits all的东西基本注定是水中花,不可能实用好用的。不同的application决定
: 了在易用性,性能,可读性,可移植性等多维度上trade off都是有价值的

avatar
t*a
116
虽然很钦佩他的勇气和魄力,但还是不看好。
常常想,现在的CS领域为什么比以前复杂那么多?搞出那么多系统,语言,编辑器,一
大堆的东西?回头看看科学领域也是一样,两千多年前就有个哲学,现在分支出成千上
万的学科来,每个学科讲自己的方言,相互不容易沟通,却大量存在冗余。
寻思着是不是因为cs领域/科学领域的人越来越多了,分支自然而然越来越细,有多少
种人就有多少种东西,各人有各人的喜好,想统一大家的思想,哪有那么容易?
avatar
c*0
117

我靠,居然这个版还是有几个明白人的。
王垠再怎么混不毕业,再怎么假大空,至少不愁生活,真正在做解决问题的事情。这里
的人成天吃饱了没事搞语言坑创业坑,脑子都不知道用哪了。

【在 d*******r 的大作中提到】
: 你讨厌王同学,大可以不必理他,
: 但是你要批判他,至少得认真看看人家的观点吧,
: 我觉得你根本不知道他想干什么,你开始抓着各种细节狂喷了.
: 就我的理解,王同学是觉得从易用性和复杂度来看,C, shell, Unix, SQLDB 等等一大
: 堆上一代的东西,太难用了,都是各种 ad-hoc 的 solutions put together,最后就
: 是很难用,比如:
: 1. 很多 ad-hoc 的 solutions 是用一种残疾 DSL (e.g. SQL, shell, makefile 之类
: ).
: 还比如王同学觉得各种 DB 整来整去,还不如给内存 object 和 硬盘 object 一个统
: 一的抽象,access DB object 就做成access remote 内存 object 那样的过程得了 (

avatar
d*r
118
Go 学委,你回来跳坑啦
回头再开点有营养 Go 讨论贴吧,大家好好讨论,不搞无脑喷 :)

【在 c*******0 的大作中提到】
:
: 我靠,居然这个版还是有几个明白人的。
: 王垠再怎么混不毕业,再怎么假大空,至少不愁生活,真正在做解决问题的事情。这里
: 的人成天吃饱了没事搞语言坑创业坑,脑子都不知道用哪了。

avatar
c*0
119

王垠对C的看法和一大帮语言研究家对C的看法是一样可笑的
这个世界上没有任何一门语言比汇编更适合让人理解计算机真正的运行原理,而C是最
接近汇编的。
鼓吹一开始学语言就学List,Scheme这样的,都是去培养计算机理论科学家的。可惜这
个世界理论科学家的需求太少,也不是所有人都能当的

【在 d*******r 的大作中提到】
: Go 学委,你回来跳坑啦
: 回头再开点有营养 Go 讨论贴吧,大家好好讨论,不搞无脑喷 :)

avatar
c*0
120

我见到值得讨论的东西自然会跳的,比如你刚才这个。不值得讨论的东西,我浪费口水
干嘛
另外我不是Go学委,我C,Java,Python,Dart和Go都用,用Go并不比别的多。当然这
里面我最喜欢写Go就是了,但我很明白什么时候上什么语言最合适

【在 d*******r 的大作中提到】
: Go 学委,你回来跳坑啦
: 回头再开点有营养 Go 讨论贴吧,大家好好讨论,不搞无脑喷 :)

avatar
d*r
121
mit上总有各种潜水牛... -_-

【在 c*******0 的大作中提到】
:
: 我见到值得讨论的东西自然会跳的,比如你刚才这个。不值得讨论的东西,我浪费口水
: 干嘛
: 另外我不是Go学委,我C,Java,Python,Dart和Go都用,用Go并不比别的多。当然这
: 里面我最喜欢写Go就是了,但我很明白什么时候上什么语言最合适

avatar
d*r
122
其实我一直对能用的 'better C' 很感兴趣,你能否推荐一个

【在 c*******0 的大作中提到】
:
: 我见到值得讨论的东西自然会跳的,比如你刚才这个。不值得讨论的东西,我浪费口水
: 干嘛
: 另外我不是Go学委,我C,Java,Python,Dart和Go都用,用Go并不比别的多。当然这
: 里面我最喜欢写Go就是了,但我很明白什么时候上什么语言最合适

avatar
s*c
123
golang 啊,而且golang是 Kenneth Thompson开发的,血缘上也算是C一脉相承的了

【在 d*******r 的大作中提到】
: 其实我一直对能用的 'better C' 很感兴趣,你能否推荐一个
avatar
d*r
124
不方便搞底层系统,不信你问 cnbuff410

【在 s******c 的大作中提到】
: golang 啊,而且golang是 Kenneth Thompson开发的,血缘上也算是C一脉相承的了
avatar
h*r
125
任何GC based的语言都不具备挑战C的可能性,虽然memory allocator始终是advanced
C applications的坎。

【在 s******c 的大作中提到】
: golang 啊,而且golang是 Kenneth Thompson开发的,血缘上也算是C一脉相承的了
avatar
c*0
126

better C用来干嘛?如果你真的有什么应用场景需要用C,那我没觉得有什么替代的,
没有better C。
而且C很好用啊?你为什么不想学?
C的问题是现在大部分应用场景都有更合适的专用语言了,当然用C都可以搞,但最终还
是对coder的效率的tradeoff更重要。所以没有better C,只有“xxxx领域比C更适合”
的语言。

【在 d*******r 的大作中提到】
: 其实我一直对能用的 'better C' 很感兴趣,你能否推荐一个
avatar
d*r
127

为什么不想学... 我看着像不会 C 语言的吗 ... -__-||
就是用 C/C++ 还没成高手,就已经腻味了,特别是调试内存 bug 的时候

【在 c*******0 的大作中提到】
:
: better C用来干嘛?如果你真的有什么应用场景需要用C,那我没觉得有什么替代的,
: 没有better C。
: 而且C很好用啊?你为什么不想学?
: C的问题是现在大部分应用场景都有更合适的专用语言了,当然用C都可以搞,但最终还
: 是对coder的效率的tradeoff更重要。所以没有better C,只有“xxxx领域比C更适合”
: 的语言。

avatar
g*t
128
为啥不算?这个完全没道理。也没人拦着你或者王银啥的回国,对不对。

【在 h****r 的大作中提到】
: 开始就说过,不算在国内做出的商业成就,竞争方式不一样。
avatar
g*t
129
所有的程序都可以在一个universal Turing machine上面跑,从而各种程序有比较可言
。这个事实在一开始是不清楚的。顶尖的数学家,工程师,在当时都不清楚。
现在窗户纸捅破了,成了大家都知道的事实,但你不能否定这个发现的重要性。
大家都知道地球是圆的,是不是这个发现就不再重要了?
最后,你说的那个CPU,一位数组的模型。怎么保证所有的程序原则上都能在这个模型上
跑?这不就引入虚拟机或者universal TM了么!
很多计算科学家都认为邱奇的lambda calculs比TM更重要。但UTM的独创性则是无法否
认的。

【在 d*******r 的大作中提到】
: 图灵机和美国工程师把计算机搞出来,貌似是没有直接关系的
: 说实话,图灵机对大家理解计算机模型真的很有帮助吗? 还是只是理论派们玩具?
: 我虽然计算理论的课是A+, 但是每次过一段时间,我就看不懂,写不出那些证明了,忘
: 光光了。
: 王同学也在他的blog里面说过这问题,不过他推崇的是 lambda 那一套,那一套确实是
: 先有理论,再有产品的 (Lisp).
: 他说那一套我不懂,但是每次有小师弟问我图灵机怎么用来理解计算机,我都会说:
: 图灵机那个过度简化的模型不是很好用,你需要大概去看看体系结构的入门课,理解简
: 化版的 CPU 指令集, 寄存器,memory/硬盘就是一个长长的一维数组,程序执行,就是
: CPU 在寄存器和这个一维数组上改变状态就是。这个模型是比图灵机和它那一堆经典

avatar
g*t
130
啥叫元问题?你说的清楚么

【在 d*******r 的大作中提到】
: 商业成就和*真正的*创造性成就不一样吧
: 我说*真正的*,是定义和解决各种元问题,不是学校里面那些茴字的400种写法

avatar
g*t
131
没什么东西?你以为这些人是靠啥赚的钱?

【在 d*******r 的大作中提到】
: 张朝阳,李开复 确实是自己没什么东西,不管他们顶着多么耀眼的 title
: 李彦宏那个算法貌似比 Google 还早出来?有人考证过没 ?

avatar
c*9
132
不同人喜欢不同的东西,这个你没法统一。要什么都能统一,共产主义实现也不难了。

【在 d*******r 的大作中提到】
: 是很难,但是我觉得大大地 refactor 一次肯定比现在清爽多了
: 学了N多年CS的各种东西后,发现就是在读一个巨大的 legacy code base ...
: 就说 SQL,从一开始学就很讨厌,所以很希望它早点衰败消失,当然也可能它活得很长
: ...

avatar
g*t
133
啥不是逆向淘汰?人要外宁自己怀才不遇,总可以找到借口。

【在 d*******r 的大作中提到】
: 明白人, 美国学术界很多时候就是逆向淘汰
avatar
c*9
134
这个观点有些愤青。尽管一些东西很讨厌,但它们的存在有其历史缘由。没这些东西,
大部分搞IT就会失业。现代社会其实就是人力的浪费,这看不出有什么改变的方法。不
喜欢王是因为大家都知道的事情总搞的只有他知道似的。

【在 d*******r 的大作中提到】
: 你讨厌王同学,大可以不必理他,
: 但是你要批判他,至少得认真看看人家的观点吧,
: 我觉得你根本不知道他想干什么,你开始抓着各种细节狂喷了.
: 就我的理解,王同学是觉得从易用性和复杂度来看,C, shell, Unix, SQLDB 等等一大
: 堆上一代的东西,太难用了,都是各种 ad-hoc 的 solutions put together,最后就
: 是很难用,比如:
: 1. 很多 ad-hoc 的 solutions 是用一种残疾 DSL (e.g. SQL, shell, makefile 之类
: ).
: 还比如王同学觉得各种 DB 整来整去,还不如给内存 object 和 硬盘 object 一个统
: 一的抽象,access DB object 就做成access remote 内存 object 那样的过程得了 (

avatar
g*t
135
最后一句说的太对了。多年前装的就跟只有他知道Linux,现在装的就跟只有他知道硬件
可以直接跑计算机语言一样。再过几天,说不定他会发现收音机不是计算机,不需要语
言。

【在 c*******9 的大作中提到】
: 这个观点有些愤青。尽管一些东西很讨厌,但它们的存在有其历史缘由。没这些东西,
: 大部分搞IT就会失业。现代社会其实就是人力的浪费,这看不出有什么改变的方法。不
: 喜欢王是因为大家都知道的事情总搞的只有他知道似的。

avatar
d*r
136
有时真觉得很难沟通呀 ... 可能是我沟通技能还不够好吧 ... -__-
avatar
c*0
137

Exactly. 这个道理王垠是不会明白的。
换个方式说,如果Unix不是这样的话,我觉得根本就火不起来。
王垠不喜欢这套东西,说白了还是因为他受MIT哲学影响太深,总是想做最优雅大一统
的LIST机器。这种思维是和UNIX哲学(完全自由到散漫)格格不入的。
可惜历史一次又一次选择了UNIX哲学而不是MIT哲学。黑客社区的中心从早期的MIT AI
lab转移到后期西部为中心(硅谷),然后是Unix的兴起让MIT帮不得不在Unix上搞一个
Emacs来传承他们的思想。

【在 c*******9 的大作中提到】
: 这个观点有些愤青。尽管一些东西很讨厌,但它们的存在有其历史缘由。没这些东西,
: 大部分搞IT就会失业。现代社会其实就是人力的浪费,这看不出有什么改变的方法。不
: 喜欢王是因为大家都知道的事情总搞的只有他知道似的。

avatar
l*s
138
咱别搞双重标准,马工嘲笑生物博后不一样拿公资说事么。

【在 d*******r 的大作中提到】
: 张朝阳,李开复 确实是自己没什么东西,不管他们顶着多么耀眼的 title
: 李彦宏那个算法貌似比 Google 还早出来?有人考证过没 ?

avatar
h*r
139
哪里有啥UNIX哲学,不如说UNIX被逼学,UNIX苟且偷生学。Unix类能幸存下来,还是靠
了Linus推出了Linux, 十多年前就被Windows挤得几无容身之处。如果不是微软躺在
windows NT内核上睡大觉,不在SMP上努力,以致wintel的performance一塌糊涂,UNIX
里除
了AIX外其他的恐怕早就进了博物馆了。即便今天,HPUX早就进了坟墓了, Solaris这个
自称人类历史上最优秀的OS,也差不多翘了。

AI

【在 c*******0 的大作中提到】
:
: Exactly. 这个道理王垠是不会明白的。
: 换个方式说,如果Unix不是这样的话,我觉得根本就火不起来。
: 王垠不喜欢这套东西,说白了还是因为他受MIT哲学影响太深,总是想做最优雅大一统
: 的LIST机器。这种思维是和UNIX哲学(完全自由到散漫)格格不入的。
: 可惜历史一次又一次选择了UNIX哲学而不是MIT哲学。黑客社区的中心从早期的MIT AI
: lab转移到后期西部为中心(硅谷),然后是Unix的兴起让MIT帮不得不在Unix上搞一个
: Emacs来传承他们的思想。

avatar
g*g
140
开玩笑,Solaris的稳定性和性能跟同时代的windows不在一个量级上。我做了10几年
java开发,从来没用过windows,为啥?Windows跟Solaris/Linux比起来就是渣。
windows那点license fee根本不影响成本。

【在 h****r 的大作中提到】
: 哪里有啥UNIX哲学,不如说UNIX被逼学,UNIX苟且偷生学。Unix类能幸存下来,还是靠
: 了Linus推出了Linux, 十多年前就被Windows挤得几无容身之处。如果不是微软躺在
: windows NT内核上睡大觉,不在SMP上努力,以致wintel的performance一塌糊涂,UNIX
: 里除
: 了AIX外其他的恐怕早就进了博物馆了。即便今天,HPUX早就进了坟墓了, Solaris这个
: 自称人类历史上最优秀的OS,也差不多翘了。
:
: AI

avatar
h*r
141
我当然同意你的说法,我老用了10几年Solaris,可惜市场不这么认为。
今天还有人开新的产品选Solaris吗?

【在 g*****g 的大作中提到】
: 开玩笑,Solaris的稳定性和性能跟同时代的windows不在一个量级上。我做了10几年
: java开发,从来没用过windows,为啥?Windows跟Solaris/Linux比起来就是渣。
: windows那点license fee根本不影响成本。

avatar
H*r
142
理论上整个推倒重来,做得更优化,甩掉历史包袱当然会更好。
但是一个么,需要千千万万的人一起来,另外也没人愿意放弃现成的东西推倒重来。

AI

【在 c*******0 的大作中提到】
:
: Exactly. 这个道理王垠是不会明白的。
: 换个方式说,如果Unix不是这样的话,我觉得根本就火不起来。
: 王垠不喜欢这套东西,说白了还是因为他受MIT哲学影响太深,总是想做最优雅大一统
: 的LIST机器。这种思维是和UNIX哲学(完全自由到散漫)格格不入的。
: 可惜历史一次又一次选择了UNIX哲学而不是MIT哲学。黑客社区的中心从早期的MIT AI
: lab转移到后期西部为中心(硅谷),然后是Unix的兴起让MIT帮不得不在Unix上搞一个
: Emacs来传承他们的思想。

avatar
h*r
143
问题你还在用Solaris吗?

【在 g*****g 的大作中提到】
: 开玩笑,Solaris的稳定性和性能跟同时代的windows不在一个量级上。我做了10几年
: java开发,从来没用过windows,为啥?Windows跟Solaris/Linux比起来就是渣。
: windows那点license fee根本不影响成本。

avatar
c*0
144

Linux,BSD和Solaris都是UNIX哲学的体现。什么叫“靠Linux”?Linux本来就是Unix
系的,完全继承Unix哲学。
微软躺在NT上睡不睡大觉都没关系。微软现在没大觉了,消费者市场一样被BSD+Linux
打得没脾气。
你要是不知道MIT哲学和Unix哲学得区别,看看这篇文章
http://www.jwz.org/doc/worse-is-better.html

【在 h****r 的大作中提到】
: 哪里有啥UNIX哲学,不如说UNIX被逼学,UNIX苟且偷生学。Unix类能幸存下来,还是靠
: 了Linus推出了Linux, 十多年前就被Windows挤得几无容身之处。如果不是微软躺在
: windows NT内核上睡大觉,不在SMP上努力,以致wintel的performance一塌糊涂,UNIX
: 里除
: 了AIX外其他的恐怕早就进了博物馆了。即便今天,HPUX早就进了坟墓了, Solaris这个
: 自称人类历史上最优秀的OS,也差不多翘了。
:
: AI

avatar
g*g
145
Solaris是被Linux干掉的,不是被Windows干掉的。Solaris不行了,是因为Linux牛逼
,不是因为Windows牛逼,这个区别是很大的。

【在 h****r 的大作中提到】
: 我当然同意你的说法,我老用了10几年Solaris,可惜市场不这么认为。
: 今天还有人开新的产品选Solaris吗?

avatar
h*r
146
你或者我或者他明天写篇Go哲学,就有了Go哲学了?哲学有这么低档吗?
Linux出来的时候,最反对咒骂鄙视之的不是微软,恰恰是Solaris群,HPUX群,AIX群
等已存在的UNIX社群,在这里UNIX哲学怎么体现的?Linux也是站在里Intel的肩上,才
有了今天,跟哲学有个头的关系。

Unix
Linux

【在 c*******0 的大作中提到】
:
: Linux,BSD和Solaris都是UNIX哲学的体现。什么叫“靠Linux”?Linux本来就是Unix
: 系的,完全继承Unix哲学。
: 微软躺在NT上睡不睡大觉都没关系。微软现在没大觉了,消费者市场一样被BSD+Linux
: 打得没脾气。
: 你要是不知道MIT哲学和Unix哲学得区别,看看这篇文章
: http://www.jwz.org/doc/worse-is-better.html

avatar
c*0
147

吵架和哲学有什么关系?吵架是因为竞争关系。Ubuntu和Gentoo和Arch天天吵架,他们
不是Linux?SystemD和
upstart天天吵架,他们不是一种软件?
你要是不明白,建议你看看这本书
http://www.amazon.com/Hackers-Computer-Revolution-Anniversary-E
这样你就明白,MIT和Unix两个哲学是如何演变,如何斗争,如何兴衰的。
如果你看了这本书,还有这篇文章,还是不明白什么Unix哲学,以及为什么BSD/Linux
天天吵架,但本质上他们是一个哲学的话,那我们就没啥可说的了,agree to
disagree。

【在 h****r 的大作中提到】
: 你或者我或者他明天写篇Go哲学,就有了Go哲学了?哲学有这么低档吗?
: Linux出来的时候,最反对咒骂鄙视之的不是微软,恰恰是Solaris群,HPUX群,AIX群
: 等已存在的UNIX社群,在这里UNIX哲学怎么体现的?Linux也是站在里Intel的肩上,才
: 有了今天,跟哲学有个头的关系。
:
: Unix
: Linux

avatar
h*r
148
两者兼而有之,10几年前开始整个*nix占有率被击倒10%以内,不是因为windows,而是
因为你?
再说搞java的,十几年前java还是green thread domniant的时代,也发挥不了SMP的优
势,
wintel上也好,*nix上也好, performance都烂得一地,凑*nix的热闹既不方便也没啥
必要。

【在 g*****g 的大作中提到】
: Solaris是被Linux干掉的,不是被Windows干掉的。Solaris不行了,是因为Linux牛逼
: ,不是因为Windows牛逼,这个区别是很大的。

avatar
h*r
149
吵架不是哲学,所谓MIT哲学和Unix哲学更是付儒拥雅,阿猫阿狗都可以写书推销自己
的想法,我们就非得看了信了?
尽信书不如不读书。

Linux

【在 c*******0 的大作中提到】
:
: 吵架和哲学有什么关系?吵架是因为竞争关系。Ubuntu和Gentoo和Arch天天吵架,他们
: 不是Linux?SystemD和
: upstart天天吵架,他们不是一种软件?
: 你要是不明白,建议你看看这本书
: http://www.amazon.com/Hackers-Computer-Revolution-Anniversary-E
: 这样你就明白,MIT和Unix两个哲学是如何演变,如何斗争,如何兴衰的。
: 如果你看了这本书,还有这篇文章,还是不明白什么Unix哲学,以及为什么BSD/Linux
: 天天吵架,但本质上他们是一个哲学的话,那我们就没啥可说的了,agree to
: disagree。

avatar
g*g
150
你丫也太扯了,java 1.2开始在Solaris上支持native thread。J2EE的主要标准ejb,
servlet在99年就支持1.2。我老2000年就开始写J2EE的企业应用。这怎么也是15年前了。
不要跟我老乱倒java的历史,我老比你门请太多了。10年前是Java全面领先的节奏,软
软刚开始想支持Java,后来又陷入官司,最后不得不弄了一个C#出来,到能用都是03年
以后的事情了。
在Server端*Nix从来就没有10*%过。

【在 h****r 的大作中提到】
: 两者兼而有之,10几年前开始整个*nix占有率被击倒10%以内,不是因为windows,而是
: 因为你?
: 再说搞java的,十几年前java还是green thread domniant的时代,也发挥不了SMP的优
: 势,
: wintel上也好,*nix上也好, performance都烂得一地,凑*nix的热闹既不方便也没啥
: 必要。

avatar
h*r
151
开始支持和广泛被使用有没有时间上的区别?green thread啥时候被deprecated?
说句不好听的话,我老玩java的时候,你还在中关村倒电脑吧?

了。

【在 g*****g 的大作中提到】
: 你丫也太扯了,java 1.2开始在Solaris上支持native thread。J2EE的主要标准ejb,
: servlet在99年就支持1.2。我老2000年就开始写J2EE的企业应用。这怎么也是15年前了。
: 不要跟我老乱倒java的历史,我老比你门请太多了。10年前是Java全面领先的节奏,软
: 软刚开始想支持Java,后来又陷入官司,最后不得不弄了一个C#出来,到能用都是03年
: 以后的事情了。
: 在Server端*Nix从来就没有10*%过。

avatar
g*g
152
我老正儿八经学校里上Java课是97年,就你丫也配跟我吹。上次你怎么显摆自己科班出
身丢人又忘了?

【在 h****r 的大作中提到】
: 开始支持和广泛被使用有没有时间上的区别?green thread啥时候被deprecated?
: 说句不好听的话,我老玩java的时候,你还在中关村倒电脑吧?
:
: 了。

avatar
h*r
153
丢啥人?95年java才出来,在美国上学的,97年确实可以接触java。
在国内正儿八经97年学校里上Java课?你不是吹牛当时在努力学习windows包装的C++吗
,带句柄的那种?

【在 g*****g 的大作中提到】
: 我老正儿八经学校里上Java课是97年,就你丫也配跟我吹。上次你怎么显摆自己科班出
: 身丢人又忘了?

avatar
g*g
154
自己去找俺们系的人问问,看看我们啥时候设的课。你丫傻逼孤陋寡闻还成天装逼。
上次拿过家家的本科毕设来跟我比兼职挣培养费闹得笑话还不够?
我老那年代就拿VC赚钱了,你以为跟你小破毕设还牛逼哄哄的?

【在 h****r 的大作中提到】
: 丢啥人?95年java才出来,在美国上学的,97年确实可以接触java。
: 在国内正儿八经97年学校里上Java课?你不是吹牛当时在努力学习windows包装的C++吗
: ,带句柄的那种?

avatar
h*r
155
呵呵,你这人真搞。你们要是能设java课,最多也是选修,有啥好吹的,就这还估计是
你吹的。我们正经用SVR4的,你个搞VC的还好意思得瑟?当年国内VC应用做得好的,
文渊阁算一个,可惜你估计是不知道的,不是我小看你,句柄搞不搞得清楚估计还是个
问题。要不你先google着再回帖?

【在 g*****g 的大作中提到】
: 自己去找俺们系的人问问,看看我们啥时候设的课。你丫傻逼孤陋寡闻还成天装逼。
: 上次拿过家家的本科毕设来跟我比兼职挣培养费闹得笑话还不够?
: 我老那年代就拿VC赚钱了,你以为跟你小破毕设还牛逼哄哄的?

avatar
x*u
156
岁数大了数括号眼花。。。

【在 w***g 的大作中提到】
: 是一个类似lisp的语言。从他的github上拷的test case。看来还是没有跳出前人的窠
: 臼。不过至少比光说不练强。
: -- factorial
: (define fact
: (fun ([:x Int])
: (if (= x 0) 1 (* x (fact (- x 1))))))
: (fact 5)
: ------------- mutural recursive functions -------------
: (define even
: (fun ([:x Int])

avatar
h*r
157
vi能帮到你,呵呵。

【在 x****u 的大作中提到】
: 岁数大了数括号眼花。。。
avatar
x*u
158
遥控器也要单片机,老板的利润怎么办。

【在 g****t 的大作中提到】
: 程序不要OS,直接跑在硬件上。是很常见的实践。这个当然是可行的。你家的电视机遥
: 控器的build in程序多半就是这样的。
: 王把这个当作值得大惊小怪的东西。我非常不理解。

avatar
x*u
159
没用图灵机怎么定义PNP?

【在 h****r 的大作中提到】
: 你要是非要把universal Turing machine和相对论或者薛定谔-狄拉克方程放到同一个
: 高度,
: 我确实也无话可说了,问题是有多少人和你一样看法。我个人觉得即使P=NP这个猜想都
: 要高于universal Turing machine的普遍意义。

avatar
x*u
160
观点冲没人骂,要又蠢又冲才行。

【在 m********5 的大作中提到】
: 虽然他有些东西是挺蠢的
: 我也觉得他这次的这个观点其实还可以的
: 不懂为何版上看到他的东西就骂
: 可能他的话比较冲,无意中得罪了一些人吧

avatar
x*u
161
笔记本装的上solaris么?

【在 h****r 的大作中提到】
: 问题你还在用Solaris吗?
avatar
V*B
162
终于看到一个专业点的回答了
前面太多的只懂语言不懂硬件的人了

【在 l****c 的大作中提到】
: You don't need OS to run C code.
: Before the computer starts OS, it runs code in rom, then bootloader,
: like grub or uboot in embedded system. u-boot supports network,
: tftp and many things. But without OS, it can't do multiasking.
: How useful is a computer without multitasking?
:
: 了。

avatar
V*B
163
我也是这么理解的
实在看不懂王同学想要做什么

【在 g****t 的大作中提到】
: 程序不要OS,直接跑在硬件上。是很常见的实践。这个当然是可行的。你家的电视机遥
: 控器的build in程序多半就是这样的。
: 王把这个当作值得大惊小怪的东西。我非常不理解。

avatar
V*B
164
你老觉得单片机有多贵?

【在 x****u 的大作中提到】
: 遥控器也要单片机,老板的利润怎么办。
avatar
x*u
165
您老觉得遥控器利润有多高?

【在 V******B 的大作中提到】
: 你老觉得单片机有多贵?
avatar
g*g
166
你丫每次装逼装到丢人再往回找,俺们Java偏偏是必修的,你不服我要把成绩单贴出来
你要不要自杀ID?
啥狗屁文渊阁,你小当时还做毕设的水平,就你那两下根本不够拿出来混的。

【在 h****r 的大作中提到】
: 呵呵,你这人真搞。你们要是能设java课,最多也是选修,有啥好吹的,就这还估计是
: 你吹的。我们正经用SVR4的,你个搞VC的还好意思得瑟?当年国内VC应用做得好的,
: 文渊阁算一个,可惜你估计是不知道的,不是我小看你,句柄搞不搞得清楚估计还是个
: 问题。要不你先google着再回帖?

avatar
d*i
167
完全同意,Solaris是最好最棒的操作系统,没有之一,要不是Sun那帮脑残的左派幼稚
病管理层,Solaris应该是现在大部分企业和互联网公司的default操作系统。

【在 g*****g 的大作中提到】
: 开玩笑,Solaris的稳定性和性能跟同时代的windows不在一个量级上。我做了10几年
: java开发,从来没用过windows,为啥?Windows跟Solaris/Linux比起来就是渣。
: windows那点license fee根本不影响成本。

avatar
w*g
168
同意solaris牛X。Sun的技术杠杠的,管理太烂了。

【在 d****i 的大作中提到】
: 完全同意,Solaris是最好最棒的操作系统,没有之一,要不是Sun那帮脑残的左派幼稚
: 病管理层,Solaris应该是现在大部分企业和互联网公司的default操作系统。

avatar
d*i
169
对,MIT帮太乌托邦迂腐学术气了,完全没有硅谷人的那种务实的闯劲,对现代计算机
技术的贡献远不如Stanford和伯克利,甚至不如CMU。

AI

【在 c*******0 的大作中提到】
:
: 吵架和哲学有什么关系?吵架是因为竞争关系。Ubuntu和Gentoo和Arch天天吵架,他们
: 不是Linux?SystemD和
: upstart天天吵架,他们不是一种软件?
: 你要是不明白,建议你看看这本书
: http://www.amazon.com/Hackers-Computer-Revolution-Anniversary-E
: 这样你就明白,MIT和Unix两个哲学是如何演变,如何斗争,如何兴衰的。
: 如果你看了这本书,还有这篇文章,还是不明白什么Unix哲学,以及为什么BSD/Linux
: 天天吵架,但本质上他们是一个哲学的话,那我们就没啥可说的了,agree to
: disagree。

avatar
w*w
170
为什么不能multitasking?不就是把寄存器存了,把栈指针换一下?

【在 l****c 的大作中提到】
: You don't need OS to run C code.
: Before the computer starts OS, it runs code in rom, then bootloader,
: like grub or uboot in embedded system. u-boot supports network,
: tftp and many things. But without OS, it can't do multiasking.
: How useful is a computer without multitasking?
:
: 了。

avatar
a*w
171
Solaris后来也是免费的,为啥会被linux干掉?

【在 g*****g 的大作中提到】
: Solaris是被Linux干掉的,不是被Windows干掉的。Solaris不行了,是因为Linux牛逼
: ,不是因为Windows牛逼,这个区别是很大的。

avatar
d*i
172
Solaris原本和其他UNIX一样,只能run在特定的CPU架构下面(SPARC),硬件成本价格较
贵,就好比AIX之于Power,HP-UX之于PA-RISC, IRIX之于MIPS, Tru64之于Alpha, 就是
计算机界长久以来RISC vs Intel的CISC之争,后来Sun把Solaris port到x86下面,但
是x86下面的version已经不能和原本就是在x86架构下面的Linux争了。

【在 a*w 的大作中提到】
: Solaris后来也是免费的,为啥会被linux干掉?
avatar
t*a
173
个人觉得别人的思想是最难改变的东西。只有站在别人的角度,思路上去思考,才能设
计出别人真正需要的东西。就算东西的理论价值再好,看起来再有用,如果给别人带来
的学习成本太高了也还是很难推广,最多也就是几个geek们用用而已。到目前为止比较
成功的语言大多采用了类C式的语法就说明了这点。
avatar
w*g
174
OpenSolaris出来的时候我试过。当时Linux已经很不错了, 在性能/稳定性上
OpenSolaris没有太大优势。我影响中只有ZFS确实是个杀手锏,不过马上freeBSD也有
了。我记得当时我们搭机群时Linux的NFS性能还很差,带10个节点都有点抗不住。
改成FreeBSD+ZFS做文件服务器,带50+节点都没啥问题。
而当时OpenSolaris安装还会出问题,各种包的版本都比较老,已经无法和Linux竞争了。

【在 a*w 的大作中提到】
: Solaris后来也是免费的,为啥会被linux干掉?
avatar
L*t
175
哈哈,好玩。
你老在ZB中是靠北的--ZNB :)

了。

【在 h****r 的大作中提到】
: 不知你这话何从讲起?
: 那就讲个笑话,
: 大家出生都是Baby,有少数人找到了北,就成了NB, 有人找错了路,南下了,就是SB了。
: 绝大部分没有能力找不到北,又没有gut闯,只能原地打转,转来转去,就成了转B,也
: 就是ZB.
: 我当然没找到北,大概不是ZB就是SB,也许你还抬举我了。

avatar
S*I
176
一个老笑话:
UIUC的教授和学生发明了晶体管,集成电路和计算机算术,所以Intel可以做出处理器(
CPU)来。
微软从CMU找来很多脑袋做出了Windows内核, 有很多毛病,可它可以运行一个CPU,所
以人人买得起。
IBM说,PC的计算能力很有限,又不可靠,所以大机器才是真正的计算机,于是UIUC的
PhD都去了IBM。
Berkeley说,超级计算机不算什么,我用几台PC连在一起转得一点不差。PC也不算什么
,不用网络连起来不好玩。正好这个时候网络泡沫的起来了,Berkeley的PhD们都去了
各个大学教网络课。
Stanford的学生们溜得最快,做AI的教授们还没想明白,yahoo和google就已经开始赚
钱了。
MIT什么都没有,但它的感觉是最好的,因为它可以证明,所有的人在学术上都是它的
孙子的孙子。

【在 d****i 的大作中提到】
: 对,MIT帮太乌托邦迂腐学术气了,完全没有硅谷人的那种务实的闯劲,对现代计算机
: 技术的贡献远不如Stanford和伯克利,甚至不如CMU。
:
: AI

avatar
r*y
177
每次这个版上要比气场但是又没有一个主持人说“开始”的时候,就转一篇王垠的文章,
然后就开始了。
每次效果都很好,尽管每次说的差不多都是车轱辘话。。。

【在 x****u 的大作中提到】
: 还是不忘show对于体系结构的无知。
: 说今天的硬件设计和OS妨碍他发挥了,程序要离开OS直接跑在硬件上。
: http://www.yinwang.org/blog-cn/2014/05/08/yin-lang/
: “也就是说,Yin 语言最终将独立于任何操作系统,完全独立地运行于硬件之上。很多
: 人都没有意识到 Unix 等操作系统,其实不但给程序员带来了过度的复杂性,而且由于
: 它们的实现并不能支持现代程序语言,所以其实不能最大化的发挥硬件的效能。”

avatar
t*i
178
vmware不是跑在os上?

【在 w***g 的大作中提到】
: 驱动在库中实现。如果只是做server跑在vmware上,其实没几个驱动要写。
: 他这个东西不一定能实现他说的这套理想。但是我觉得他设计出来的语言应该不至于太
: 差。

avatar
x*u
179
Solaris的桌面系统非常反人类,你还得整个Windows或者Mac天天用。

【在 d****i 的大作中提到】
: 完全同意,Solaris是最好最棒的操作系统,没有之一,要不是Sun那帮脑残的左派幼稚
: 病管理层,Solaris应该是现在大部分企业和互联网公司的default操作系统。

avatar
x*u
180
文科老笑话

器(

【在 S**I 的大作中提到】
: 一个老笑话:
: UIUC的教授和学生发明了晶体管,集成电路和计算机算术,所以Intel可以做出处理器(
: CPU)来。
: 微软从CMU找来很多脑袋做出了Windows内核, 有很多毛病,可它可以运行一个CPU,所
: 以人人买得起。
: IBM说,PC的计算能力很有限,又不可靠,所以大机器才是真正的计算机,于是UIUC的
: PhD都去了IBM。
: Berkeley说,超级计算机不算什么,我用几台PC连在一起转得一点不差。PC也不算什么
: ,不用网络连起来不好玩。正好这个时候网络泡沫的起来了,Berkeley的PhD们都去了
: 各个大学教网络课。

avatar
x*u
181
王垠兴趣多变,大家当然是追着打。

章,

【在 r****y 的大作中提到】
: 每次这个版上要比气场但是又没有一个主持人说“开始”的时候,就转一篇王垠的文章,
: 然后就开始了。
: 每次效果都很好,尽管每次说的差不多都是车轱辘话。。。

avatar
r*y
182
这么值得被关注?

【在 x****u 的大作中提到】
: 王垠兴趣多变,大家当然是追着打。
:
: 章,

avatar
x*u
183
脑残粉多自然容易被打脸。

【在 r****y 的大作中提到】
: 这么值得被关注?
avatar
g*t
184
图灵可是普林斯顿的phd

器(

【在 S**I 的大作中提到】
: 一个老笑话:
: UIUC的教授和学生发明了晶体管,集成电路和计算机算术,所以Intel可以做出处理器(
: CPU)来。
: 微软从CMU找来很多脑袋做出了Windows内核, 有很多毛病,可它可以运行一个CPU,所
: 以人人买得起。
: IBM说,PC的计算能力很有限,又不可靠,所以大机器才是真正的计算机,于是UIUC的
: PhD都去了IBM。
: Berkeley说,超级计算机不算什么,我用几台PC连在一起转得一点不差。PC也不算什么
: ,不用网络连起来不好玩。正好这个时候网络泡沫的起来了,Berkeley的PhD们都去了
: 各个大学教网络课。

avatar
d*i
185
CDE很好用啊,那个四个窗口的多桌面环境,即使现在的GNOME和KDE也模仿继承了这个
CDE的传统,后来那个Java Desktop就算了,和Windows太像了反而不好。

【在 x****u 的大作中提到】
: Solaris的桌面系统非常反人类,你还得整个Windows或者Mac天天用。
avatar
z*e
186
google了一下,感觉挺不错一孩子啊
avatar
L*n
187
人兴趣多变关你屁事

【在 x****u 的大作中提到】
: 王垠兴趣多变,大家当然是追着打。
:
: 章,

avatar
x*u
188
就算你喜欢CDE,笔记本也不支持。

【在 d****i 的大作中提到】
: CDE很好用啊,那个四个窗口的多桌面环境,即使现在的GNOME和KDE也模仿继承了这个
: CDE的传统,后来那个Java Desktop就算了,和Windows太像了反而不好。

avatar
x*u
189
只许罗玉凤奔,不许大家议论了?

【在 L***n 的大作中提到】
: 人兴趣多变关你屁事
avatar
t*n
190
可惜王垠不上这个网站。不然多热闹。他根本就无所谓。你说你的,我干我的。

【在 x****u 的大作中提到】
: 只许罗玉凤奔,不许大家议论了?
avatar
x*u
191
罗玉凤也不上这个网站。

【在 t*****n 的大作中提到】
: 可惜王垠不上这个网站。不然多热闹。他根本就无所谓。你说你的,我干我的。
avatar
n*u
192
我一直很好奇,为什么这么东西的名字整天在这里出现
avatar
r*y
193
我在楼上给出了这个问题的答案。
坦率地说,版上好几位练coding-boxing的,训练方式之一就是拿王垠做不在场的沙袋。

【在 n**u 的大作中提到】
: 我一直很好奇,为什么这么东西的名字整天在这里出现
avatar
t*n
194
给王垠发个链接。让他过来练练。

袋。

【在 r****y 的大作中提到】
: 我在楼上给出了这个问题的答案。
: 坦率地说,版上好几位练coding-boxing的,训练方式之一就是拿王垠做不在场的沙袋。

avatar
r*y
195
还不如给martial arts版的弟兄们打个招呼

【在 t*****n 的大作中提到】
: 给王垠发个链接。让他过来练练。
:
: 袋。

avatar
x*u
196
不只是这里,他就是CS的凤姐,给大家取乐的。

【在 n**u 的大作中提到】
: 我一直很好奇,为什么这么东西的名字整天在这里出现
avatar
L*n
197
问题是谁是罗玉风,他还是你?

【在 x****u 的大作中提到】
: 只许罗玉凤奔,不许大家议论了?
avatar
x*u
198
当然看偶像人数了,你家凤姐偶像遍布全球呢。

【在 L***n 的大作中提到】
: 问题是谁是罗玉风,他还是你?
avatar
L*n
199
你是一clown这是我的唯一感觉啊,他起码有code,你有
什么东西拿出来练练?

【在 x****u 的大作中提到】
: 当然看偶像人数了,你家凤姐偶像遍布全球呢。
avatar
x*u
200
凤姐还发照片征过婚呢?比你这个clown强多了。

【在 L***n 的大作中提到】
: 你是一clown这是我的唯一感觉啊,他起码有code,你有
: 什么东西拿出来练练?

avatar
L*n
201
我就喜欢抽你丫这样的,没code就你妈闭嘴吧,二逼

受不
汽车

【在 x****u 的大作中提到】
: 凤姐还发照片征过婚呢?比你这个clown强多了。
avatar
x*u
202
哈哈,垠粉走好。

【在 L***n 的大作中提到】
: 我就喜欢抽你丫这样的,没code就你妈闭嘴吧,二逼
:
: 受不
: 汽车

avatar
V*B
203
我也很好奇

【在 t******i 的大作中提到】
: vmware不是跑在os上?
相关阅读
logo
联系我们隐私协议©2024 redian.news
Redian新闻
Redian.news刊载任何文章,不代表同意其说法或描述,仅为提供更多信息,也不构成任何建议。文章信息的合法性及真实性由其作者负责,与Redian.news及其运营公司无关。欢迎投稿,如发现稿件侵权,或作者不愿在本网发表文章,请版权拥有者通知本网处理。