2024 [Active]
raft-rs
A high-throughput implementation of the Raft consensus algorithm in Rust.
#rust#distributed-systems
Monograph / Personal Ledger
Systems & Logic.
Abstract: Computer science student specializing in high-performance computing, distributed systems, and compiler design.
Research Profile
My work focuses on building from first principles. I prefer robust architectures and formal proofs over vague abstractions. Currently exploring deterministic simulation testing and language tooling for systems work.
Selected Systems
Archive ↗Lab Notes
All Notes ↗ 2025 [note]
Probabilistic Data Structures
Why Bloom Filters are the most elegant solution for existence testing.
#algorithms#math