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
Deploy Next.js to Vercel with a Custom Domain
A production-focused guide to deploying Next.js from GitHub, configuring DNS, validating HTTPS, and avoiding common custom-domain failures.
Host a Static Site on AWS with S3, CloudFront, and ACM
Deploy a static site behind CloudFront with HTTPS, a custom domain, and a private S3 origin using Origin Access Control.
Related project areas
Start with Career Trainer for Haskell backend architecture, then explore the Cardano projects and deployment guides.
Explore my Haskell work