Skip to content
View Flinner's full-sized avatar
🦋
M-x Butterfly :D
🦋
M-x Butterfly :D
41 followers · 138 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Public SponsorAchievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx2Achievement: Starstruck

Achievements

Achievement: Pair ExtraordinaireAchievement: Public SponsorAchievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx2Achievement: Starstruck

Highlights

  • Pro

Organizations

@haskell-beginners-2022

Block or report Flinner

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 supported. This note will be visible to only you.
Report abuse

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

Report abuse
Flinner/README.md

Hello!

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",
]

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

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

FAQs

  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!
  1. Are these questions really FAQ (Frequently Asked)?
    No, I just made them up :(

Stats:

GitHub Streak

Pinned Loading

  1. vlang/v vlang/v Public

    Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io

    V 37.5k 2.2k

  2. jank-lang/jank jank-lang/jank Public

    The native Clojure dialect hosted on LLVM with seamless C++ interop.

    C++ 3.2k 116

  3. dots dots Public

    A Comfy Home

    Shell 22 2

  4. FlipTracer FlipTracer Public

    RayTracer, based on http://raytracerchallenge.com/

    Rust 3

  5. courseoffering/courseoffering.github.io courseoffering/courseoffering.github.io Public

    Course Offerings and Schedule Creator for KFU.

    Vue 4

  6. PacmanFPGA PacmanFPGA Public

    Classic Pacman Implementation on a Xilinx FPGA! Simulated with Verilator + SFML

    SystemVerilog 2 1