Theory
536 posts in category “Theory”.
A Deep Dive Into The Ginreth Blockchain: Parallel Evm And Trie Level Concurrency
2023-12-06A 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-17A 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-08A 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-04A 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-28A 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-23A 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-20A 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-16A 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-16A 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-06A 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-02A 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-30A 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-30A 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-28A 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-28A 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-27A 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-25A 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-19A 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-16A 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-15A 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-10A 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-01A 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-28A 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-27A 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.