我的学习系统本身有两个组成部分：一个抽认卡系统和一个受 Zettelkasten 启发的定制笔记库——这是一个由社会科学家尼克拉斯·卢曼开发的笔记系统。Zettelkasten 是我花时间处理、分类和连接我阅读的内容的地方。

分布式系统 - 全局唯一ID实现方案

如何从零开始设计权限管理系统

浅谈系统实现层面稳定性保障

我理解的分布式系统

脚本学习_Linux_Sed命令_替换

从用户端到后台系统，严选分销教会我这些事

调度系统设计精要

一些 System Design 面试的建议

问一个java问题:如何利用第三个类实现两个类的传递？

分布式事务选型该怎么取舍？

为什么Akka(Actor模型)在中国不温不火？

如何画架构图？

分布式高并发系统如何保证对外接口的幂等性？

MIT 的 6.824

分布式系统原理与范型

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

关于 DDIA 上对 Raft 协议的这种极端场景的描述，要如何理解？

如何评价DDIA作者的旧博文“Turning the database inside-out”？

《DDIA》读书笔记 // TODO

2017年，Web 后端出现了哪些新的思想和技术？

要达到什么样的规模才适合分布式/微服务架构?

开发一个大型后台管理系统，前端选择 Vue 还是 React？

凤凰架构

Kubernetes 可以完全替代 Spring Cloud 吗？

如何评价开源数据库lealone的分布式事务模型？

有没有了解国内做SAAS招聘管理系统的，哪些是比较知名好用的？云招、北森都怎么样

Java io和Linux io有什么对应关系？

Java中的泛型会被类型擦除，那为什么在运行期仍然可以使用反射获取到具体的泛型类型？

看一些 Type Inference 的论文感觉吃力，需要补哪些知识？

编程语言中， type, typed, typing 有什么区别？

什么样的类型系统才是 Unsound 的?

如何评价 hegel 这个 type checker?

Daniel P. Friedman的新书The Little Typer怎么样？

Cut elimination对于STLC以及其他type system的意义？

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

OCaml 语言能做些什么？

Racket有contract为什么还要加一个type system？

学习程序语言设计与类型系统如何找到工作？

读 CS PhD 之前没有工业界经历真的没关系吗？

现今编程语言的理想类型系统是怎样的？

函数式编程中的 algebraic effects 是什么？

哪门语言的设计最能规避运行时错误？

为什么大部分编程语言不支持宏？

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

lisp是否和静态类型基因上就不合？

如何理解linear logic？

什么语言最适合写编译器/解释器？

是否可以说 Contract 和 Type Inference 模糊了静态类型和动态类型的界限？

如何评价 MSR 的 Lean Theorem Prover？

如何看待 Lean 和 Agda 逐渐成为年轻人的第一个 prover?

简单图灵机怎么模拟高级的？

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

为什么有些程序语言的类型推断可以推断函数参数，有些不会，哪种更好？

如何证明一个语言的类型系统是sound的？

类型应该是一等公民吗?

Haskell 和 Scheme, 哪一个更适合用于生产环境?

有人说动态语言没有类型系统，这个认识是对是错？如果是错的，应该从什么角度进行回应呢？

如何评价 Abstracting Gradual Type?

Julia 究竟是静态类型还是动态类型？

应该怎么理解编程语言中的协变逆变？

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

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

Y Combinator 的函数签名该如何表达？

为什么HASKELL这类语言要用代数概念描述类型的组合（ADT） 而不是看作集合去运算和组合？

如何评价王垠的《Sum types and union types》？

typed shell是否是未来？

可以给类型系统设计解释器吗？

哪些学校的类型系统与编译器方向不错？

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

编程语言的类型系统为何如此重要？

systemd 为什么会有那么大的争议？

如何评价 Midori（Operating System）？

如何看待王垠的新文章：《关于微内核的对话》?

一个成熟的自动化运维系统具备什么功能？

如何更深入地学习 Linux？

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

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

如何搭建风控规则引擎？

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

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

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

如何控制Linux清理cache机制?

网易云音乐每日歌曲推荐的原理是什么？

代数数据类型中的代数 Part 1

代数数据类型是什么？

如何理解编程语言的类型安全性？

程序语言设计界是否开始认为 Subtyping 是 Anti-pattern？

设计、更新一门通用编程语言的一般流程是怎样的？

编程语言为什么区分常量和变量？

为什么函数式语言里有recursive data type但没有recursive function type？

类型（Types）和集合（Sets）二者之间有何区别？

类型推导是否可以理解为一种编译期计算？

高级语言为什么要添加数据类型？

C# 作为一种静态类型语言，为什么会引入 var？

如何看待Python中加入static typing?

OCaml 类型系统的缺陷有哪些？

dependent type之上还有更高级的类型系统吗？

C++、Julia 允许「泛型」的参数是数值，这属于 Dependent Type 吗？

Haskell 的 Typeclass 怎么理解？

Higher-kinded type到底有什么用？

为什么声明性语言往往适合于并行执行，命令代码很难在多个内核和多个机器之间并行化？

如何理解多态？

柯里-霍华德(Curry-Howard)同构有什么意义？

子类型（subtyping）是不是错误（ill-defined）的东西？

如何理解types are not classes ？

Java 泛型 <? super T> 中 super 怎么 理解？与 extends 有何不同？