Archive

最好的起点是现在

今天终于有点拨开云雾见天日的感觉了

面向对象编程的特征

Daily lecture

This is my first daily lecture

中国高等教育的系统性失败

The Systematic Failure of Higher Education in China

Data Representation - Floating Point Numbers

「数据表示」浮点数

Data Representation - Integer

「数据表示」整数

My Programming Languages Spectrum

我的编程语言光谱

Peter John Landin

「计算机科学偶像」- 彼得·约翰·兰丁

「SF-QC」2 TypeClasses

Quickcheck - A Tutorial on Typeclasses in Coq

程序员中的梦想家

Dreamers among programmers

给《PWA 实战》一书写的推荐序

「知乎」如何通俗地解释停机问题？

How to explain the Halting Problem?

「知乎」如何证明不可计算的函数比可计算的函数多？

Why is there more uncomputable functions?

他是狗，你们便是苟奴隶

「译」React vs Angular 2：冰与火之歌

React versus Angular 2: There Will Be Blood

「译」ES5, ES6, ES2016, ES.Next: JavaScript 的版本是怎么回事？

ES5, ES6, ES2016, ES.Next: What's going on with JavaScript versioning?

JavaScript 模块化七日谈

🎞 Slides:JavaScript Modularization Journey

JavaScript Module Loader

CommonJS，RequireJS，SeaJS 归纳笔记

hUX 随想录（二）：操作系统的浪漫主义 —— Metro 篇

信息、载体、抽象、UI 设计乱谈

Unix/Linux 扫盲笔记

不适合人类阅读，非常水的自我笔记

hUX 随想录（一）：Digital native 数字原住民

两岁的侄女天天叫着手机手机

「知乎」如何评价 2015 年 3 月 9 日 Apple 春季发布会？

聊聊科技与新式奢侈品

Hello 2015

"Hello World, Hello Blog"

「知乎」如何看待微信屏蔽快的打车事件？

恰有小感。

「知乎」你们觉得响应式好呢，还是手机和PC端分开来写？