Blogs

Deep dives into distributed systems, formal methods, DevSecOps, and hands-on engineering projects.

Building a Meshtastic Network Monitoring Suite
PythonDockerMeshtastic+2

Building a Meshtastic Network Monitoring Suite

Extending Meshtastic MQTT Explorer with SPLAT! coverage calculation, redundancy analysis, and Dockerized microservices.

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

DevSecOps Pipeline with GitLab, Kubernetes, and Argo CD

Academic project: end-to-end GitLab CI/CD with Kubernetes, Argo CD GitOps, and SAST/SCA/DAST security gates.

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

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

Decentralized P2P chat with structured overlay, Kademlia discovery, Chord/DHT routing, and Diffie-Hellman + AES encryption.

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

WHILE Language — OCaml Interpreters and Rocq Proofs

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

HTTP Server in Java — From Scratch
JavaNetworkingHTTP

HTTP Server in Java — From Scratch

A custom HTTP server in Java: TCP sockets, request parsing, routing, and responses without servlet containers.

Producer–Consumer Pattern in Java
JavaConcurrencyMultithreading

Producer–Consumer Pattern in Java

Classic producer–consumer concurrency with thread-safe buffers and coordinated worker threads in Java.