Archives for Formally Applied

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