- Hello, I'm @lingkerio;
- I'm studying at Wuhan University to pursue baccalaureate;
- I'm currently diving into Programming Language Theory (PLT) and making time to read through TaPL (Types and Programming Languages);
- My current research focuses on MLSys, particularly edge-device inference, though I'm also deeply interested in LLM serving;
- I'm pursuing mastery of computer fundamentals - already co-developed a pipelined CPU that successfully booted PMON, and now collaborating on a Sysy language compiler;
- Planning to explore OS kernels starting from xv6/rcore to Linux kernel, likely beginning after October this year.
- please contact with me by lingkerio@qq.com;
- welcome friendly contact;
π This Week I Spent My Time On
π¬ Programming Languages:
Python 7 hrs 32 mins βββββββββββββββββββββββββ 97.31 %
fish 12 mins βββββββββββββββββββββββββ 02.68 %
Other 0 secs βββββββββββββββββββββββββ 00.01 %
π₯ Editors:
VS Code 7 hrs 45 mins βββββββββββββββββββββββββ 100.00 %
π My Coding Activity Over the Past Year
β Programming Language Usage Duration Over the Past Year
What I am using:
tools
My Skills:
Skills