about

2019-05-30

About me

I'm a programmer. I have experience in numerous areas in computer sciences and software engineering, which turns into a nightmare when applying job as I usually find my experience hard to match any job description.

Here's an incomplete list:

• Speech Deep Learning (Target Speaker Extraction, TTS inference server, SVC fine-tuning, data preprocessing, maximum coverage slicer)
• Rust (WASM, CLI game), currently learning async programming, tokio, actix and best practices
• Formal Verification using Coq, currently learning LEAN and z3
• Compiler (C++ LLVM Passes, Regex Engine + LR(1) Front End, and even tools to visualize LLVM IR)
• Machine Learning (Random Forest, Bayesian)
• Computer Graphics / Game (replicating minecraft with LWJGL, Unity shader coding, pygame)
• Python Backend Development (flask, fastapi, jinja, HTML, JavaScript)
• Java Backend Development (JSP, Servlet, MVC), planning to learn Spring
• Front-end (React, tailwind-css)
• Desktop Apps (PyQt6, tkinter, electron + TypeScript)
• Web Scraping (requests, selenium, playwright)
• Scaling stuff (AWS (S3, EC2, Lambda, API Gateway), Cloudflare (workers, pages, D1), Docker, nginx)
• Reverse Engineering independent game save files (The Blockheads)
• Functional Programming (Haskell, OCaml, Lisp)
• Database (SQL, MongoDB, even implementing DBMS internals)
• Competitive Programming (Codeforces, AtCoder, some on-site contests with prizes that I refuse to disclose)
• Office Automation (use python to handle Excel, Word files, sending emails, etc.)

Besides programming I'm also an amateur mixing engineer, and very occasionaly work as producer.