"The more you know, the more you know you don't know."
I enjoy building systems from scratch to understand how they work under the hood. My work is a running log of things I’ve built, broken, and researched.
My focus resides in the low-level trenches — compilers, distributed runtimes, and security internals. I'm especially interested in integrating formal methods (Z3) to mathematically prove safety and invariants in concurrent systems.
Developed an affine-typed JIT compiler for Python that leverages Z3 to enforce Liquid Types and Fractional Permissions. Enables GIL-less execution at bare-metal speeds by proving memory safety at compile-time.
SPEC: Z3 SMT Solver Integration • Cranelift Backend • Liquid Type System • Static Memory Safety Proofs
Engineered an Object-Capability enforcement layer for Node.js. Utilizes Zig-based dynamic linker hijacking and a Rust engine for Seccomp-BPF kernel hardening against supply-chain attacks.
SPEC: Zig Native Interceptor • Seccomp-BPF Hardening • Dynamic Linker Hijacking • Context-Aware Attribution
Architected a high-performance actor mesh in Rust featuring a reduction-based cooperative scheduler (Vortex). Enables location-transparent messaging and zero-downtime hot-swapping of actor logic.
SPEC: Vortex Cooperative Scheduler • Zero-Copy Messaging Fabric • Python FFI Bindings • Hot-Logic Swapping
Developed a selective Rust virtualization framework using a Mother/Worker VM architecture. Features the Prism non-linear string protection system for advanced software obfuscation and anti-forensics.
SPEC: Mother/Worker VM Topology • Prism String Obfuscation • Hardware-Bound Execution • Polymorphic Bytecode
A domain-specific research language for concurrent systems. Implements an Entropic Memory Model and Isochronous Scheduling, using a Z3 correctness kernel to prove temporal invariants and race-freedom.
SPEC: Z3-Governed Correctness Kernel • Entropic Memory Model • Temporal Invariant Verification • Isochronous Scheduling
Developed a zero-allocation instruction tracer for Python 3.12+. Leverages hardware TSC cycle counting for nanosecond-precision profiling and implements dynamic de-instrumentation for native performance.
SPEC: Hardware TSC Integration • Dynamic De-instrumentation • Zero-Allocation Engine • Perfetto Timeline Generation
A steganographic virtual block device hiding encrypted storage in Adobe DNG metadata or H.264 NAL-unit filler. Engineered to be mathematically indistinguishable from standard media noise.
SPEC: Adobe DNG Metadata Camouflage • FUSE-Mounted Filesystem • AES-256-GCM Layer • NAL-Unit Injection
A high-performance scanner combining Aho-Corasick pattern matching with Shannon entropy analysis to distinguish true cryptographic risks from noise in large codebases.
SPEC: Aho-Corasick DFA Optimization • Shannon Entropy Filtering • Multi-Threaded Recursive Walker • WebAssembly Port
A userspace TCP/IP stack written from scratch in Rust designed to bypass kernel overhead, prioritizing raw throughput for specialized networking research.
SPEC: Zero-Copy Packet Ring • custom L3/L4 Logic • Kernel-Bypass Architecture • No-Std Rust Implementation
A WebAssembly-based security framework for web APIs, implementing cryptographic proof-of-execution challenges to neutralize automated threat vectors.
SPEC: Multi-Stage WASM Challenges • Proof-of-Execution Logic • Anti-Bot Cryptographic Puzzles
Full-stack resort reservation platform (Next.js + FastAPI)
Capstone project combining a responsive Next.js/Tailwind frontend with a FastAPI/MongoDB backend. Features interactive availability calendar, real-time chat with AI/admin, and secure reservation management.
121,641 Lines of Code across all public repositories
Fetching Analytics...
Top Languages
All Languages
Failed to load language statistics.