Home

Articles

C++

C++ Move Semantics Gotchas 2017/02/28

C++ Function Dispatch Under The Hood 2016/01/12

C++ Lambdas Under The Hood 2016/01/09

C++ Templates and Friend Function Details 2013/02/16

Coq

Interpreting + Abstractly with Signs 2019/03/24

Statistics

Is it easier to tell what color a ball is or if it is red? 2021/03/04

Presentations

Transforming Cyber-Physical System Models — ISC Graduate Research Symposium 2018/04/27

The Bash Shell and You [files] — ACM-W 2017/10/03

Programming IS Logic IS Math — CS 1010 2016/12/08

Introduction to Arduino Programming [examples] 2013/09/10