王垠

lambda calculus语言解释器

  看到王垠的这篇博文《怎样写一个解释器》，里面简单介绍了lambdacalculus语言及解释器，即简单又抓住了解释器的实质。
hjx5200·2014-05-04 00:00

王垠：如何掌握程序语言

  学习程序语言是每个程序员的必经之路。可是这个世界上有太多的程序语言，每一种都号称具有最新的“特性”。所以程序员的苦恼就在于总是需要学习各种稀奇古怪的语言，而且必须紧跟“潮流”，否则就怕被时代所淘汰。  作为一个程序语言的研究者，我深深的知道这种心理产生的根源。程序语言里面其实有着非常简单，永恒不变的原理。看到了它们，就可以在很短的时间之内就能学会并且开始使用任何新的语言，而不是花费很多功夫去学
hjx5200·2014-04-23 16:00

从工具的奴隶到工具的主人

作者：王垠当我高中毕业进入大学计算机系的时候，辅导员对我们说：“你们不要只学书本知识，也要多见识一下业界的动态，比如去电脑城看看人家怎么装机。”当然他说我们要多动手，多长见识，这是对的。
孙洋·2014-04-22 13:14

学习知识的一种思路

   昨天看到王垠博士的思维导图，里面有个很重要的概念就是学习知识分类，然后不断的细化下去。听说写作也是一样，作家也是先写好提纲，然后一点点填充内容。
hackmind·2014-04-13 13:00

关于那篇"如何成为一名黑客"

现在看到不错的版本是这一份,不过还是有错别字:http://translations.readthedocs.org/en/latest/hacker_howto.html因为是看了王垠一片博客,偶然自己又翻了一遍这个文章
题叶·2014-04-12 00:00

vim中的杀手级插件: YouCompleteMe

引用王垠的一段文字：“文本编辑器”这种东西一般都不真正的理解程序语言。很多Emacs和vi的用户以为用etags和ctags这样的工具就能让他们“跳转到定义”，然而这些tags工具其实只是对程
u011923747·2014-03-18 17:00

如果你驾驭不了，就请低调

        最近在阅读王垠的一些关于计算机方面独到的思想，特别是他的博客，一些观点还是比较具有启发性的，他分析的一些计算机的问题，如程序，语言，操作系统等等都是特别新颖的，或者说是无法理解，无法想象的
Simbo·2014-03-07 22:00

对<王垠:一种新的操作系统设计>一文的批评(3):一个操作系

一个操作系统为了说明某种情况,我先写一段伪代码模拟从Torrent到下载MP4,然后创建窗口再到播放的过程!请注意他不是任何现实的语言,也不是一个真实的过程该过程不是建立在任何已有的系统之上的这为了让有些东西看起来更直观一些目前而言没有任何痕迹表明这个系统是确实可行的//----节点node0 //----这是进程0(或者微函数0,以下的进程和微函数请自行区别)(pid0)---- //微函数是有
方小葱·2014-02-14 07:00

对<王垠:一种新的操作系统设计>一文的批评(2)

十年前的你和十年前的我对于之前的文章,我很高兴你能看到,并且在你的博客中对之前的文章做了相应的修订和扩充(虽然我觉得这只是这些观点变得越来越离谱)!你觉得这是十年前你的思想(言外之意是这些言论是陈旧的,迂腐的,你想的比任何人都高远),但是要说经历,或许我完全跟你相反,总的来说:我觉得你或许是从实用主义成长为理想主义,而我,则从理想主义退化成实用主义!如果要给自己贴标签,我觉得是一个Java程序员,
方小葱·2014-02-13 21:00

对<王垠:一种新的操作系统设计>一文的批评(1)

缘起有个据说很NB的家伙写了一篇关于要设计一个超越Unix哲学的操作系统的博客!然后,我就很郁闷了!然后就花了一个晚上无聊的给他发了一封邮件!由于他没说文章能转,那就不转了.贴上连接,有无聊好奇的看官可以先浏览他的观点!博客: http://www.yinwang.org/blog-cn/2013/04/14/os-design/-------------邮件内容如下---------------
方小葱·2014-02-12 02:00

王垠：程序员的心理疾病

说实话，虽然似乎为之奋斗了十多年，在真正进入软件行业的短短一年之后，我已经对它感到相当的厌倦了。这并不是说这个行业没有前景，而是在这个行业工作，其实很难得到心理上的快乐。人们说女怕嫁错郎，男怕入错行。我并不认为自己入错了行，我仍然很喜欢设计程序和语言，而且我显然是这个领域的王牌之一。然而我却看到了这个行业里的无限混沌，让我觉得喘不过气来。几十年的垃圾设计堆积在那里，却没有人试图把它们清理掉，权威主
Yamazaki·2014-02-11 16:00

<转>程序员的心理疾病

注：本文转自大神王垠的博客 原文出处 http://www.yinwang.org/blog-cn/2014/02/09/programmer-mental/   说实话，虽然似乎为之奋斗了十多年
·2014-02-11 00:00

清华大学退学研究生王垠的关于linux的文章

作者写的很好，虽然有点偏激，但是确实说的很对。我已经半年没有使用Windows的方式工作了。Linux高效的完成了我所有的工作。GNU/Linux不是每个人都想用的。如果你只需要处理一般的事务，打游戏，那么你不需要了解下面这些了。我不是一个狂热的自由软件份子，虽然我很喜欢自由软件。这篇文章也不是用来推行自由软件运动的，虽然我觉得自由软件运动是非常好的。这篇文章也不是用来比较Linux和Window
yaoel·2014-01-20 15:20

想向王垠请教的话

http://geek.csdn.net/news/detail/3842CSDN的总编有机会与王垠聊天。而我也有些东西想了解。就回复了一下：1，他总是在比较短的时间内改变想法。几个月内。
wide288·2014-01-14 15:00

清华梦的粉碎——写给清华大学的退学申请

         王垠，四川大学97级本科毕业，保送到清华大学计算机系直博。期间曾在清华大学计算机系软件所就读，主要进行集成电路布线算法的研究。
hxz_qlh·2014-01-08 16:00

2014年阅读资料总结

去年看了好多东西，年底的时候想总结，到现在也没有时间整理，所以，今年，索性我就看一篇整理一篇，这种渐进性的思维应该会减轻我的工作量，而不要所有事情都堆在年底，要知道，年很难过啊~~大家杂谈我和权威的故事--王垠
duqi_2009·2014-01-07 13:00

王垠：我和权威的故事

阅读更多每个人小时候心里都是没有权威的，就像每个人小时候也都不相信广告一样。可是权威就像广告，它埋伏在你的潜意识里。听一遍不信，听两遍不信，……，直到一千遍的时候，它忽然开始起作用了，而且这作用越来越强。消灭广告所造成的幻觉，最好的办法就是去尝试，去实地的考察它。有些虚幻的东西只要你第一次尝试就会像肥皂泡一样破灭掉。可是如果你不主动去接触它，它就会一直在你脑海里造成一种美好神圣的假象。越是得不到的
banaba·2014-01-07 13:00

王垠：我和权威的故事

阅读更多每个人小时候心里都是没有权威的，就像每个人小时候也都不相信广告一样。可是权威就像广告，它埋伏在你的潜意识里。听一遍不信，听两遍不信，……，直到一千遍的时候，它忽然开始起作用了，而且这作用越来越强。消灭广告所造成的幻觉，最好的办法就是去尝试，去实地的考察它。有些虚幻的东西只要你第一次尝试就会像肥皂泡一样破灭掉。可是如果你不主动去接触它，它就会一直在你脑海里造成一种美好神圣的假象。越是得不到的
banaba·2014-01-07 13:00

王垠：我和权威的故事

每个人小时候心里都是没有权威的，就像每个人小时候也都不相信广告一样。可是权威就像广告，它埋伏在你的潜意识里。听一遍不信，听两遍不信，……，直到一千遍的时候，它忽然开始起作用了，而且这作用越来越强。   消灭广告所造成的幻觉，最好的办法就是去尝试，去实地的考察它。有些虚幻的东西只要你第一次尝试就会像肥皂泡一样破灭掉。可是如果你不主动去接触它，它就会一直在你脑海里造成一种美好神圣的假象。
banaba·2014-01-07 13:00

清华申请退学博士作品：完全用Linux工作

尽管我们已经不习惯看长篇大论, 但我还是要说, 这是一篇值得你从头读到尾的长篇文章. 2005年9月22日，清华在读博士生王垠在水木社区BLOG上发表了《清华梦的粉碎--写给清华大学的退学申请》明确要求退学
frpdlut·2013-11-24 18:00

王垠：对TAOCP的真正看法

本来早就想想写一个对于Knuth的TheArtofComputerProgramming的看法。没想到一去Amazon就找到一个同类:)关于Knuth的TAOCP，我想，大部分人声称看了他的书，或者买了他的书，不过是作为一种炫耀的资本或者摆设。我对门的同学几年前就买了一套三本，全新的精装本，花了200多块钱。可是呢，他从来就没看。我把它借过来，看了几页就放在那里没有看了。我哪有时间看他用那些一个字
beswkwangbo·2013-11-22 15:30

王垠：编辑器与IDE

无谓的编辑器战争很多人都喜欢争论哪个编辑器是最好的。其中最大的争论莫过于Emacs与vi之争。vi的支持者喜欢说：“看vi打起字来多快，手指完全不离键盘，连方向键都可以不用。”Emacs的支持者往往对此不屑一顾，说：“打字再快又有什么用。我在Emacs里面按一个键，等于你在vi里面按几十个键。”其实还有另外一帮人，这些人喜欢说：“对于Emacs与vi之争，我的答案是{jEdit，Geany,Tex
beswkwangbo·2013-11-13 14:51

王垠：丘奇和图灵

丘奇（AlonzoChurch）和图灵（AlanTuring）是两位对计算机科学具有最大影响力的人物，然而他们却具有非常对立的观点和相差很多的名气。在我长达16年的计算机科学生涯中，总是感觉到自己的思想反反复复的徘徊于这两个“阵营”之间。丘奇代表了“逻辑”和“语言”，而图灵代表着“物理”和“机器”。在前面的8年中，我对丘奇一无所知，而在后面的8年中，我却很少再听到图灵的名字。他们的观点谁对谁错，是
beswkwangbo·2013-11-13 14:37

王垠：清华梦的粉碎—写给清华大学的退学申请（来自shredderyin 的博客）

清华梦的诞生小时候，妈妈给我一个梦。她指着一个大哥哥的照片对我说，这是爸爸的学生，他考上了清华大学，他是我们中学的骄傲。长大后，你也要进入清华大学读书，为我们家争光。我不知道清华是什么样子，但是我知道爱迪生和牛顿的故事。清华，大概就是可以把我造就成他们这种人的地方吧。我幼小的脑海里就想象出我能在清华做的事情……我的脸上浮现出笑容。我说我要实现这个“清华梦”。这就是清华梦的诞生。小小科学家我相信每个
beswkwangbo·2013-11-07 18:01

王垠：我看PhD

by王垠前段时间看了一下这些关于PhD的负面信息：一个专门反对读PhD的BLOG叫“100ReasonsNOTtoGotoGraduateSchool”（下文简称“100个理由”）哈佛大学教授WilliamJames
beswkwangbo·2013-11-05 17:46

清华申请退学博士作品：完全用Linux工作，凸Windows

清华申请退学博士作品：完全用Linux工作尽管我们已经不习惯看长篇大论,但我还是要说,这是一篇值得你从头读到尾的长篇文章.2005年9月22日，清华在读博士生王垠在水木社区BLOG上发表了《清华梦的粉碎
dongwuming·2013-08-16 17:00

清华申请退学博士作品：完全用Linux工作

按:尽管我们已经不习惯看长篇大论,但我还是要说,这是一篇值得你从头读到尾的长篇文章.2005年9月22日，清华在读博士生王垠在水木社区BLOG上发表了《清华梦的粉碎--写给清华大学的退学申请》明确要求退学
u011042188·2013-08-14 15:00

完全用Linux工作，摈弃Windows

原文：《完全用Linux工作，摈弃Windows》作者：王垠题记：1.有个朋友看我半年没有用Windows，有时就会问我："你只用Linux，有没有发现有些Windows能处理的事情Linux干不了？"
callofdutyops·2013-08-12 22:11

点评一下王垠的新博文: Oberon 操作系统：一个被忽略的珍宝

远古邪恶巨坑的日记远古邪恶巨坑的主页广播相册喜欢活动发豆邮点评一下王垠的新博文:Oberon操作系统：一个被忽略的珍宝2013-03-0816:31:26原文链接:http://blog.sina.com.cn
584250550·2013-07-09 20:44

Church 整数前驱的推导

Church 整数前驱的推导比其后继复杂得多，wiki中一个前驱的定义据王垠的博客里说，是他一个数学系的同学花一星期时间推导出来的， 其定义确实比其它介绍lambda的文章中用pair来实现(据说是图灵的学长花了
·2013-06-20 22:00

王垠的个人主页

http://docs.huihoo.com/homepage/shredderyin/王垠的个人主页spell欢迎参观我的blog:http://spaces.msn.com/members/shredderyin
584250550·2013-05-23 10:45

完全用Linux工作

王垠：完全用Linux工作来自:韩王韦(allesklar)2010-06-2120:06:51录一篇旧文作者：王垠完全用Linux工作，抛弃windows我已经半年没有使用Windows的方式工作了。
584250550·2013-05-23 10:50

王垠：编辑器与IDE

无谓的编辑器战争很多人都喜欢争论哪个编辑器是最好的。其中最大的争论莫过于Emacs与vi之争。vi的支持者喜欢说：“看vi打起字来多快，手指完全不离键盘，连方向键都可以不用。”Emacs的支持者往往对此不屑一顾，说：“打字再快又有什么用。我在Emacs里面按一个键，等于你在vi里面按几十个键。”其实还有另外一帮人，这些人喜欢说：“对于Emacs与vi之争，我的答案是{jEdit，Geany,Tex
johanyi·2013-05-22 16:00

谈程序语言的设计及程序员心态

我最近读王垠的博客，里面有些文章使我很受益。他总结了程序语言设计上的两个问题：一是片面追求短小，用C语言做例子；二是试图容纳世界，用python做例子。
ctcwri·2013-05-05 21:00

王垠：什么是“对用户友好”

当我提到一个工具“对用户不友好”(user-unfriendly)的时候，我总是被人“鄙视”。难道这就叫“以其人之道还治其人之身”？想当年有人对我抱怨Linux或者TeX对用户不友好的时候，我貌似也差不多的态度吧。现在当我指出TeX的各种缺点，提出新的解决方案的时候，往往会有美国同学眼角一抬，说：“菜鸟们抱怨工具不好用，那是因为他们不会用。LaTeX是‘所想即所得’，所以不像Word之类的上手。”
ctcwri·2013-04-28 13:00

王垠：谈 Linux，Windows 和 Mac

这段时间受到很多人的来信。他们看了我很早以前写的推崇Linux的文章，想知道如何“抛弃Windows，学习Linux”。天知道他们在哪里找到那么老的文章，真是好事不出门……我觉得我有责任消除我以前的文章对人的误导，洗清我这个“Linux狂热分子”的恶名。我觉得我已经写过一些澄清的文章了，可是怎么还是有人来信问Linux的问题。也许因为感觉到“舆论压力”，我把文章都删了。简言之，我想对那些觉得Lin
ctcwri·2013-04-28 13:37

王垠：谈 Linux，Windows 和 Mac

这段时间受到很多人的来信。他们看了我很早以前写的推崇Linux的文章，想知道如何“抛弃Windows，学习Linux”。天知道他们在哪里找到那么老的文章，真是好事不出门……我觉得我有责任消除我以前的文章对人的误导，洗清我这个“Linux狂热分子”的恶名。我觉得我已经写过一些澄清的文章了，可是怎么还是有人来信问Linux的问题。也许因为感觉到“舆论压力”，我把文章都删了。简言之，我想对那些觉得Lin
ctcwri·2013-04-28 13:00

如何设计一门语言（一）——什么是坑(a)

这个系列的起因是这样的，王垠写了一篇喷go的博客http://www.yinwang.org/blog-cn/2013/04/24/go-language/，里面说go已经烂到无可救药了，已经懒得说了，
·2013-04-27 17:00

如何设计一门语言（一）——什么是坑(a)

如何设计一门语言（一）——什么是坑(a)这个系列的起因是这样的，王垠写了一篇喷go的博客http://www.yinwang.org/blog-cn/2013/04/24/go-language/，里面说
λ-calculus（惊愕到手了欧耶，GetBlogPostIds.aspx）·2013-04-27 17:00

王垠：谈程序的“通用性”

源：http://www.oschina.net/news/39968/programe-generality评：在现实的软件工程中，我经常发现这样的一种现象。本来用很简单的代码就可以解决的问题，却因为设计者对“通用性”，“可维护性”和“可扩展性”的盲目推崇，被搞得绕了几道弯，让人琢磨不透。这些人的思维方式是这样的：“将来这段代码可能会被用到更多的场合，所以我现在就考虑到扩展问题。”于是乎，他们在
MauerSu·2013-04-26 17:00

Latex 中文支持CJK的安装与配置

中文支持CJK的安装与配置在这里记一下自己Latex中文安装与配置的方法,为还没有搞定这个问题的朋友们提供一点小小的帮助.CJK的安装包可以从这里下载得到:http://www.cjk.org我们还可以从王垠的个人主页下载一个方便安装的程序
gaorongchao1990626·2013-04-23 20:00

谈 Linux，Windows 和 Mac —— 王垠

这段时间受到很多人的来信。他们看了我很早以前写的推崇Linux的文章，想知道如何“抛弃Windows，学习Linux”。天知道他们在哪里找到那么老的文章，真是好事不出门……我觉得我有责任消除我以前的文章对人的误导，洗清我这个“Linux狂热分子”的恶名。我觉得我已经写过一些澄清的文章了，可是怎么还是有人来信问Linux的问题。也许因为感觉到“舆论压力”，我把文章都删了。简言之，我想对那些觉得Lin
czzshr·2013-03-21 09:01

我和Google的故事

我和Google的故事作者:王垠注：王垠，四川大学97级本科毕业，保送到清华大学计算机系直博。期间曾在清华大学计算机系软件所就读，主要进行集成电路布线算法的研究。
LeafSummer·2013-03-17 03:00

完全用Linux工作，抛弃windows

作者：王垠完全用Linux工作，抛弃windows我已经半年没有使用Windows的方式工作了。Linux高效的完成了我所有的工作。GNU/Linux不是每个人都想用的。
simanstar·2013-03-16 00:00

解密“设计模式“——王垠

有些人问我，你说学习操作系统的最好办法是学习程序设计。那我们是不是应该学习一些“设计模式”（designpatterns）。这是一个我很早就有定论，而且经过实践检验的问题，所以想在这里做一个总结。总的来说，如果光从字面上讲，程序里确实是有一些“模式”可以发掘的。因为你总是可以借鉴以前的经验，用来构造新的程序。你可以把这种经验叫做“模式”。可是自从《设计模式》（通常叫做GoF，“GangofFour
Jerikc·2013-03-08 20:00

OS之争：永不停歇的战争

OS之争：永不停歇的战争（一）不是专家和王垠不一样，和云风不一样，他们是大牛逼，而我只是个无名小卒。不是扫地僧，只是无名小卒。但是作为一个小卒，从看到王垠的《用Linux工作》开始，也有五六个年头了。
·2013-03-05 12:00

操作系统与汉堡-王垠再评linux，MAC OS， Windows

好的工具是只需要学几条简单的规则，就可以灵活运用的在做开发的时候，我也是一直遵循着用户操作尽可能的简单，程序设计尽可能的简单看了王垠的这篇文章，蛮合我的胃口，我觉得作者说得对，以下是原文：好了，现在来一点技术性的
foxidea·2013-03-05 11:00

也谈Linux和Windows

看到王垠的博客 《漫谈 Linux，Windows 和 Mac》 ，他在很多年前写过一篇很出名的文章 《完全用Linux工作》 ，这篇文章影响了很多人，包括我，当年折腾 mutt就是受这篇文章影响
gaopenghigh·2013-03-04 13:00

Bash readline 使用技巧

(2003-05-2108:43:15)Byideal,出处：http://learn.tsinghua.edu.cn/homepage/015450/readline.html作者：王垠Bashreadline
donworry·2013-02-16 09:10

Bash readline 使用技巧

(2003-05-2108:43:15)Byideal,出处：http://learn.tsinghua.edu.cn/homepage/015450/readline.html作者：王垠Bashreadline
donworry·2013-02-16 09:10
上一页 6 7 8 9 10 11 12 13 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他