The free botbot.me IRC logging service is unfortunately shutting down in early November: https://lincolnloop.com/blog/saying-goodbye-botbotme/
We should ensure we have copies of our channel logs in some form before this, for archival purposes.
import numpy as np def solve_hjb_trading(Q_total, T, dt, dq, eta, phi, alpha): """ Resolve numericamente a HJB para ...