PhD Student @ RPI studying Automated Reasoning in AI and Linux Enthusiast.
December, 2022
Mastodon/Webfinger Alias using HTTP Redirects
June, 2022
Having your Website Visible on the Fediverse
May, 2022
Archiving Toots
Displaying a Toot in Hugo
Finding Cool People on Mastodon
Why I PESOS From Mastodon
