PhD Student @ RPI studying Automated Reasoning in AI and Linux Enthusiast.
February, 2020
Resuming Stopped Apt Updates
May, 2019
Custom System Fonts
Unattended Upgrades
