PhD Student @ RPI, Writer of Tidbits, and Linux Enthusiast
2025
Formal Methods
Web
Rust
2024
Logic
LaTex
Automated Planning
Python
Bash
Nginx
2023
Storage
GPG/PGP
Containers
Git
Archive
DB
Networking
Life
Fedora
JS
Finance
Hugo
2022
Mastodon
Blogging
Scala
Functional Programming
Haskell
Audio-Video
GPS
Documentation
Math
Linux
Backup
Java
SSH
2021
Amateur Radio
Virtualization
Testing
2020
C++
Packaging
X11
Deployment
Security
Music
Statistics
Ubuntu
2019
CSS
2017
R
