Blogs

Write-ups on pipelines, platforms, and systems work.

Building a Meshtastic Network Monitoring Suite
PythonDockerMeshtastic+2

Building a Meshtastic Network Monitoring Suite

A Dockerized monitoring suite for Meshtastic mesh networks — SPLAT! radio coverage, redundancy analysis, and a Vue.js map viewer, built without modifying upstream code.

DevSecOps Pipeline with GitLab, Kubernetes, and Argo CD
DevSecOpsGitLabKubernetes+2

DevSecOps Pipeline with GitLab, Kubernetes, and Argo CD

How I built a production-style GitLab CI/CD pipeline with Kubernetes, Argo CD GitOps, and SAST/SCA/DAST gates that block vulnerable builds before they reach the cluster.

Peer-to-Peer SecureChat — Kademlia, Chord, and AES
PythonDistributed SystemsCryptography+2

Peer-to-Peer SecureChat — Kademlia, Chord, and AES

A decentralized P2P chat with Kademlia discovery, Chord/DHT routing, and Diffie-Hellman + AES encryption — no central server required.

WHILE Language — OCaml Interpreters and Rocq Proofs
OCamlRocqFormal Methods+1

WHILE Language — OCaml Interpreters and Rocq Proofs

Formal methods project: WHILEb/WHILEb-- parsers and interpreters in OCaml, natural semantics, and machine-checked proofs in Rocq (Coq).

HTTP Server in Java — From Scratch
JavaNetworkingHTTP

HTTP Server in Java — From Scratch

Building a working HTTP server in plain Java — TCP sockets, request parsing, routing, and responses without Tomcat or Spring.

Producer–Consumer Pattern in Java
JavaConcurrencyMultithreading

Producer–Consumer Pattern in Java

Classic producer–consumer concurrency in Java — thread-safe bounded buffers, coordinated workers, and graceful shutdown without races or deadlocks.