in #advent of code, #physics, @Math, +Advent of Code
in @Math
in #functional programming, #dependent types, #numerical, #haskell, #singletons, #types, #artificial neural networks, #machine learning, @Haskell, @Ramblings, +Practical Dependent Types in Haskell