Hacker News new | ask | show | jobs
by patrickkidger 1126 days ago
Incidentally `diffrax.PIDController` also has a `dtmin` argument that could probably be used here instead of re-running things. :)