Theory
536 posts in category “Theory”.
Implementing A Byzantine Fault Tolerant Atomic Broadcast Protocol: Zyzzyva Or Sbft
2026-06-01A comprehensive technical exploration of implementing a byzantine fault tolerant atomic broadcast protocol: zyzzyva or sbft, covering key concepts, practical implementations, and real-world applications.
A Deep Dive Into The Rc4 Stream Cipher: Weakness And Secure Alternatives
2026-05-27A comprehensive technical exploration of a deep dive into the rc4 stream cipher: weakness and secure alternatives, covering key concepts, practical implementations, and real-world applications.
Writing A Custom Profiling Tool For Python: Bytecode Instrumentation And Statistical Sampling
2026-05-27A comprehensive technical exploration of writing a custom profiling tool for python: bytecode instrumentation and statistical sampling, covering key concepts, practical implementations, and real-world applications.
Designing A Distributed Search Engine Index: Inverted Index, Compression, And Top K Retrieval
2026-05-23A comprehensive technical exploration of designing a distributed search engine index: inverted index, compression, and top k retrieval, covering key concepts, practical implementations, and real-world applications.
Implementing The Smtp Protocol: Mail Transfer Agent With Queue And Retry Logic
2026-05-21A comprehensive technical exploration of implementing the smtp protocol: mail transfer agent with queue and retry logic, covering key concepts, practical implementations, and real-world applications.
Building A Decentralized Identity (did) System With Verifiable Credentials
2026-05-19A comprehensive technical exploration of building a decentralized identity (did) system with verifiable credentials, covering key concepts, practical implementations, and real-world applications.
The Architecture Of A Real Time Operating System: Context Switching And Priority Inversion (mars Pathfinder)
2026-05-12A comprehensive technical exploration of the architecture of a real time operating system: context switching and priority inversion (mars pathfinder), covering key concepts, practical implementations, and real-world applications.
Implementing The Tcp Cubic Congestion Control Algorithm In A Userspace Tcp Stack
2026-05-05A comprehensive technical exploration of implementing the tcp cubic congestion control algorithm in a userspace tcp stack, covering key concepts, practical implementations, and real-world applications.
Designing A Database Vacant Space Management: Bitmap, Free List, And B Tree Allocation
2026-04-29A comprehensive technical exploration of designing a database vacant space management: bitmap, free list, and b tree allocation, covering key concepts, practical implementations, and real-world applications.
Writing A Tiny Shell From Scratch: Fork, Exec, Pipes, And Job Control
2026-04-29A comprehensive technical exploration of writing a tiny shell from scratch: fork, exec, pipes, and job control, covering key concepts, practical implementations, and real-world applications.
Implementing The Spectral Graph Partitioning Algorithm: Fiedler Vector And K Means
2026-04-27A comprehensive technical exploration of implementing the spectral graph partitioning algorithm: fiedler vector and k means, covering key concepts, practical implementations, and real-world applications.
A Practical Guide To Implementing The Merkle Damgård Construction For Hash Functions
2026-04-19A comprehensive technical exploration of a practical guide to implementing the merkle damgård construction for hash functions, covering key concepts, practical implementations, and real-world applications.
Building A Simple Service Mesh: Sidecar Proxy With Custom Iptables Rules And Mtls
2026-04-19A comprehensive technical exploration of building a simple service mesh: sidecar proxy with custom iptables rules and mtls, covering key concepts, practical implementations, and real-world applications.
Designing A Multithreaded Memory Allotter: Thread Caching Malloc (like Tcmalloc)
2026-04-18A comprehensive technical exploration of designing a multithreaded memory allotter: thread caching malloc (like tcmalloc), covering key concepts, practical implementations, and real-world applications.
Implementing The Lempel Ziv Welch (lzw) Compression Algorithm With Dictionary Tuning
2026-04-13A comprehensive technical exploration of implementing the lempel ziv welch (lzw) compression algorithm with dictionary tuning, covering key concepts, practical implementations, and real-world applications.
Building A Distributed Monitoring System: Leaderless Gossip Protocol For Heartbeats
2026-04-12A comprehensive technical exploration of building a distributed monitoring system: leaderless gossip protocol for heartbeats, covering key concepts, practical implementations, and real-world applications.
The Mathematics Of Bayesian Inference: Variational Autoencoder Implementation From Scratch
2026-04-11A comprehensive technical exploration of the mathematics of bayesian inference: variational autoencoder implementation from scratch, covering key concepts, practical implementations, and real-world applications.
Implementing A Simple Compiler: From Lisp Like S Expressions To Llvm Ir With Ssa Form
2026-04-10A comprehensive technical exploration of implementing a simple compiler: from lisp like s expressions to llvm ir with ssa form, covering key concepts, practical implementations, and real-world applications.
Designing A Protocol For Log Replication With Snapshotting: The Etcd Raft Implementation
2026-04-08A comprehensive technical exploration of designing a protocol for log replication with snapshotting: the etcd raft implementation, covering key concepts, practical implementations, and real-world applications.
Building A Custom Scheduler For Linux: Cfs Vs. O(1) Scheduler Details And Implementation
2026-04-06A comprehensive technical exploration of building a custom scheduler for linux: cfs vs. o(1) scheduler details and implementation, covering key concepts, practical implementations, and real-world applications.
Implementing A Distributed Counter With Linearizability: Lamport Clocks And Client Side Quorums
2026-04-05A comprehensive technical exploration of implementing a distributed counter with linearizability: lamport clocks and client side quorums, covering key concepts, practical implementations, and real-world applications.
Writing A Tiny Basic Interpreter In Assembly: Lexing, Parsing, And Code Generation For X86_64
2026-04-04A comprehensive technical exploration of writing a tiny basic interpreter in assembly: lexing, parsing, and code generation for x86_64, covering key concepts, practical implementations, and real-world applications.
The Practical Guide To Implementing A Quadtree For Spatial Indexing Of 2d Points
2026-03-20A comprehensive technical exploration of the practical guide to implementing a quadtree for spatial indexing of 2d points, covering key concepts, practical implementations, and real-world applications.
Designing A Scalable Session Store Using Crdts For Gdpr Compliant Data Retention
2026-03-19A comprehensive technical exploration of designing a scalable session store using crdts for gdpr compliant data retention, covering key concepts, practical implementations, and real-world applications.