Amateur Hour

Recent posts

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 21, 2019
Three Derivations of the Gaussian Distribution, Or riffing on ET Jayne
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