Do you know about Electric SQL (https://electric-sql.com/docs/overview/technical-intro)? It sounds similar to what you describe.
49 karma · joined March 19, 2017
https://pineman.github.io/
I also use python/sympy/matplotlib/scipy/jupyter a lot and it's absolutely great -- highly recommend to the OP.
On-topic: Great 2.0 release! Asciinema is great software for tutoring or showing off a terminal app, I use it a lot!