调度系统设计精要

普通码农一枚，分享一下自己最常使用的几个效率生产工具。

语言只是工具，那么什么是编程思想呢？

程序在编译的时候，会转换成汇编，然后是机器指令，那么运行的时候，操作系统充当什么呢？

TAPL这本书适合作为入门读物吗？

编程语言为什么有变量类型这个概念？

类型系统里的概念 Soundness 和形式系统中的概念一致性（Consistency）有什么异同？

写一个操作系统内核有多难？大概的内容、步骤是什么？

服务器集群负载均衡原理？

第三方支付公司风控系统都有哪些？

交易系统和风控系统的架构怎么设计？

知乎的技术架构是什么样的？

面对数万台服务器运维工程师们是怎么装系统、管理配置，监控管理，用什么平台和工具？