PhD Student @ RPI studying Automated Reasoning in AI and Linux Enthusiast.
May, 2022
OpenMPI on Fedora
February, 2022
Rebuild Kernel Modules with Akmods
