Groxx

@[email protected]
0 Followers
0 Following
2 Posts
Basically your average geek.

Contact me: [email protected] . The "hn" helps me organize; it's unnecessary, but appreciated.

I'm also currently @[email protected]
This account is a replica from Hacker News. Its author can't see your replies. If you find this service useful, please consider supporting us via our Patreon.

Officialhttps://
Support this servicehttps://www.patreon.com/birddotmakeup
Show threadGroxx4d ago
And how do you know if it has proven the property you want, instead of something that's just complicated looking but evaluates to true?
Show threadGroxxMar 19

You've got to pick some time value (if you choose this route at all), and if the goal is to prevent urgency-coercion it needs to be at least multiple hours. An extremely-common-for-humans one seems rather obvious compared to, like, 18.2 hours (65,536 seconds).

Unless you want to pick 1 week. But that's a lot more annoying.