Blog
Posts, notes, and articles.
RISC-V: The Open ISA Revolution and the Cambrian Explosion of Processor Design
2025-02-11How a Berkeley research project became the Linux of instruction sets, rewiring the economics of custom silicon from embedded MCUs to vector supercomputers with the RVV extension and the CHERI security story.
Kernel Bypass Networking: DPDK, io_uring, and the RDMA Revolution
2025-02-10Dive into how modern systems escape the kernel networking stack for microsecond-scale performance: DPDK's poll-mode drivers, io_uring's submission rings, RDMA's one-sided operations, and the trade-offs each approach demands.
Processing-in-Memory: UPMEM, Samsung HBM-PIM, and the Near-Data Computing Paradigm
2025-02-10How moving compute to where the bits live rewrites the rules of memory-bound computation, from UPMEM's DRAM-scale PIM to Samsung's HBM-PIM and the programming model that still keeps us up at night.
Write Ahead Logging Under The Hood: Designing A Durable Wal For An Lsm Tree Storage Engine
2025-02-04A comprehensive technical exploration of write ahead logging under the hood: designing a durable wal for an lsm tree storage engine, covering key concepts, practical implementations, and real-world applications.
Taming Tail Latency In Microservices: A Deep Dive Into Request Coalescing And Hedged Requests
2025-01-30A comprehensive technical exploration of taming tail latency in microservices: a deep dive into request coalescing and hedged requests, covering key concepts, practical implementations, and real-world applications.
Linearizability and Serializability: A Formal Hierarchy of Consistency Models
2025-01-28Build a rigorous understanding of consistency models from linearizability to eventual consistency, with formal definitions, counterexamples, and the practical implications for distributed database design.
Exactly-Once in Streaming: What It Means and How Systems Achieve It
2025-01-22Disentangle marketing from mechanisms: idempotence, transactions, and state snapshots behind ‘exactly-once’.
Zero Knowledge Proofs In Practice: Implementing Zk Snarks For Privacy Preserving Transactions
2025-01-21A comprehensive technical exploration of zero knowledge proofs in practice: implementing zk snarks for privacy preserving transactions, covering key concepts, practical implementations, and real-world applications.
The FLP Impossibility Result: Why Distributed Consensus Is Fundamentally Hard
2025-01-15Explore the landmark Fischer-Lynch-Paterson result that proved no deterministic algorithm can achieve consensus in an asynchronous system with even one faulty process — and how the field evolved around this impossibility.
Building A Jit Compiler For A Subset Of Python Using Llvm
2025-01-07A comprehensive technical exploration of building a jit compiler for a subset of python using llvm, covering key concepts, practical implementations, and real-world applications.
The Mathematics Of Raft: Formal Verification Of Leader Election In Distributed Consensus
2025-01-07A comprehensive technical exploration of the mathematics of raft: formal verification of leader election in distributed consensus, covering key concepts, practical implementations, and real-world applications.
Neuromorphic Computing: Loihi 2, TrueNorth, Spiking Networks, and Where Neuromorphic Wins
2025-01-05A deep survey of neuromorphic computing from IBM TrueNorth and Intel Loihi 2 through spiking neural networks, STDP learning, event-driven computation, and the application domains where neuromorphic excels and where it falls short.
Implementing A Custom Bittorrent Client From Scratch: Protocol Analysis And Optimization
2025-01-04A comprehensive technical exploration of implementing a custom bittorrent client from scratch: protocol analysis and optimization, covering key concepts, practical implementations, and real-world applications.
Designing A Wait Free Concurrent Hash Table With Hazard Pointers
2025-01-01A comprehensive technical exploration of designing a wait free concurrent hash table with hazard pointers, covering key concepts, practical implementations, and real-world applications.
Designing A Privacy Preserving Ad Exchange Using Differential Privacy And Secure Aggregation
2024-12-29A comprehensive technical exploration of designing a privacy preserving ad exchange using differential privacy and secure aggregation, covering key concepts, practical implementations, and real-world applications.
Optical Computing: Silicon Photonics, Optical Matrix Multiplication, and the Integration Challenges
2024-12-27A deep analysis of optical computing from silicon photonic interconnects through optical matrix multiplication for AI, examining the energy-latency promise against the formidable integration challenges.
The Complexity Of The N Queens Problem: Backtracking With Heuristics And Symmetry Elimination
2024-12-26A comprehensive technical exploration of the complexity of the n queens problem: backtracking with heuristics and symmetry elimination, covering key concepts, practical implementations, and real-world applications.
A Formal Proof Of The Dolev Yao Model For Security Protocol Analysis With Strand Spaces
2024-12-22A comprehensive technical exploration of a formal proof of the dolev yao model for security protocol analysis with strand spaces, covering key concepts, practical implementations, and real-world applications.
Building A Network Function Virtualization (Nfv) With Dpdk For Kernel Bypass And Poll Mode Drivers
2024-12-19A comprehensive technical exploration of building a network function virtualization (nfv) with dpdk for kernel bypass and poll mode drivers, covering key concepts, practical implementations, and real-world applications.
The Mathematics Of The Elliptic Curve Method For Integer Factorization (Ecm): Edwards Curves And Stage 1/2
2024-12-12A comprehensive technical exploration of the mathematics of the elliptic curve method for integer factorization (ecm): edwards curves and stage 1/2, covering key concepts, practical implementations, and real-world applications.
Implementing A Distributed Data Grid With Replication And Partitioning: Hazelcast Topology
2024-12-09A comprehensive technical exploration of implementing a distributed data grid with replication and partitioning: hazelcast topology, covering key concepts, practical implementations, and real-world applications.
The Performance Of The Salsa20 Stream Cipher Vs. Chacha20 In Modern Processors
2024-12-09A comprehensive technical exploration of the performance of the salsa20 stream cipher vs. chacha20 in modern processors, covering key concepts, practical implementations, and real-world applications.
A Deep Dive Into The Cmac Authentication Algorithm: Cbc Mac With A Cryptographic Key Variation
2024-12-05A comprehensive technical exploration of a deep dive into the cmac authentication algorithm: cbc mac with a cryptographic key variation, covering key concepts, practical implementations, and real-world applications.
Designing A Distributed Software Transactional Memory (Stm) Using Lazy Snapshot And Commute Op
2024-12-03A comprehensive technical exploration of designing a distributed software transactional memory (stm) using lazy snapshot and commute op, covering key concepts, practical implementations, and real-world applications.