Hi, this is a website. Some may call it a “personal website”. Here you’ll find a noncomprehensive list of things that for some reason I’ve decided to make public.