I'm Dylech30th ❤ Open Source

val dc = person {
  info {
    name = "Dylech30th"
    job = listOf(Student, SoftwareEngineer(ClientEngineer.of(Android, iOS, Windows, MacOS)))
    languages = listOf(English, Chinese, French, Latin.apply { +isLearning })
    pronouns("He" `or` "His")
    interests(Comparison.ORDERED) { +TypeTheory; +CategoricalSemantics; +Bangumi; +Programming; }
  }
  progammingSkills(Comparison.UNORDERED) {
      +Kotlin; +CSharp; +Scala; +OCaml; +FSharp; +Java; +Idris
  }
  social {
    website = Url("https://sora.ink")
    twitter = "@dylech30th"
  }
}
@JvmStatic
fun main() {
  dc.greet()
}

🏆 GitHub Profile Trophy

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

• ⌨️ I love modern languages with exquisite design, such as C#, Scala, Haskell, and ML dialects like OCaml/F#. I'd like to cast criticisms on languages that are too conservative to explore practical features like Java and languages that tend to mix too many concepts from different realms but don't have a clue about how to arrange them in a reasonable way like C++.
• 🪓 I believe there are Good Designs and Bad Designs, which makes me not agree with the slogan "All languages are created equal" and "There is no good or bad between languages, only fit or not".
• 📖 I love reading books, currently I'm reading Algebraic Topology by Tammo Tom Dieck.
• 📜 From a theoretical perspective, I love Mathematical Logic, Type Theory, especially the connection between logic, category, and topology, despite the fact that I just started reading them.
• 🔨 From a practical perspective, I love Compiler Construction, and Virtual Machine.
• 🤓 Despite being a starter, I'm still putting all my efforts into making 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 took most of my free time, give a star if you are interested in it, and you can sponsor me if you like it

📊 My Achievement

本物?偽物？

||| |----------|----------|

👀 Visitors

💩 Programming Flavor

Utter garbage, this account hereby adheres to producing the State-of-the-art Shitcode.