{{ message }}

# tagtime / TagTime

Merge branch 'master' of github.com:dreeves/TagTime
dreeves committed Sep 2, 2018
2 parents 7bdb078 + 544f40f commit 59343e2cbe451eb16109e782c194ccbd0ee4196d
 @@ -112,12 +112,17 @@ pings you entered last time. (Thanks to Paul Fenwick for implementing that.) If your tagtime gap is g minutes then the probability of at least one ping in any x minute window is 1-exp(-x/g). The window corresponding to probability p is -g*ln(1-p). The window corresponding to probability p is -g\*ln(1-p). For example, with g=45, there's a 10% chance of getting pinged in any window of duration 4 minutes 44 seconds. There's a 50% chance of getting pinged within 31 minutes. There's a 99% chance of a ping within 3.5 hours. The probability of waiting over 10 hours for a ping is one in a million. The probability of waiting over 10 hours\* for a ping is one in a million. \* However, due to a [flaw in the random number generation algorithm used](http://github.com/dreeves/TagTime/issues/62#issuecomment-239705969) when this happens\*\*, the following ping will be more than 3 hours later. \*\* Will not occur in the 21st century. # Beeminder Integration @@ -134,7 +139,7 @@ Regular expressions are encouraged! See `settings.pl` for more details. Note that TagTime sends times to Beeminder in hours. Here's a handy tool if you like skating the edge of a TagTime-based Beeminder goal: [tminder](http://tminder.meteorapp.com/). Here's a handy tool if you like skating the edge of a TagTime-based Beeminder goal: [tminder](http://mind.tagti.me). **WARNING: TagTime will replace all existing data for the goal to make it match your TagTime log. In other words, your TagTime log is the master copy and TagTime will keep Beeminder in sync with it, including deleting data that's not found in your TagTime log.**