🌸 avit-io | SRE & Functional Programmer

🌌 Engineering with Precision & Aesthetics

DevOps/SRE enthusiast with a deep love for functional purity, type theory, and declarative infrastructure. I build systems where correctness is not an afterthought.

---

🛠 My Technical Stack

Category	Tools & Philosophy
Infrastructure	Nix / NixOS • Dagger.io • Kubernetes • Crossplane
Languages	Gleam • Haskell • Go • Rust
Methodologies	Domain-Driven Design (DDD) • TDD • Property-based Testing
Computer Science	Certainty by Construction • Type Theory

---

🛸 Current Exploration

• Nix-everything: Converting imperative chaos into declarative harmony.
• Dagger Pipelines: CI/CD as code, strictly typed and container-native.
• Type Theory: Applying "Certainty by Construction" to eliminate entire classes of bugs before they exist.

---

📊 Vital Signs (avit-io)

---

📬 Let's Connect

Core Philosophy: "Making invalid states unrepresentable." > Approach: Infrastructure as Code & Certainty by Construction.