Algorithm

• 2016-05-23 Pell's Equation
• 2015-09-18 钱币兑换问题
• 2015-06-06 N皇后问题
• 2015-06-05 Polya定理及应用
• 2015-06-01 一类棋盘覆盖问题的动态规划求解
• 2015-05-24 斐波那契数列
• 2015-05-19 组合博弈与SG函数
• 2015-04-26 约数个数加倍
• 2015-04-25 欧拉路径
• 2015-02-26 最大流算法
• 2015-02-25 最大公约数算法
• 2015-02-24 树状数组
• 2015-02-17 字符串的编辑距离
• 2015-02-17 KMP算法
• 2015-02-16 星期的计算
• 2015-02-14 Boyer-Moore 算法
• 2015-02-13 计算几何算法
• 2015-02-12 RMQ与LCA之间的转换
• 2015-02-11 背包问题总结
• 2015-02-09 寻找第K大的数
• 2015-02-09 巧用异或(XOR)运算
• 2015-02-08 Sleep Sort
• 2015-02-01 Manacher算法
• 2015-02-01 树的最长路径
• 2015-02-01 约瑟夫环问题求解
• 2015-01-25 包含根节点的最大权值子树

Database

• 2017-09-11 Join in SQL

Distributed System

• 2021-06-13 End-to-end Argument in System Design
• 2015-05-18 一致性哈希算法

Graphics

• 2015-08-14 OpenGL 光照
• 2015-08-14 投影与相机空间
• 2015-08-07 OpenGL 坐标变换
• 2015-08-07 OpenGL Shader
• 2015-08-06 OpenGL顶点缓冲对象(VBO)
• 2015-08-05 第一个OpenGL程序

Linux

• 2023-03-13 eBPF Doable and Undoable
• 2021-05-19 eBPF 101 Tooling and API
• 2021-04-09 Hello World using the eBPF
• 2016-06-16 Kinds of (Micro)Kernel
• 2015-02-17 Linux 文件解压及压缩命令
• 2015-02-02 Grep
• 2015-01-31 Cygwin rebaseall

Machine Learning

• 2023-09-16 Pipeline Model Parallelism in LLM Pretraining
• 2019-06-06 Einstein Summation Convention
• 2017-05-16 CNN Meets Graphs
• 2015-07-01 PageRank的MapReduce化以及SEO分析
• 2015-05-23 子模性(Submodular)
• 2015-05-13 社交网站站内排名与社区演化
• 2015-04-24 社区发现与K-means聚类
• 2015-03-18 先验和后验概率以及估计
• 2015-03-02 Logistic回归
• 2015-02-08 K-近邻算法(KNN)
• 2014-10-22 Native Bayes Classification

Mathematics

• 2018-08-23 Coupon Collector's Problem
• 2016-10-24 随机向量和概率统计
• 2016-10-17 矩母函数和特征函数
• 2016-09-10 数学分析题目集锦
• 2016-09-04 直和
• 2016-07-20 Blas与Lapack库的使用
• 2016-06-14 Notes on MIT 18.06 Linear Algebra
• 2016-01-15 代数基本概念
• 2016-01-15 使用FFT和DCT进行图片压缩
• 2015-06-01 几种求解PI的概率算法的探究和对比
• 2015-03-23 Mathematica 求根与求最值
• 2015-02-12 Mathematica 编程
• 2015-02-12 Mathematica中的列表(List)
• 2015-02-07 Mathematica 输入与输出
• 2015-02-05 Mathematica 笔记本(notebook)

Programming Languages

• 2023-10-21 I/O Error Handling Gracefully with Monad Transformer
• 2022-02-19 Compiling to WebAssembly
• 2019-06-22 GSoC 2019 Round 1st Evaluation
• 2019-04-12 Notes on Gtk2Hs
• 2019-04-01 Use vector in ThreadScope to Reduce the Memory Usage
• 2017-08-28 Excluded Middle in Coq
• 2016-12-26 Pattern Matching in List Comprehension
• 2016-10-08 DLL的初始化和退出处理
• 2016-09-03 C++编译期类型信息的利用
• 2016-07-02 Deep Understanding of Fold in Haskell
• 2016-06-25 类型安全
• 2016-06-22 Monomorphism Restriction
• 2016-06-10 Heterogeneous containers in Haskell
• 2016-06-03 A Better Approach for Timing Multi-thread Computations
• 2016-05-26 C++模板的图灵完备
• 2016-05-15 Haskell中FFI的使用
• 2016-05-04 Python的类型标注与检查
• 2016-04-17 Monad 与 Continuation
• 2016-04-16 Arithmetic on Types
• 2016-04-14 Notes on Combinatory Logic
• 2016-04-09 Concept in C++
• 2016-03-18 A Formal Proof for Square Root of 2 is Irrational
• 2016-03-16 使用generalize的技巧
• 2016-03-14 Quicksort in Haskell
• 2016-03-08 Functor, Applicative and Monad
• 2016-01-31 Non-constructive proof of existance
• 2016-01-27 Proof by Contradiction
• 2016-01-24 Variadic Functions
• 2016-01-12 Fixed point and the Y combinator
• 2016-01-07 C++ 实现 Currying 和 Partial application
• 2015-12-31 Tak函数和Tarai函数的性能
• 2015-12-29 Combinator "seq"
• 2015-12-14 Haskell List Append Performance
• 2015-11-12 The Yin-Yang puzzle
• 2015-11-06 自然数的除法与取模
• 2015-10-25 Church Encoding
• 2015-10-23 Web Messaging 以及 jschannel.js 用于页面间跨域通信
• 2015-10-04 使用 VS2015 编译 Cython 程序
• 2015-10-04 《Purely Functional Data Structures》笔记
• 2015-10-02 static_assert
• 2015-09-12 Continuation Passing Style
• 2015-09-11 Continuation 和 call/cc
• 2015-09-06 Monoid(幺半群)
• 2015-09-02 X86汇编学习笔记
• 2015-08-25 STM (软件事务内存)
• 2015-08-23 线程和锁
• 2015-08-03 Lazy Evaluation 的原理与实现
• 2015-08-02 Haskell 构造Types和Typeclasses
• 2015-07-31 Scala 公开课笔记
• 2015-07-29 将视频作为网页背景
• 2015-07-15 用Lex和Yacc实现解释器
• 2015-07-13 Lex和Yacc
• 2015-07-12 BNF范式
• 2015-07-10 正则表达式检测质数
• 2015-07-04 Javascript 闭包
• 2015-07-03 Scheme 中的 Pairs 和 Lists
• 2015-07-03 Scheme 编程语言
• 2015-07-02 C# 委托、事件与Lambda表达式
• 2015-06-05 Rust-Book Effective Rust
• 2015-06-05 Rust-Book Learn Rust
• 2015-06-05 Rust-Book Getting Started
• 2015-05-31 自产生程序(Quine)
• 2015-05-28 Java 8 Lambda 代码片段
• 2015-05-17 Python实现docx2txt
• 2015-05-17 实现2+2=5
• 2015-04-29 Java 多线程
• 2015-04-12 C/C++中的格式化IO
• 2015-03-26 Scala 入门笔记
• 2015-03-23 Java对象初始化机制
• 2015-03-23 Java继承中的小细节
• 2015-03-22 Haskell 基本输入与输出(Basic IO)
• 2015-02-28 Haskell 高阶函数
• 2015-02-20 Haskell 函数
• 2015-02-18 Javascript 变量作用域
• 2015-02-11 Haskell 数据类型和类型类(Typeclasses)
• 2015-02-10 Python 的默认参数
• 2015-02-10 Java JNI 初探
• 2015-02-07 Python PEP 8 简单汇总
• 2015-02-05 cx_Freeze打包Python应用程序
• 2015-02-03 Python编译成Pyc和Pyo文件
• 2015-02-03 C和C++中的sleep函数
• 2015-02-02 Haskell GHCi使用
• 2015-02-02 C语言中的函数指针
• 2015-02-02 C和C++中的回调函数
• 2015-02-01 Python Decorator
• 2015-02-01 C语言控制台程序光标位置与文字颜色
• 2015-01-31 Python yield 关键字