Archive

中海油研究报告

未来股价预测

谷歌研究报告

研究谷歌如何赚钱，是否值得投资

Data Representation - Floating Point Numbers

「数据表示」浮点数

Data Representation - Integer

「数据表示」整数

My Programming Languages Spectrum

我的编程语言光谱

「SF-QC」2 TypeClasses

Quickcheck - A Tutorial on Typeclasses in Coq

「SF-PLF」1 Equiv

Programming Language Foundations - Program Equivalence (程序的等价关系)

「SF-LC」2 Induction

Logical Foundations - Proof by Induction

「SF-LC」1 Basics

Logical Foundations - Functional Programming in Coq

程序员中的梦想家

Dreamers among programmers

《PWA 实战》推荐序

如何证明不可计算的函数比可计算的函数多？

Why is there more uncomputable functions?

Unix/Linux 扫盲笔记

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

对中国用户而言，Pure Android 是否比 MIUI 或 Flyme 体验更好？

如何评价 MIUI 6？