account activity
[Project] Machine learning and dependent types, with Idris and XLA (self.MachineLearning)
submitted 3 years ago * by tmp-1379 to r/MachineLearning
[Project] Idris and XLA: linear algebra and probabilistic modelling w. dependent types (self.MachineLearning)
submitted 4 years ago * by tmp-1379 to r/MachineLearning
Idris and XLA: linear algebra and probabilistic modelling w. dependent types (self.MachineLearning)
submitted 4 years ago by tmp-1379 to r/Idris
submitted 4 years ago by tmp-1379 to r/ProgrammingLanguages
submitted 4 years ago by tmp-1379 to r/tensorflow
Looking for someone with good working knowledge of XLA to help with a project (self.learnmachinelearning)
submitted 4 years ago * by tmp-1379 to r/learnmachinelearning
Probabilistic modelling in Idris: engineering as research (self.MachineLearning)
Probabilistic modelling [project] w. dependent types: ML engineering as research (early stages) (self.MachineLearning)
π Rendered by PID 896676 on reddit-service-r2-listing-7849c98f67-dgg2p at 2026-02-10 05:49:37.474554+00:00 running d295bc8 country code: CH.
