Home

Welcome to the Faye's Learning World!

Code Complete

201306 Language Interpreter and Function Composition

• 201306 Language Interpreter and Function Composition 学习笔记

201707 The Science of of System Design (using TLA+, PlusCal and TLC)

• 201707 The Science of System Design (TLA Plus) 学习笔记 (0)
• 201707 The Science of System Design (TLA Plus) 学习笔记 (1) Introduction to Course
• 201707 The Science of System Design (TLA Plus) 学习笔记 (2) Introduction to TLA+
• 201707 The Science of System Design (TLA Plus) 学习笔记 (3) State Machines
• 201707 The Science of System Design (TLA Plus) 学习笔记 (4) Temporal Logic Of Action

201903 Distributed Fault Tolerant System Design

• 201903 Distributed Fault Tolerant System Design 学习笔记 (0)
• 201903 Distributed Fault Tolerant System Design 学习笔记 (1) Elements of Distributed System Design
• 201903 Distributed Fault Tolerant System Design 学习笔记 (2) A Tour of Erlang
• 201903 Distributed Fault Tolerant System Design 学习笔记 (3) Bully Algorithm
• 201903 Distributed Fault Tolerant System Design 学习笔记 (4) Paxos

SICP Series

201510 Lecture 1 Introduction

201510 SICP系列 第1讲 课程介绍 学习笔记

201511 Lecture 2 High-Order Procedures, Compound Data and Picture Language

201511 SICP系列 第2讲 高阶过程、复合数据和元数据抽象 学习笔记

201512 Lecture 3 Symbolic Differentiation and Generic Operators

201601 Lecture 4 Pattern-Matching and Rule-Based Substitution

201602 Lecture 5 Assignment, State, and Side-effects Computational Objects

201605 Lecture 6 Stream (1)

201611 Lecture 7 Stream (Full)

• 201611 SICP系列 第7讲 流计算模型 学习笔记(一)
• 201611 SICP系列 第7讲 流计算模型 学习笔记(二)
• 201611 SICP系列 第7讲 流计算模型 学习笔记(三)
• 201611 SICP系列 第7讲 流计算模型 学习笔记(四)
• 201611 SICP系列 第7讲 流计算模型 学习笔记(五)
• 201611 SICP系列 第7讲 流计算模型 学习笔记(Java&Python版)

Guided Readings Notes

• 201705 孙鸣老师关于《Handling Overload》的导读
• 201706 孙鸣老师关于《On Designing and Deploying Internet Scale Services》的导读

Reading Notes

• 201706 Java RESTful Web Service实战 (第2版) 读书笔记
• 201711 Java安全编码标准 读书笔记

Writings

• 202306 语义模型驱动设计(SMDD)