Haskell, reproducible development, and Cardano engineering.
Practical write-ups for engineers, recruiters, and clients who want to inspect my Haskell application work, deployment decisions, and specialized smart contract review workflows.
Haskell backend engineering
Explore Career Trainer: typed domain records, Scotty routes, SQLite state, API fallback behavior, and Nix setup.
Open reading pathCardano smart contracts
Use a practical validator review checklist while the deeper Aiken and eUTxO article series is being developed.
Open reading pathDeployment & infrastructure
Start with practical guides for Next.js, Vercel, AWS, CloudFront, DNS, HTTPS, and release validation.
Open reading pathSecurity-minded engineering
Use this track for checklists, threat modeling, safer release processes, and smart contract review habits.
Open reading pathAI-assisted engineering
Use AI as a bounded reviewer and drafting assistant, then require reproducible evidence before trusting any smart contract change.
Open reading pathFormal methods with Lean 4
Turn selected Aiken validator invariants into explicit Lean 4 proof obligations without overstating what the model proves.
Open reading pathBrowse by problem area
Related project areas
Start with Career Trainer for Haskell backend architecture, then explore the Cardano projects and deployment guides.
Explore my Haskell work