先按列一下 wiki 解释
在计算机科学中，二分搜索（英语：binary search），也称折半搜索（英语：half-interval search）、对数搜索（英语：logarithmic search），是一种在有序数组中查找某一特定元素的搜索演算法。搜索过程从数组的中间元素开始，如果中间元素正好是要查找的元素，则搜索过程结束；如果某一特定元素大于或者小于中间元素，则在数组大于或小于中间元素的那一半中查找，而且跟开始一样从中间元素开始比较。如果在某一步骤数组为空，则代表找不到。这种搜索算法每一次比较都使搜索范围缩小一半。
所有一切的开始都是因为这句话：一个单子（Monad）说白了不过就是自函子范畴上的一个幺半群而已，有什么难以理解的。第一次看到这句话是在这篇文章：程序语言简史(伪)。这句话出自Haskell大神Philip Wadler，也是他提议把Monad引入Haskell。Monad是编程领域比较难理解的概念之一，大部分人都是闻”虎”而色变，更不用说把它”收入囊中”了。我曾经好几次尝试去学习Monad，Functor等这些范畴论里的概念，最终都因为它太难理解，半途而废。
这次的开始完全是个误会。几周之前我开启了重温Scala的计划。当我看到Scala类型系统和Implicit相关章节时，遇到了Scala中比较重要的设计模式：类型类（type class）。于是想找一个大量使用了type class模式的开源类库学习其源码，以加深理解type class模式。Scalaz是个不错的选择。但是有一个问题，Scalaz是一个纯函数式的类库，学习它必然又会遇到Monad那些概念。好吧，再给自己一次机会。
我们分析一下Philip这句话：一个单子（Monad）说白了不过就是自函子范畴上的一个幺半群而已。这句话涉及到了几个概念：单子（Monad），自函子（Endo-Functor），幺半群（Monoid），范畴（category）。首先，我们先来把这些概念搞清楚。
原文出处： A Brief, Incomplete, and Mostly Wrong History of Programming Languages
译文出处： Mort Yao
警告：
原文中的内容不一定都是真实的。
部分文字不属于原文，是翻译君为了便于读者读懂原文擅自所加的注解。当然，也不能保证一定都是真实的。
为了照顾那些幽默感退化的人们，维基百科有一个主题关于：History of programming languages。
1801 - Joseph Marie Jacquard用打孔卡为一台织布机编写指令，在挂毯上织出了“hello, world”字样。当时的reddit网友对这项工作的反响并不热烈，因为它既缺少尾递归调用，又不支持并发，而且甚至都没有注意在拼写时恰当地区分大小写。
在多线程并发编程中synchronized和Volatile都扮演着重要的角色，Volatile是轻量级的synchronized，它在多处理器开发中保证了共享变量的“可见性”。可见性的意思是当一个线程修改一个共享变量时，另外一个线程能读到这个修改的值。它在某些情况下比synchronized的开销更小，本文将深入分析在硬件层面上Inter处理器是如何实现Volatile的，通过深入分析能帮助我们正确的使用Volatile变量。
矩阵乘法有 5 种计算方式，以下分别介绍
假设 矩阵 A(m x p) 乘以矩阵 B(p x n)，得到的矩阵是 C(m x n)
注意只有第一个矩阵的列数等于第二个矩阵的行数，才能相乘；同时之前也提到过矩阵乘法不适用交换律，所以位置很重要。
矩阵 C 的元素
$$
C_{ij}=\sum_{k＝1}^p a_{ik}b_{kj}
$$
由此可以算出整个矩阵
只能用矩阵 A* 矩阵 B 的列，即 $C_{coln}=A*B_{coln}$，即矩阵 C 的每一列都是矩阵 A 的列向量按对应 B 的列向量组合而来。