I'm Dylech30th

val dc = person {
  info {
    name = "Dylech30th"
    job = Student
    pronouns("He" `or` "His")
    interests(Comparison.ORDERED) { +TheoreticalComputerScience; +Bangumi; +Programming }
  }
  progammingSkills(Comparison.UNORDERED) {
      +Kotlin; +CSharp; +Scala; +OCaml; +Cplusplus; +Java
  }
  social {
    website = Url("https://sora.ink")
    bilibili = Uri("https://space.bilibili.com/21577236")
    qqGroup = 815791942
    twitter = "@dylech30th"
  }
}

@JvmStatic
fun main() {
  dc.greet()
}

🏆 GitHub Profile Trophy

I'm Dylech30th, a student who is passionate on theoretical computer science, you can call me dc for brevity. I'm willing to make new friends and often share my note and essays at my blog, welcome to pay a visit if you want to contact or want to make friends with me:).

• ⌨️ I love modern languages with exquisite design, such as C#, Scala, Rust, Kotlin, and ML dialects like OCaml/F#.
• 📖 I love reading books, currently I'm reading Types and Programming Languages by Benjamin C. Pierce.
• 📜 From a theoretical perspective, I love Mathematical Logic, more specifically, Computability Theory, and Programming Language Theory.
• 🔨 From a practical perspective, I love Compiler Construction, Compiler Optimization Techniques, and Virtual Machine.
• 🤓 Despite of being a starter, I'm still putting all my efforts to make myself better
• 💖 I have found the person I want to live with

⌨️ The Languages I'm Currently Using

👨‍💻 The Languages I'm Willing to Learn...

🚧 My Project

I'm the core developer of Pixeval, a third-party Pixiv client running on Windows and built atop of .NET 6 and WinUI 3, it tooks most of my free times, give a star if you are interested in it, and you can sponsor me if you like it

📊 My Achievement

本物?偽物？

👀 Visitors