RT @dabeaz: @mitsuhiko Mostly it’s just me thinking “look, this isn’t that big. It rarely changes. You should just copy it if you think it’s useful.”

January 10, 2022 at 11:28PM