Archive

「我干了什么 究竟拿了时间换了什么」
2022

Spring源码解析

ThreadLocal和ThreadLocalMap原理

leetcode138 复制带随机指针的链表

MySQL WAL策略和checkpoint

JVM面试题汇总

计算机网络

Spring面试题

MySQL基础04-主从复制 & 读写分离

SpringCloud知识

MySQL基础02-MySQL并发事务 & 锁

MySQL基础01- 日志系统

Mysql基础02 Mysql索引原理

Redis进阶知识05-哨兵机制

Redis进阶知识03-AOF和RDB实现原理

Redis进阶知识04-主从复制原理

Redis进阶01-Redis底层数据结构

Redis进阶02-Redis高性能IO复用模型

JVM笔记汇总

leetcode11 盛最多水的容器

计算机网络笔记 - 3

计算机网络笔记 - 2

计算机网络笔记 - 1

JVM垃圾收集器与内存分配策略

Redis面试题汇总

JVM内存区域与内存溢出异常笔记

Redis知识点

leetcode17 电话号码的字母组合

2020

Data Representation - Floating Point Numbers

「数据表示」浮点数

Data Representation - TODO

「数据表示」待写

Data Representation - Integer

「数据表示」整数

My Programming Languages Spectrum

我的编程语言光谱

2019

Peter John Landin

「计算机科学偶像」- 彼得·约翰·兰丁

「SF-QC」2 TypeClasses

Quickcheck - A Tutorial on Typeclasses in Coq

「SF-PLF」1 Equiv

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

「SF-LC」1 Basics

Logical Foundations - Functional Programming in Coq