Theory

• A Deep Dive Into The Ginreth Blockchain: Parallel Evm And Trie Level Concurrency · 2023-12-06

  A comprehensive technical exploration of a deep dive into the ginreth blockchain: parallel evm and trie level concurrency, covering key concepts, practical implementations, and real-world applications.

• Building A Parameter Server For Federated Learning: Secure Aggregation And Client Selection · 2023-11-17

  A comprehensive technical exploration of building a parameter server for federated learning: secure aggregation and client selection, covering key concepts, practical implementations, and real-world applications.

• Designing A Resource Bundle Allocation With Bipartite Matching For Data Center Energy Optimization · 2023-11-08

  A comprehensive technical exploration of designing a resource bundle allocation with bipartite matching for data center energy optimization, covering key concepts, practical implementations, and real-world applications.

• The Complexity Of The Dynamic Pricing Algorithm For Cloud Spot Instances Using Reinforcement Learning · 2023-11-04

  A comprehensive technical exploration of the complexity of the dynamic pricing algorithm for cloud spot instances using reinforcement learning, covering key concepts, practical implementations, and real-world applications.

• A Formal Verification Of The Lamport’S Paxos Consensus Using The Tla+ Proof System · 2023-10-28

  A comprehensive technical exploration of a formal verification of the lamport’s paxos consensus using the tla+ proof system, covering key concepts, practical implementations, and real-world applications.

• Implementing A High Performance Hash Table Using Intel’S Tbb Concurrency And Fine Grained Locking · 2023-10-23

  A comprehensive technical exploration of implementing a high performance hash table using intel’s tbb concurrency and fine grained locking, covering key concepts, practical implementations, and real-world applications.

• The Design Of A B Tree With Wal For In Memory And On Disk Hybrid Storage (Sqlite Internals) · 2023-10-20

  A comprehensive technical exploration of the design of a b tree with wal for in memory and on disk hybrid storage (sqlite internals), covering key concepts, practical implementations, and real-world applications.

• A Deep Dive Into The Disco Distributed File System: Erasure Coding Vs. Replication For Durability · 2023-10-16

  A comprehensive technical exploration of a deep dive into the disco distributed file system: erasure coding vs. replication for durability, covering key concepts, practical implementations, and real-world applications.

• Building A Lightweight Database Sharding Proxy Using Consistent Hashing And Connection Pooling · 2023-10-16

  A comprehensive technical exploration of building a lightweight database sharding proxy using consistent hashing and connection pooling, covering key concepts, practical implementations, and real-world applications.

• Designing A Distributed Transaction Log With Raft Consensus: A Step By Step Implementation And Failure Testing In Go · 2023-10-06

  A comprehensive technical exploration of designing a distributed transaction log with raft consensus: a step by step implementation and failure testing in go, covering key concepts, practical implementations, and real-world applications.

• The Performance Of Jit Compilation For Dynamic Languages: Pypy’S Tracing Jit Vs. Naive Interpreter · 2023-10-02

  A comprehensive technical exploration of the performance of jit compilation for dynamic languages: pypy’s tracing jit vs. naive interpreter, covering key concepts, practical implementations, and real-world applications.

• A Rigorous Analysis Of The Python Global Interpreter Lock (Gil): Effects On Multithreaded Performance · 2023-09-30

  A comprehensive technical exploration of a rigorous analysis of the python global interpreter lock (gil): effects on multithreaded performance, covering key concepts, practical implementations, and real-world applications.

• Implementing A Regular Expression Engine With Nfa Simulation And Lookahead Optimizations · 2023-09-30

  A comprehensive technical exploration of implementing a regular expression engine with nfa simulation and lookahead optimizations, covering key concepts, practical implementations, and real-world applications.

• Superscalar Processors: Register Renaming, Reorder Buffers, and How Modern Cores Extract ILP · 2023-09-28

  A microarchitectural deep dive into superscalar execution: register renaming, the reorder buffer, reservation stations, and the issue queue, examining how Haswell, M1, and Zen4 extract instruction-level parallelism from sequential code.

• The Complexity Of The Coin Change Problem: Dynamic Programming Vs. Greedy For Different Denominations · 2023-09-28

  A comprehensive technical exploration of the complexity of the coin change problem: dynamic programming vs. greedy for different denominations, covering key concepts, practical implementations, and real-world applications.

• Building A Ray Tracing Engine Using Kd Trees For Accelerated Nearest Neighbors In 3D Space · 2023-09-27

  A comprehensive technical exploration of building a ray tracing engine using kd trees for accelerated nearest neighbors in 3d space, covering key concepts, practical implementations, and real-world applications.

• Anonymous Communication: Onion Routing, Mix Networks, DC-Nets, and the Anonymity Trilemma · 2023-09-25

  A rigorous analysis of anonymous communication systems from Tor's onion routing through mix networks like Loopix and Nym to DC-nets, exploring the anonymity trilemma and traffic analysis resistance.

• Designing A Minimum Spanning Tree On A Graph With Euclidean Distances: Delaunay Triangulation And Prim’S · 2023-09-19

  A comprehensive technical exploration of designing a minimum spanning tree on a graph with euclidean distances: delaunay triangulation and prim’s, covering key concepts, practical implementations, and real-world applications.

• The Algorithmic Foundations Of Suffix Automaton: Construction And Applications In Substring Problems · 2023-09-16

  A comprehensive technical exploration of the algorithmic foundations of suffix automaton: construction and applications in substring problems, covering key concepts, practical implementations, and real-world applications.

• Smart Contract Security: Reentrancy, Front-Running, and Verification with Certora and Foundry · 2023-09-15

  A rigorous treatment of smart contract vulnerabilities—reentrancy, integer overflow, front-running/sandwich attacks—and the modern verification toolkit including the Certora Prover and Foundry fuzzing framework.

• A Deep Dive Into The Radix Tree For Ip Routing: Trie Compression And Cam Emulation · 2023-09-10

  A comprehensive technical exploration of a deep dive into the radix tree for ip routing: trie compression and cam emulation, covering key concepts, practical implementations, and real-world applications.

• Implementing A Hardware Accelerated Crc32 Implementation Using Clmul Instruction Set · 2023-09-01

  A comprehensive technical exploration of implementing a hardware accelerated crc32 implementation using clmul instruction set, covering key concepts, practical implementations, and real-world applications.

• The Performance Of Systolic Arrays For Matrix Multiplication In Vision Transformers · 2023-08-28

  A comprehensive technical exploration of the performance of systolic arrays for matrix multiplication in vision transformers, covering key concepts, practical implementations, and real-world applications.

• Building An Efficient External Sort: Multiway Merge With Replacement Selection For Disk Bound Sorting · 2023-08-27

  A comprehensive technical exploration of building an efficient external sort: multiway merge with replacement selection for disk bound sorting, covering key concepts, practical implementations, and real-world applications.