V2EX = way to explore
V2EX 是一个关于分享和探索的地方
Sign Up Now
For Existing Member Sign In
推荐学习书目
› Learn Python the Hard Way
Python Sites
› PyPI - Python Package Index
› http://diveintopython.org/toc/index.html
› Pocoo
值得关注的项目
› PyPy
› Celery
› Jinja2
› Read the Docs
› gevent
› pyenv
› virtualenv
› Stackless Python
› Beautiful Soup
› 结巴中文分词
› Green Unicorn
› Sentry
› Shovel
› Pyflakes
› pytest
Python 编程
› pep8 Checker
Styles
› PEP 8
› Google Python Style Guide
› Code Style from The Hitchhiker's Guide
This topic created in 4576 days ago, the information mentioned may be changed or developed.
 |
1
syv2 Oct 29, 2013
虽然用不上，还是想看看
|
 |
2
yuelang85 Oct 29, 2013
帅！！
|
 |
3
Paranoid Oct 29, 2013
怎么生活中就碰不上神一样的人物呢..... 看着真不现实呀,都不知道大神的代码讲啥意思 ......
|
 |
4
qianlifeng Oct 29, 2013
大神级人物啊
|
 |
5
lsj5031 Oct 29, 2013  2
我突然很好奇有没有有人专门读代码写一些代码的点评和分享的？
|
 |
6
Mihuwa Oct 29, 2013 via iPhone
膜拜
|
 |
7
richiefans Oct 29, 2013
不太懂 这是干啥的
|
 |
8
yangxin0 Oct 29, 2013
能够开源说明对自己的代码还是有信心
|
|
9
lsj5031 Oct 29, 2013
@richiefans 静态分析，应该是指不运行代码单纯从代码文本上做语法分析词法分析来判断代码有没有错误。印象流……可以google确认下。
|
 |
10
eric_zyh Oct 29, 2013
只能仰望...
|
 |
11
est Oct 29, 2013
不明觉历。
|
 |
12
itfanr Oct 29, 2013
不知道是啥东东
|
 |
13
Just1n Oct 29, 2013
没人觉得这家伙其实还是很帅的么？
|
 |
14
xpfd Oct 29, 2013
看看这次这个喜欢吹牛逼的嘴炮写的神马牛逼的东西
|
 |
17
qingfeng Oct 29, 2013
C++静态分析工具最强的是Coverity
|
 |
18
judasnow Oct 29, 2013 1
这哥们在 Coverity 工作过。Coverity 已被黑。
http://yinwang0.lofter.com/post/183ec2_6e3bad |
 |
19
Sherlockhlt Oct 29, 2013
|
 |
20
cchange Oct 29, 2013 via iPhone
|
 |
21
Golevka Oct 30, 2013
Coverity已加入黑得起豪华午餐
|
 |
23
heganj Oct 30, 2013 2
王垠大大没有发表的post，不知道大家看了没有 https://github.com/yinwang0/blog-cn/blob/gh-pages/_posts/2013-10-05-random-words.md
|
 |
24
hooluupog Oct 30, 2013
人家肯定是牛人，这个不用怀疑了。只是很多人看不惯他那种狂妄的语气。
王垠自己开发的Ylang编程语言现在在github上还只是个说明文件，等他把这个搞出来，倒是非常希望看看他心目中的编程语言是啥样的。 |
 |
25
tioover Oct 30, 2013
其准确程度超过了所有的 Python IDE （包括 PyCharm 3.0 在内）。
============ 很期待……整合成Vim 插件，这样就能自豪地说Vim > IDE。 |
 |
26
efi Oct 30, 2013
> 所以到后来再有人找我做 Python 相关的工作，我都一概不理了，因为我发现选择 Python 做主要编程语言的公司一般都比较脑残和目光短浅。他们完全不能明白，自己其实是在跟一个水平远在所有 Python 程序员之上，远在 Guido van Rossum（Python 的创造者）之上的人说话。
|
 |
27
vixvix Oct 30, 2013
有人知道大神现在在哪个公司做研究？
|
|
28
qingfeng Oct 30, 2013
@Sherlockhlt
@cchange 切，Coverity的C++静态分析工具在王垠加入之前已经很牛X了，有没有王垠对他们根本没有影响。我们公司买了一套，死贵死贵的。具体有多强悍，就不跟你们share了！绝对秒杀市面上互联网能down到的所有玩具静态分析软件。 |
 |
31
ChiangDi Oct 30, 2013
不明覺厲。但是覺得他是狂妄了點，總是有種老子天下第一的感覺
|
 |
35
imzshh Oct 30, 2013
居然是java写的。。。要是用python来写的话，不就能自己分析自己了？就好像人类研究大脑的思考一样……
|
 |
36
luikore Oct 30, 2013
目测是换了个递归检测方法的抽象解释
C 实现的方法是不容易拿到类型信息的, 不过 Java 实现的大概好些 (所以就是用 Jython 的原因?) 如果写几个多类型的数组, 例如 [1,"hello",3.5,String] 还是会类型爆炸变得很慢的 |
 |
38
terry6394 Oct 30, 2013
好家伙~~~ 我喜欢!
|
 |
39
xiaket Oct 30, 2013
弄下来试了下, 貌似的确用不到.
Mac下想玩的同学, 请先安装JDK, 然后brew install ant, 后面就比较正常了. 跑demo的时候注意下, 需要在jython那个目录里面跑. 如果你用sh build.sh来编译, 跑demo命令的时候会发现遇到路径问题. |
|
40
Sherlockhlt Oct 30, 2013
@qingfeng
贵公司是？ |
 |
41
min Oct 30, 2013 1
这玩意怎么玩，求解释
|
 |
42
Hawk Oct 30, 2013
=w= 大神到底有没有一个固定的blog啊
不知道V2ER对王垠评价如何 反正以前我每次看他的文章都觉得整个人都精神起来了(褒义)~！ |
 |
43
fanTasy Oct 30, 2013
|
|
44
vixvix Oct 30, 2013
他黑Coverity的讲得都是很普遍的现象，但公司做产品的当然是讲求效益，还有人员的可替换性。他应该跑去大公司的研究院，研究机构，或者干脆留学校。除非哪天做出啥东西象Linus Torvalds那样被供着。
不知道在Voxer能待多久。 |
 |
47
luoqeng Oct 31, 2013
@luikore
「后来具体的对话我忘记了，但是她说得那么战战兢兢的，确实给了我一些压力。再加上 Steve 那个闷声子，真是不好受。所以那个周末我没有出去玩，我下载了一个 Jython，把它的 parser 文件 (ANTLR) 拿出来。自己设计了一个更简单的 AST 数据结构，把这个 parser 生成的 AST 转换成我的结构。然后就开始在上面写一个抽象解释器。由于 Java 的限制，我想出了一个更简洁的用 Java 实现解释器的方法，从而避免了使用繁琐的 visitor pattern。一个周末之后，我做出了一个基本的原型。当然因为 Python 语言的复杂性，有很多细节的东西到后来才完全的实现。」 http://kb.cnblogs.com/page/153841/ |
|
48
luikore Oct 31, 2013
@luoqeng 所以用 Jython 的原因就是因为 google... 看到内建方法的签名是在 https://github.com/yinwang0/pysonar2/blob/master/Builtins.java 硬编码上去的了.
|
 |
49
ghbjy1128 Oct 31, 2013
这哥们真是耐不住寂寞啊。
|
 |
50
hick Nov 1, 2013
果然淫王啊。。。 哈哈哈哈
|
Select Language