Home | Projects | Posts | Reading List | About

Posts

Install Pytorch on Ubuntu 22.04 with AMD ROCm 5.3 - February 22, 2023

Mathlib - Klein four-group - November 12, 2023

Mathlib - Coxeter groups - February 7, 2024