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 pathRelated 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