Hello. I am Sameer, writing from Andhra Pradesh. This is my blog.
My work sits at the intersection of infrastructure engineering, type-driven programming, and long-form technical writing. I build things that reduce incoherence between execution layers: the gap between what a system declares it does and what it actually does at runtime is where most debugging lives, and closing that gap is the consistent thread across the projects below.
What I Am Working On
A Kubernetes cluster running on two QEMU NixOS VMs — bare metal Kubernetes 1.35 with CRI-O, Calico, ArgoCD, and etcd encrypted at rest. It serves two purposes: hosting GitLab CI runners (free, self-owned compute instead of shared runner minutes) and deploying Rust microservices including rs-comment-api, the IndieAuth commenting service for this blog. The cluster uses Nix for reproducible builds, Attic on Cloudflare R2 for binary caching, and Tailscale for zero-trust networking.
trace-align is a Haskell CLI for differential runtime analysis. It compares JSONL execution traces from two versions of a function and outputs a diff of diverging intermediate states — useful for verifying that a refactor of a complex ML pipeline or DSL interpreter preserves the original semantics. For Haskell code specifically, a Template Haskell splice (`makeTraced`) instruments pure functions at compile time without manual trace calls.
jobpipe is a Rust/Python ML pipeline that shortlists job postings against a candidate profile. It uses a typed ontology DSL to project symbolic concepts into feature and embedding spaces, and logistic regression with MLflow-tracked retraining to rank results against accumulated feedback.
Writing
I write essays here on infrastructure, type theory, and the places where they meet. A partially-written well-structured essay is not a complete artifact — it is broken until finished. That makes it harder to generate by committee and easier to use as a record of actual reasoning.
