James T. Martin

Summary

I am a self-taught programmer, fond of programming language theory.

Skills

• Programming Languages: Java, Haskell, Agda, HTML, Rust.

Experience

The Programming Language Design Community

• I moderated /r/ProgrammingLanguages from June 5th, 2018 to April 19th, 2019.
• I co-founded the official /r/ProgrammingLanguages Discord on January 3rd, 2019.
• I spearheaded the redesign of www.proglangdesign.net, which was released on January 19th, 2019.
• I opened a bridge between #proglangdesign and ##programminglanguages on Freenode and the Discord via Matrix on January 5th, 2019. I am still the administrator and host of this bridge.

Hazen Robotics Club

I was a Java developer for the Hazen Robotics Club from September 2017 to October 2018.

• I mentored programming at the summer robotics camp, and
• taught basic tools like Java and Git to club members.

Education

• I graduated from Hazen High School in June 2019.
• I will begin attending Bellevue College in Winter 2020, with the intent to study computer science.

Certifications

• OSHA 10