3 ms·

This is really cool, I havent found many solutions like it before while looking! Nice. > This server is used in production, please don't overload it. HN Might

This is really cool, I havent found many solutions like it before while looking! Nice. > This server is used in production, please don't overload it. HN Might inadvertently cause that! :)

jech 6y ago
That's okay — teaching is over until January, and at any rate students are a forgiving user base :-)