James T. Martin A self-taught programmer fond of programming language theory. Experience Programming Language Design Community June 2018 onward Led redesign of the website Automated the generation of the community projects list using Jekyll Bridged the Discord and Freenode sub-communities via Matrix Co-founded the Discord sub-community; moderated it and /r/ProgrammingLanguages Hazen Robotics Club Mentored programming at the summer robotics camp Taught club members to use Java and Git Collaborated to build robot controller programs for FTC competitions Skills Languages: Java 8, Haskell, HTML5/XHTML Tools: Git, GitHub, continuous integration, bug tracking, unit testing, property testing Administration: Debian GNU/Linux, Nginx APIs: REST, JSON, JSON Schema, JSON-LD, HATEOAS Security: TLS: Let's Encrypt, SSL Labs, DNS CAA, HSTS deployment Web: XSS prevention, CSRF prevention, CSP, input validation, SQL injection prevention Education Hazen High School 2015 to 2019 Recieved OSHA 10 certification. Member of marching, symphonic, and jazz bands; recieved John Philip Sousa award in 2019.