MikuroXina
About
Vision
Level our chaos with Information Science.
We have each chaotic prime mover even our life get modernized. Talking to others, tripping to somewhere, experiencing a fiction, and so on will help us at the another level which is informational.
I hope to improve their prime experience a bit with the technology as possible. So I always pay attention to whole of a hierarchy of science, engineering and user domains.
Timeline
- 2012Began programming with LEGO MINDSTORMS NXT and NXC language.
- 2013Learned C++ and CLI.
- 2014Learned Python, Lua and some algorithms.
- 2017Published tiny games with SDL2. Learned about objective oriented programming.
- 2018Joined competitive programming in AtCoder at first. Created games by own team. Published my color theme for Visual Studio Code.
- 2019Learned JavaScript/TypeScript and created web pages with Next.js
- 2020Learned Rust deeply. Joined to Approvers.
- 2021Learned about Haskell, Scala and functional programming.
- 2022Created Discord bots and functional programming library in TypeScript.
Current Goals
- Gain a qualification "Fundamental Information Technology Engineer Examination"
- Reach to the cyan rating in AtCoder.
- Get practical experience in business.
Skills
Favorite Programming Languages
- C++ - Useful for any purpose except modern UI tech stack.
- TypeScript - Better way to develop web stuff currently.
- JavaScript - Runs anywhere thanks to web standard.
- Rust - New wave to develop system software in modern way.
- Python - Useful for tooling of building softwares.
- Haskell - Provides nice abstraction of system as a processor.
Frequently Using Technologies
Interested Field
- System Integration
- Static Code Analysis
- Model Checking
- Mathematical Model of Memory Safety
Gained Examinations
- TOEIC: 625 points
- PAST: Advanced Beginner
My Projects
Active Projects
Stale Projects
Other Persons' Projects