Latest Posts
- 九年磨剑
- Analytical Combinatorics：吃饼干问题
- 慕慕的玩具(4)：疯狂对对碰背后的数学模型 Steiner System和Finite Projective Plane(下)
- 环、域、多项式和有限域的构造
- 有限域和抽象代数的相关话题
- 慕慕的玩具(4)：疯狂对对碰背后的数学模型 Steiner System和Finite Projective Plane(上)
- HyperBit: 比HyperLogLog用更少的内存
- 华容道
- DEPTH-FIRST SEARCH AND LINEAR GRAPH ALGORITHMS
- COMPLEMENTS AND TRANSITIVE CLOSURES
- 快速排序性能分析——Analytical Combinatorics方法
- 离散无噪声信道信道容量——Analytical Combinatorics方法
- Diagnosis: a snapshot bug in Greenplum
- The HashSubplan implementation for NOT-IN Sublink in Postgres
- 往事可追：从约瑟夫环问题到FFT算法重排
- Worktable as Continuations
- Trap in PG_CATCH() without Throw
- Interconnect Deadlock Problem in Greenplum
- 探囊取物——理解，诊断，修复Greenplum中的Opclass和Opfamily相关问题
- 👻幽灵捕手——Dancing Links
- 🐶🐰谜题
- Analysis of Algorithm S
- 不踬于山——追踪内存泄漏
- Analytical Combinatorics 101
- A very cute regular expression
- Symbolic Method to solve a probability problem
- A Tour of Understanding Linear Probing Hashing
- On pg_relation_size in Greenplum
- Abstract Algebra Notes 2: Rings
- Abstract Algebra exercises: UCB Math113, Group Part
- Abstract Algebra Notes 1: Group
- Dancing Links
- 2021VMware中国区编程比赛小记
- 2021秋季学期清华大学摔跤训练笔记(前三次）
- Squelch Logic in Greenplum
- Continuation Passing Style and Trampolined skill
- How to hack Greenplum & Postgres?
- 2021年 六月·漏船载酒 逆流而上
- 2021年 四月·岂曰无衣 与子同袍
- 2021年 三月·能持剑向人, 不解持照身
- Notes of Programming Languages and Lambda Calculi
- Sampling Algorithms: S, R, X, Y, Z
- 2021新的一年
- 2020年 十二月·不抛弃不放弃
- 2020十一月·雄关漫道真如铁
- 2020.10.09清华大学摔跤训练笔记
- 清华大学2020年秋季学期摔跤训练计划
- 2020十月·人间正道是沧桑
- Coupon collector’s problem: sample without replacement
- EIS A001405 Analysis
- 网传电子系概率论期末解答
- 2020九月·略不世出
- Symbolic Mathematics in Erlang
- 2020八月·粉身碎骨浑不怕
- Eliza in Erlang
- GPS in Erlang
- Elementary sampling theory
- Volatile Functions in Query on Broadcast-like Relation in Greenplum
- 2020七月·自强不息 厚德载物
- CM (count min) is not MC (min count)
- A Tour of Understanding Hyperloglog
- 2020六月·时穷节乃见 一一垂丹青
- Learning Plan
- Tour of analyzing of a bug of Greenplum: Locus, Partial Distribution, Motion and Interconnect
- 2020五月·借问行路人 何如霍去病
- 清华大学云校庆——我和散打队
- 2020四月·国士无双
- Reading Notes: SIGMOD 2019 Revenge of the Interpolation Search
- 三国赵云传数据+Postgres解析一篇SIGMOD2019论文的agg递归CTE
- 2020三月 · 封狼居胥 饮马瀚海
- SML Module, Postgres Operator Class and Operator Family
- Motion deadlock and all related things in Greenplum
- Reading Notes: The Little Typer -- first half
- Distributed Lock in Greenplum
- Analysis of the number of swapping in partition of Quicksort
- Understand distkey in Greenplum
- Dijkstra via SQL: a glance at Recursive CTE
- On dynamic hash expansion
- Coupon collector's problem：An infinite-series perspective
- 锅哥的12小时飓风赛复盘
- Pivotal-hash: a new consistent hash algorithm
- 锅哥的年夜饭
- Jump consistent hashing index
- Prolog Examples: Serialize DMLs for GreenplumDB
- 中国跤进清华活动记录
- Proof of select-sample problem
- A problem on binary orthogonal matrix
- 锅哥的野兽赛复盘
- 白露太极功夫馆的综合身体素质训练
- Jump Consistent Hash Algorithm
- 英雄无岁，江湖无辈
- My Experience As a TA
- Proof of an HMU problem
- A Lemma on Number Theory
- A prolog program that calculate 24
- 锅哥菜谱
- Donald Knuth - My advice to young people
- Prove determinacy for a small language