Welcome

scroll down, or pick a section above

Home

Sorry, this website is still a bit of a WIP.

Hadi Faraz

Hadi Faraz @ Calgary

whoami:
Computer Science student at the University of CalgaryVice President of Infrastructure at the UCalgary CyberSec Club
interests:
Rust ♥, reverse engineering ♥, formal logic ♥, embedded systems, assembly, hardware design, binary exploitation, linux
hobbies:
Programming, video games, music, swimming, supernatural and fantasy books
favourite book:
House of Leaves
favourite game:
Factorio ♥
favourite artist:
Magdalena BayJPEGMAFIA
favourite linux distro:
NixOS
Book cover
Currently reading Incompleteness & Computability
Favourite albums
I Love My ComputerDummyFantasies
Game cover
Currently playing Valheim
NixOS logo
Current OS NixOS
This Website

Personal Portfolio Website

TypeScript

This website.

URL
Proof Tree Builder

Proof Tree Builder

Rust

Build, visualize and convert sequent calculus proofs.

Repo link URL
Home Server

Home Server

Docker

Overview of everything that I self-host

URL
Old website

Old Personal Website

Rust