irc-rss-feed-bot icon indicating copy to clipboard operation
irc-rss-feed-bot copied to clipboard

Published 20 hours ago • verified publisher icon impredicative

Use dynamic PERIOD_RANDOM_PERCENT

Open impredicative opened this issue 6 years ago • 0 comments

Consider:

PERIOD_RANDOM_PERCENT = log2(num_feeds)

impredicative avatar Jul 25 '19 19:07 impredicative