Skip to content
View Lslightly's full-sized avatar
70 followers · 382 following

Organizations

@Lslightly-courses

Block or report Lslightly

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Lslightly/README.md

Hi there 👋

Stats

Total Time: 17 hrs 8 mins

Markdown   15 hrs 15 mins        ██████████████████████▒░░   88.98 %
Other      1 hr 14 mins          █▓░░░░░░░░░░░░░░░░░░░░░░░   07.25 %
BibTeX     21 mins               ▓░░░░░░░░░░░░░░░░░░░░░░░░   02.13 %
Text       13 mins               ▒░░░░░░░░░░░░░░░░░░░░░░░░   01.27 %
Bash       3 mins                ░░░░░░░░░░░░░░░░░░░░░░░░░   00.36 %
Python     0 secs                ░░░░░░░░░░░░░░░░░░░░░░░░░   00.01 %

See About Me and Resume(Made by typst. Use pdf viewer which supports links for better experience) for further information.

You are the ↓ visitor. Wow! So Special You Are! At least I believe!

Visitors

Contact with me through email. Thanks!

Some interesting contributions to make work/life(no life now) easier and better, ordered by time:

stuck now(someday in June/July 2026 I will start):

  • gopls
    • Why is the documentation of lambda function whose type is named and documented not shown? Jump TWICE Or Go To Browser to see the documentation? No!

Done:

  • delve
    • Why can't I debug the child process in Go? Wait and Attach? I can't WAIT! Just Debug it Now!
  • mousewheel-image-zoom
    • Why can't I zoom in/out the image from PDF++ extension in Obsidian? This image is too BIG!
  • So many broken doc.
    • ...

Pinned Loading

  1. QLStat QLStat Public

    Analyze Real World Project Batch with Declarative Static Analysis based on CodeQL

    CodeQL 1

  2. gollvm-heap2stack-invariant-verify gollvm-heap2stack-invariant-verify Public

    semantics of IR generated by GoLLVM(Go compiler with LLVM as its backend). It also verify the heap2stack invariant of escape analysis for some test cases. Yes, they say that's verification, obvious…

    LLVM

  3. github-follow-contributions github-follow-contributions Public

    Forked from liuly0322/github-follow-contributions

    Track and analyze the recent contributions of GitHub users you follow.

    HTML

  4. boc boc Public

    Go implementation of OOPSLA 2023 paper "When Concurrency Matters: Behaviour-Oriented Concurrency".

    Go 3 1

  5. go-delve/delve go-delve/delve Public

    Delve is a debugger for the Go programming language.

    Go 24.7k 2.2k