[dang]

Would you please follow the site guidelines when posting here? They include "Don't be snarky." We're hoping for this place to be at least a little better than internet default. Scorched earth, the end state of aggressive posting on the internet, is not interesting.

https://news.ycombinator.com/newsguidelines.html

[throwawaycert]

[flagged]

[throwawaycert]

Snark is a normal interaction in civilized society and academia and has been throughout recorded history. It has nothing to do with the internet. Feel free to delete my account from your bubble of ignorance.