Avery the PuppyDragon

Not yet professional computer toucher, I use :nix: on a daily basis, and program mainly in :rust:. Currently studying computing science, and taking an interest in low level stuff (Cpu/Architecture design (RiscV), OsDev, Emulation), security (Formal verification), and Proof Assistants and Type Theory.

Alleged avid minecraft player, I have taking an interest in GregTech and its derivatives, as well as Create's train networks. I hope to one day make my own modpack around train networks, logistics and compilcated processes.

Have also discovered factorio... Absolutely not gonna sink too many hours into a way too big modpack...

DnD and (alleged) Magic: The Gathering player. Look, is has just been a long while since I've played MtG, I swear I still know how it works.

Wannabe outdoor person, used to do outdoors things a good bit, wanna start doing that more again, love making fire, chopping wood, etc...

If you want to follow, please make sure we have interacted before.