# blog topics

 ├┄┄┄┄┄│◅┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄│◅┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┤
 │ «verification»                                                  │
 ├┄┄┄┄┄│◅┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄│◅┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┤
 │ ––– │ abstract domains                     │                    │
 │ [M] │    data abstraction, abstractly      │ 2022-08-10 / 08-03 │
 │ ––– │ symbolic execution                   │                    │
 │ [S] │    symbolic computation trees        │ 2022-07-13 / 07-06 │
 │ [S] │    logic, smt                        │ 2022-07-27 / 07-20 │
 │ [ ] │    query decomposition               │                    │
 │ [ ] │    query caching                     │                    │
 │ [ ] │    merge (from trees to DAGs)        │                    │
 │ [ ] │ concolic testing                     │                    │
 │ [T] │ slicing                              │ 2022-08-03 / 07-27 │
 │ [ ] │ testcase synthesis                   │                    │
 │ [J] │ fuzzing                              │ 2022-06-29 / 06-22 │
 │ [J] │ verification vs filesystems          │ 2022-07-20 / 07-13 │
 │ [O] │ CEGAR                                │ 2022-10-27 / 11-03 │
 ├┄┄┄┄┄│◅┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄│◅┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┤
 │ «programming languages, high-level»                             │
 ├┄┄┄┄┄│◅┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄│◅┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┤
 │ [K] │ linear and affine types              │                    │
 │ [ ] │ dependent product                    │                    │
 │ [S] │ GC (garbage collection)              │                    │
 │ [ ] │ concurrent GC                        │                    │
 │ [L] │ CSEH (cleanup-stack exceptions)      │                    │
 │ [ ] │ rust borrow checker                  │                    │
 │ [ ] │ defmacro                             │                    │
 │ [ ] │ fexprs                               │                    │
 │ [ ] │ macro hygiene                        │                    │
 │ [K] │ continuations (undelimited)          │                    │
 │ [K] │ delimited control                    │                    │
 │ [K] │ algebraic effects                    │ 2022-10-20 / 10-27 │
 │ [ ] │ effect handlers                      │                    │
 ├┄┄┄┄┄│◅┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄│◅┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┤
 │ «programming languages, low-level»                              │
 ├┄┄┄┄┄│◅┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄│◅┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┤
 │ [M] │ intermediate languages               │ 2022-06-01 / 05-25 │
 │ [M] │ single static assignment             │ 2022-06-08 / 06-01 │
 │ [K] │ continuation-passing style           │                    │
 │ [M] │ composition and data flow            │ 2022-07-06 / 06-29 │
 │ [L] │ MLIR regions                         │                    │
 │ [N] │ data flow analysis                   │ 2022-07-27 / 07-20 │
 │ [D] │ superscalar CPUs                     │ 2022-06-15 / 06-08 │
 │ [D] │ pipelining                           │ 2022-07-20 / 07-13 │
 │ [D] │ branch prediction                    │                    │
 │ [D] │ vectorisation                        │                    │
 │ [D] │ instruction selection                │                    │
 │ [D] │ register allocation                  │                    │
 ├┄┄┄┄┄│◅┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄│◅┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┤
 │ «programming technicalities»                                    │
 ├┄┄┄┄┄│◅┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄│◅┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┤
 │ [ ] │ C++ template inheritance stack       │                    │
 │ [ ] │ C++ string view, span                │                    │
 │ [S] │ C++ concepts                         │                    │
 │ [ ] │ C++ ranges                           │                    │
 │ [ ] │ C++ coroutines                       │                    │
 │ [ ] │ rust error handling                  │                    │
 │ [S] │ LLVM API                             │                    │
 │ [L] │ MLIR API                             │                    │
 ├┄┄┄┄┄│◅┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄│◅┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┤
 │ «misc»                                                          │
 ├┄┄┄┄┄│◅┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄│◅┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┤
 │ [M] │ future of divine                     │                    │
 │ [M] │ gib, a simpler build system          │                    │
 │ [L] │ darcs workflow                       │                    │
 │ [J] │ generting context-free sentences     │                    │
 │ [L] │ patch theory                         │                    │
 │ [ ] │ benchmarking                         │                    │