I am a Hardware engineer and PhD student working at the intersection of EDA/CAD, digital design, and low-level systems.

[flinner@github] ~ $ neofetch
# ──────────────────────────────────────

[research]
area        = "Hardware EDA / CAD"
interests   = [
    "Reconfigurable Hardware (FPGAs, CGRAs, ...)",
    "Accelerator Design",
    "Compilers",
    "Formal Verification",
]

status      = "██░░░░░░░░░░░░░░░ 10% (PhD in progress!)"
[obsessions]
architecture        = true
language_theory     = true
compilers           = true
formal_verification = true

[contact]
email       = "flinner [at] nand [.] sh"

1. Got a site?
   yeaa! check this ammar.engineer

2. Who are you?
   check my "about me" page!

3. What langs do prefer?
   I think the language itself isn't all that important, but I do like functional languages, typed or not.

If I were to choose my favorite, I would pick:

• Clojure: lisp+JVM!, macros and a repl!
• Rust: typed, static, zero-cost abstraction, friendly and helpful compiler
• Julia: I am a fan of Pluto.jl!

4. Are these questions really FAQ (Frequently Asked)?
   No, I just made them up :(