The Uncommon Trajectory
About
/
Resume
Ramblings on notation
05 August 2021
[
]
Advent of Code 2020: Thoughts
29 December 2020
[
]
Whirlwind Introduction to Subtyping
17 October 2019
[
]
The Great Theorem Prover Challenge II
04 July 2018
[
]
The Great Theorem Prover Challenge I
21 June 2018
[
]
Who needs an API, anyway?
30 June 2016
[
]
PACTF 2016 - Reflections
22 May 2016
[
]