Skip to content

About

A collection of articles written by YinWang

Topics

backupblogyinwang

Resources

Readme
Activity

Stars

166 stars

Watchers

11 watching

Forks

82 forks
Report repository
BranchesTags

Latest commit

 

History

195 Commits

Folders and files

NameName
Last commit message
Last commit date
C#的 IDisposable接口.md
C#的 IDisposable接口.md
 
 
Chez Scheme 的传说.md
Chez Scheme 的传说.md
 
 
Currying的局限性.md
Currying的局限性.md
 
 
C编译器优化过程中的Bug.md
C编译器优化过程中的Bug.md
 
 
DRY原则的误区.md
DRY原则的误区.md
 
 
DSL.md
DSL.md
 
 
GTF: Great Teacher Friedman.md
GTF: Great Teacher Friedman.md
 
 
Hindley-Milner 类型系统的根本性错误.md
Hindley-Milner 类型系统的根本性错误.md
 
 
Kotlin 和 Checked Exception.md
Kotlin 和 Checked Exception.md
 
 
Lisp已死Lisp万岁.md
Lisp已死Lisp万岁.md
 
 
Markdown 的一些问题.md
Markdown 的一些问题.md
 
 
Oberon 操作系统：被忽略的珍宝.md
Oberon 操作系统：被忽略的珍宝.md
 
 
PySonar2与Sourcegraph集成完毕.md
PySonar2与Sourcegraph集成完毕.md
 
 
PySonar2开源了.md
PySonar2开源了.md
 
 
PySonar的工作原理.md
PySonar的工作原理.md
 
 
PySonar的第二个用户.md
PySonar的第二个用户.md
 
 
README.md
README.md
 
 
RubySonar：一个 Ruby 静态分析器.md
RubySonar：一个 Ruby 静态分析器.md
 
 
Swift语言的设计错误.md
Swift语言的设计错误.md
 
 
Talk-is-not-cheap.md
Talk-is-not-cheap.md
 
 
Tesla autopilot 引起致命车祸.md
Tesla autopilot 引起致命车祸.md
 
 
Texmacs:一个真正“所见即得”的排版系统.md
Texmacs:一个真正“所见即得”的排版系统.md
 
 
Unix的缺陷.md
Unix的缺陷.md
 
 
math.md
math.md
 
 
ydiff：结构化的程序比较.md
ydiff：结构化的程序比较.md
 
 
“解决问题”与“消灭问题”.md
“解决问题”与“消灭问题”.md
 
 
上海.md
上海.md
 
 
不再推荐Haskell.md
不再推荐Haskell.md
 
 
丘奇和图灵.md
丘奇和图灵.md
 
 
中国人如何经营自己.md
中国人如何经营自己.md
 
 
中国人的信任危机.md
中国人的信任危机.md
 
 
中国人的鉴赏力.md
中国人的鉴赏力.md
 
 
为什么一种程序语言是不够用的.md
为什么一种程序语言是不够用的.md
 
 
为什么拍照是个坏习惯.md
为什么拍照是个坏习惯.md
 
 
为什么自动车完全不可以犯错误.md
为什么自动车完全不可以犯错误.md
 
 
为什么说面向对象编程和函数式编程都有问题.md
为什么说面向对象编程和函数式编程都有问题.md
 
 
为什么需要正则表达式.md
为什么需要正则表达式.md
 
 
人工智能的局限性.md
人工智能的局限性.md
 
 
什么是“脚本语言”.md
什么是“脚本语言”.md
 
 
什么是对用户友好.md
什么是对用户友好.md
 
 
什么是现实理想主义者.md
什么是现实理想主义者.md
 
 
什么是程序语言研究.md
什么是程序语言研究.md
 
 
什么是语义学.md
什么是语义学.md
 
 
从工具的奴隶到工具的主人.md
从工具的奴隶到工具的主人.md
 
 
代码进入闭源状态.md
代码进入闭源状态.md
 
 
伟大老师DanFriedman.md
伟大老师DanFriedman.md
 
 
关于写书.md
关于写书.md
 
 
关于微内核的对话.md
关于微内核的对话.md
 
 
关于语言的思考.md
关于语言的思考.md
 
 
关系模型的实质.md
关系模型的实质.md
 
 
其他人的BUG.md
其他人的BUG.md
 
 
再别IU.md
再别IU.md
 
 
再见 Voxer，你好 Sourcegraph.md
再见 Voxer，你好 Sourcegraph.md
 
 
再谈P-vs-NP问题.md
再谈P-vs-NP问题.md
 
 
写给支持和反对《完全用Linux工作》的人们.md
写给支持和反对《完全用Linux工作》的人们.md
 
 
到底是谁在欺负我们读书少.md
到底是谁在欺负我们读书少.md
 
 
十年前的我的来信.md
十年前的我的来信.md
 
 
半年来的工作感受.md
半年来的工作感受.md
 
 
原因与证明.md
原因与证明.md
 
 
反省.md
反省.md
 
 
在Sourcegraph的第三天.md
在Sourcegraph的第三天.md
 
 
如何掌握所有的程序语言.md
如何掌握所有的程序语言.md
 
 
如何掌握程序语言.md
如何掌握程序语言.md
 
 
如何阅读别人的代码.md
如何阅读别人的代码.md
 
 
学习的智慧.md
学习的智慧.md
 
 
完全用Linux工作.md
完全用Linux工作.md
 
 
对 Go 语言的综合评价.md
对 Go 语言的综合评价.md
 
 
对Parser的误解.md
对Parser的误解.md
 
 
对Rust语言的分析.md
对Rust语言的分析.md
 
 
对函数式语言的误解.md
对函数式语言的误解.md
 
 
对博士学位说永别.md
对博士学位说永别.md
 
 
对某领导离任有感.md
对某领导离任有感.md
 
 
小费和中国人的尊严.md
小费和中国人的尊严.md
 
 
康奈尔感受.md
康奈尔感受.md
 
 
怎样尊重一个程序员.md
怎样尊重一个程序员.md
 
 
我不是编译器专家.md
我不是编译器专家.md
 
 
我为什么不在做PL人.md
我为什么不在做PL人.md
 
 
我和谷歌的故事.md
我和谷歌的故事.md
 
 
我的第一次和最后一次Hackathon经历.md
我的第一次和最后一次Hackathon经历.md
 
 
我看PhD.md
我看PhD.md
 
 
我离开了Coverity.md
我离开了Coverity.md
 
 
扶门的礼仪.md
扶门的礼仪.md
 
 
改变.md
改变.md
 
 
智能合约和形式验证.md
智能合约和形式验证.md
 
 
更新.md
更新.md
 
 
更新一下.md
更新一下.md
 
 
机器与人类智能的差距.md
机器与人类智能的差距.md
 
 
机器学习与逻辑编程.md
机器学习与逻辑编程.md
 
 
标准化试卷标记语言.md
标准化试卷标记语言.md
 
 
测试的道理.md
测试的道理.md
 
 
清华梦的粉碎.md
清华梦的粉碎.md
 
 
理论是围城.md
理论是围城.md
 
 
用脑图来分享思想.md
用脑图来分享思想.md
 
 
知识份子的傲慢与偏见.md
知识份子的傲慢与偏见.md
 
 
程序设计里的“小聪明”（1）.md
程序设计里的“小聪明”（1）.md
 
 
程序语言不是工具.md
程序语言不是工具.md
 
 
程序语言与它们的工具.md
程序语言与它们的工具.md
 
 
程序语言理论的学习对于程序员教育的作用.md
程序语言理论的学习对于程序员教育的作用.md
 
 
程序语言的常见设计错误(2) - 试图容纳世界.md
程序语言的常见设计错误(2) - 试图容纳世界.md
 
 
给Java说句公道话.md
给Java说句公道话.md
 
 

Repository files navigation

YinWangBak

A collection of articles written by YinWang

About

A collection of articles written by YinWang

Topics

backupblogyinwang

Resources

Readme
Activity

Stars

166 stars

Watchers

11 watching

Forks

82 forks
Report repository

Releases

Packages

Contributors