LL/SC, LA/SR, Memory Consistency, and Cache Coherence
前言 1：Memory Models 让人头秃
Recent Posts
My Mac Env Setup
1. Zsh setup: XDG + Prezto
LLVM’s RTTI Replacement
LLVM 禁止使用 C++ native RTTI，主要是嫌弃 native RTTI 的 performance，并不是说 LLVM 不需要 RTTI 这个 feature。我们可以说 LLVM 自己实现了一套新的 RTTI (以下称 LLVM-style RTTI)，它有:
Revisited: Polymorphism / RTTI
Q1: What is polymorphism, again?
Example of Lattices: Boolean Lattice (with Complemented Lattice and Boolean Algebras)
Prerequisite: Complemented Lattice
Closure (Math) / Closures of Relations
References
Order-Theoretic Definition of Lattices (Poset == Lattice)
引子：Pre-ordering on Monoids
Elementary Algebraic Structures
Overiew
Using chruby on Mac
1. macOS 自带的 Ruby