Categories Misc Idris and XLA: linear algebra and probabilistic modelling w. dependent types Post author By Post date December 27, 2021 No Comments on Idris and XLA: linear algebra and probabilistic modelling w. dependent types submitted by /u/tmp-1379[visit reddit] [comments] ← Develop, Deploy, and Distribute Immersive Experiences with NVIDIA CloudXR and Amazon Web Services → As a solo side-project, I built a TensorFlow-powered abstract news summarizing iOS app Leave a Reply Cancel replyYour email address will not be published. Required fields are marked *Comment * Name * Email * Website Save my name, email, and website in this browser for the next time I comment.
DataBloomDataBloom