On Wednesday, 7 March 2018 at 01:07:54 UTC, Mike Parker wrote:
On Tuesday, 6 March 2018 at 21:09:06 UTC, Jordi Gutiérrez Hermoso wrote:Posting to Reddit is easier, but I don't have a recognisable account on Reddit to post it from.I'll post it. There are good times and bad times to post on /r/programming in terms of getting attention. A good time would be in about ~12 hours or so.
Ah, well. Someone had already submitted it. And completely missed the window :-(