I'm Lslightly. I have broad interests and I just seek time to start them or I have not found available resources to do them.

I am a CS graduate from USTC. After graduation, I got emo because I thought I didn't find my value. But actually it was there: trying new things and some practical tools.

Operating Systems ❌❌

Programming Languages Comfortable With Familiar With Still Learning

Total Time: 47 hrs 21 mins Markdown 35 hrs 51 mins ███████████████████░░░░░░ 75.70 % Python 3 hrs 18 mins █▓░░░░░░░░░░░░░░░░░░░░░░░ 06.99 % Lean 2 hrs 5 mins █░░░░░░░░░░░░░░░░░░░░░░░░ 04.42 % Text 1 hr 30 mins ▓░░░░░░░░░░░░░░░░░░░░░░░░ 03.19 % Go 1 hr 18 mins ▓░░░░░░░░░░░░░░░░░░░░░░░░ 02.75 % Bash 59 mins ▓░░░░░░░░░░░░░░░░░░░░░░░░ 02.09 % TypeScript 46 mins ▒░░░░░░░░░░░░░░░░░░░░░░░░ 01.64 %

• Known parts of CS(green hand): Compiler(traditional), Arch, Database, AI(<=2010, that is searching, constraint solvers and traditional ML methods), Formal Methods(few concepts)
• Unknown parts of CS: Web(Crawler, Browser, Frameworks), OS(know few concepts), Distributed System, Security(know few concepts), Reinforcement Learning, Software Engineering(know few concepts), MLSys(only CUDA Tutorial), Big Data Algorithm, Deep Learning, Graphics, Advanced Data Structures(No OI experience), Network(know few concepts), Verification(Coq, Lean, Type Theory)

Not so good at command line and know a little bit.

• workflows: VSCode, Obsidian+Excalidraw+Git, Overleaf.
• keep improving: searching, evaluation, executing and English.

Beliefs:

• Believe Myself.
• Coding and Practice.
• Keep Improving like Vim.
• Offer Helps and Make Sense.
• Cooperation creates. Races have no winners.
• Seeking/Creating the Good in Life.

contact with me through email. Thanks!