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
Jan 8, 2023
What I've Been Reading (Nov-Dec 2022),
Or a short log of things I read last month.
Nov 13, 2022
What I've Been Reading (Oct 2022),
Or a short log of things I read last month.
Oct 30, 2022
Evaluation in Deep Learning,
Or use some statistics
Oct 27, 2022
What I've Been Reading (Sep 2022),
Or a short log of things I read last month.
Sep 13, 2022
On Economics,
Or some thoughts on a love/hate relationship
Sep 4, 2022
What I've Been Reading (Aug 2022),
Or a short log of things I read last month.
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
Oct 20, 2019
A Fresh Start,
Or a new blog
Dec 14, 2016
Reflections on NIPS (Part 2),
Or what I'm thinking about now
Dec 13, 2016
Reflections on NIPS (Part 1),
Or the difference a year makes