- 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 1 hr 2 mins βββββββββββββββββββββββββ 56.77 %
Markdown 32 mins βββββββββββββββββββββββββ 29.89 %
Other 14 mins βββββββββββββββββββββββββ 13.34 %
π₯ Editors:
VS Code 1 hr 49 mins βββββββββββββββββββββββββ 100.00 %
π My Coding Activity Over the Past Year
β Programming Language Usage Duration Over the Past Year




