PhD student studying ordered type theories, Linux enthusiast, programmer, and DuckDuckGo Community Leader.