Tooted on
#Introduction Hi everyone! I'm a PhD student in computer science, studying the intersection between formal logic and artificial intelligence.
I enjoy and love all things #foss , I am a #fedora user and often tinker around with my #homelab.
I also fumble around with #hamradio and enjoy vibing outdoors when the weather is nice. When I'm extra ambitious, I'll add a hike in!