Technical notes on Cardano, secure smart contracts, infrastructure, and production delivery.
Practical write-ups for engineers, recruiters, and clients who want to understand how I approach real deployment problems, security-minded engineering, and Cardano-focused systems work.
Cardano 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 pathDeploy 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
The blog connects back to portfolio work around Cardano UTxO logic, secure contract design, frontend dApps, deployment discipline, and documentation-first engineering.
Review Cardano and engineering project samples