Looks similar
My favourite animation trick: exponential smoothing (2023)(lisyarus.github.io)
590 points by atan2 | 330 comments
Blog post explaining exponential smoothing as an animation technique for cameras, UI elements, and audio, with interactive examples and the underlying math.
TLA+ in Isabelle/HOL(davecturner.github.io)
71 points by kalaracey | 2 comments






