About

Im Danial. SRE by day, Web3 auditor - consultant by night.

MY WORKING PHILOSOPHY

Automate Everything

From cloud infrastructure to code testing and deployment. (no manual deployment please)

Isolated, Reproducible Environments

no “works on my machine” issues.

Data Model Verification

I define data models collaboratively and engage business owners for verification, recognizing that initial understandings of business problems can be flawed, I aim for the quickest possible failure when something is likely to fail.

Property-Based Testing

Machines are fast and dumb; I guide them on how to verify the Solution, letting them handle input generation and testing efficiently. I employ “educated generators” and “shrinks” for broader coverage with less computational waste and shorter reproduction steps (e.g., QuickCheck, Hypothesis in Python, TLA+ for high- level design decisions).