delta_t.py

#!/usr/bin/python3
import json, sys
from datetime import datetime

if len(sys.argv) >= 2 and (sys.argv[1] == '-h' or sys.argv[1] == '--help'):
    sys.exit(f'Usage: {sys.argv[0]} [json-file] [day]')

json_file = str(datetime.now().year) + '.json' if len(sys.argv) < 2 else sys.argv[1]
curday = datetime.now().day if len(sys.argv) < 3 else int(sys.argv[2])

# read file
with open(json_file, 'r') as myfile:
    data = json.loads(myfile.read())

members = data['members']
ids = members.keys()
names = dict([ (_id, members[_id]['name']) for _id in ids ])
scores = dict([ (_id, 0) for _id in ids ])
firstsolves = dict([ (_id, []) for _id in ids ])

def delta_t(_id, day):
    solves = members[_id]['completion_day_level']
    if str(day) not in solves:
        return None
    today = solves[str(day)]
    if '2' not in today:
        return None
    return (today['2']['get_star_ts'] - today['1']['get_star_ts'], _id)

def hms(t):
    if t is None:
        return ''
    return (('' if t[0] < 3600 else str(t[0]//3600) + 'h')
        + ('' if t[0] < 60 else str((t[0]//60)%60) + 'm')
        + str(t[0]%60) + 's')

def scoring(rank): # rank is zero based.
    N = len(members)
    return pow(N, 1.0 - rank / (N - 1))
    #return len(members) - rank

for day in range(1, curday + 1):
    times = sorted(filter(None, [ delta_t(_id, day) for _id in ids ]))
    ranks = []
    lasttime = -1
    for (time, _id) in times:
        # Tie: give same score
        ranks.append(ranks[-1] if time == lasttime else len(ranks))
        lasttime = time
    for i in range(len(ranks)):
        scores[times[i][1]] += scoring(ranks[i])
        if ranks[i] == 0:
            firstsolves[times[i][1]].append(day)

deltas = dict([ (times[i][1], scoring(ranks[i])) for i in range(len(ranks)) ])
fscores = sorted(scores.items(), key=lambda x: -x[1])
deltatimes = [ hms(delta_t(x[0], curday)) for x in fscores ]
W = max(4, max(map(len, deltatimes)))

print('Day ', curday, '\nRank |  Score |  Delta | ',
    ('{:>' + str(W) + '}').format('time'),
    ' | Name', sep='')
for i in range(len(fscores)):
    if fscores[i][1] == 0:
        continue
    _id = fscores[i][0]
    d = f'{deltas[_id]:+.2f}' if _id in deltas else ''
    s = round(fscores[i][1], 2)
    print(f'{i+1:>4} | {fscores[i][1]:>6.2f} | {d:>6} | ',
            ('{:>' + str(W) + '}').format(deltatimes[i]),
            ' | ', names[fscores[i][0]], sep='')
print()

print('Number of fastest Δt solves:')
firstsolves = sorted(firstsolves.items(), key=lambda x: (-len(x[1]), names[x[0]].lower()))
for (_id, sc) in filter(lambda x: len(x[1]) != 0, firstsolves):
    deltas = [ 'D' + str(d) + ': ' + hms(delta_t(_id, d)) for d in sc ]
    print(f'{len(sc):>2}x: {names[_id]} (', ', '.join(deltas), ')', sep='')