Home Original page

Rudxain - Overview

Me

Personal

Repos

  • I'll delete any fork that has 0 "Yours"(from my POV) branches. Therefore, links to such forks may become broken (not dead, because it's not permanent).
    • I may delete "Yours" branches if their corresponding pull-request is merged/closed.
  • I may delete any of my Gists without warning. The most likely reason is due to moving its contents to an actual repo.
  • Archives are considered for deletion

Langs

  • ❤️ Faves

    • in practice: This takes into account all the stuff related to the langs (ubiquity, portability, docs, std+community tools & libs, etc...):

      • Bash & POSIX Shell
      • JS+ts-check+JSDoc / TS
      • 🦀 Rs. See FireFlowers to understand why.

    • in theory (idealized): This only takes into account the langs in isolation (semantics, type-system, syntax & grammar, std-lib, etc...):

      1. 🦀 Rs. For everything.
      2. TS

  • 🧠 Expertise: This takes into account my knowledge of the lang (and everything directly related to it), and my experience making useful, efficient, and correct/safe software in it. This is subject to D.K., I'll try my best to list in an accurate order. The list is non-exhaustive, as it focuses on specialization and fluency:

    1. A.R.T. REs. I've even catched an implementation bug (non-compliant with the Java spec) 🗿
    2. POSIX sh (implies basic Bash and MirBSD Korn shell)
    3. AM
    4. JS
    5. TS
    6. 🦀 Rs
    7. BF. Proof.
    8. HTML5

  • 📖 Learning

    • 💾 Assembly x86. Only reading, not writing

👀 Interested in these characteristics:

  • Low-level, both in the physical sense (such as 💾 assembly, both for real and virtual (VM) CPUs), and the theoretical sense (such as λ-Calculus). I do like hi-level stuff, but with "humble" abstractions.
  • Type sys: I prefer static rather than dynamic, and absolutely prefer strong rather than weak (I'm PHP-phobic). IOW, I prefer strong+dyn over weak+static.
  • Effect sys.
  • Stuff like Hylo and Granule
  • Interaction nets, such as HVM
  • Shape-based syntax that intuitively corresponds to semantics, such as BF dialects and modern APL derivatives

Despite my love for langs like Rust, I still respect langs like C and Go, for the same reason why I respect λ-Calculus and Gleam: simplicity. That's why C++ should go extinct:

And Bash is almost as insane as PHP, see this SC issue.

BTW, I really hate when JS is abused.

Editor

❤️ Fav & ⭐ fluent: hx

OS

Browser

Terminal

Other tools