04 May 2017 Building this blog
25 May 2017 Undefined behavior in the wild
07 Nov 2017 An introduction to approximate computing
10 May 2017 Floating-point satisfiability as global optimization
Formally Applied