1. There's maybe/barely enough demand to justify configurable gap
time. (Though mostly people should stick to 45 minutes.)
2. No need for the node.js version to mimic the "ping.pl
" command line syntax.
3. The way I get intuition about the distribution is to think about
the equivalent (but hideous and inefficient) implementation where
every second you decide with fixed independent probability whether to
ping that second. If the gap is 45m = 2700s then that fixed
probability is 1/2700. With a 90m gap you'd be pinging each second
with 1/5400 probability. So half as often. I'm actually not sure if
that answers your question...
> You received this message because you are subscribed to the Google Groups
> "tagtime" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to tagtime+u...@googlegroups.com
> For more options, visit https://groups.google.com/d/optout
-- search://"Daniel Reeves"
Goal tracking + Commitment contracts == http://beeminder.com