Skip to content

Instantly share code, notes, and snippets.

@loliGothicK

loliGothicK/resume.mitama.md

Last active February 3, 2022 19:10
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save loliGothicK/4334bf1d89cd49d35020af8c79fec1bd to your computer and use it in GitHub Desktop.
Save loliGothicK/4334bf1d89cd49d35020af8c79fec1bd to your computer and use it in GitHub Desktop.
Download ZIP
[Engineer Resume] Mitama
Raw
resume.mitama.md

Basic Info

  • Name: Yuki Wada
  • Twitter: @mitama_rs (いなむのみたまのかみ)

Outputs

  • mitama-cpp-result

    a C++17 library that provides Result and Maybe with monadic functions

  • mitama-dimensional

    a C++17 library that provides strict dimensioned types and enables dimensional analysis

  • regex-soup-bot

    a discord bot for lateral thinking game based on regular expressions

Background & Skills

Specialized field

  • Numerical Analysis
  • Reliable Computing
  • Algebraic Geometry
  • Type Theory
  • Science Education
  • Kendama

Programing language

  • C++ (Language Lawyer)
  • Rust (Language Lawyer)
  • Haskell (Professional)
  • Coq (User)
  • TypeScript (User)
  • Scala3 (User)
  • F# (Beginner)

Skills

  • Illustration Design:
    • I can draw the materials I need for my website myself.
    • Adobe, Figma, Lettering
  • Backend:
    • Rust, MySQL, PostgreSQL, redis, gRPC
  • Frontend
    • TypeScript, React, GraphQL, Next.js, styled-component
  • Infrastructure:
    • AWS, GCP
  • DevOps:
    • Docker, GitHub, GitHub Actions, CircleCI

Work history

Term work
2014-04 to 2018-03 working as science teacher in Osaka Pref.
2018.9 - CADDi, Inc.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment