Entries categorized as "technical"
Jul 13, 2023
Intermediate Property-based Testing,
Or finding properties to actually test
Mar 12, 2023
A Debugging Story,
Or a concrete example of a tricky bug
Oct 30, 2022
Evaluation in Deep Learning,
Or use some statistics
Mar 20, 2020
Nice bounds on black box entropy estimators,
Or a couple of helpful derivations
Feb 16, 2020
Notes on Policy Gradients,
Or a couple of helpful derivations
Jan 20, 2020
A Few Thoughts on the Lean Theorem Prover,
Or the future's not here yet
Dec 14, 2016
Reflections on NIPS (Part 2),
Or what I'm thinking about now
May 29, 2016
The Statistical Wasteland,
Or an alternative syllabus for Stats 101
Dec 5, 2015
Automatic Differentiation,
Or mathemagically finding derivatives
Sep 24, 2015
A small shell in rust,
Or I've seen the light
May 6, 2015
Converging Random Variables,
Or why are there 3 different definitions?