Kotlin𝛁: A Shape-Safe DSL for Differentiable Programming : r/Kotlin