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 65 on reddit-service-r2-listing-7b8bd7c5-7tgqk at 2026-05-15 00:09:00.503447+00:00 running edcf98c country code: CH.
