Theory

Building A Game Theoretic Approach To Distributed Consensus: Rational Players, Payments, And Mechanism Design · 2021-02-12
A comprehensive technical exploration of building a game theoretic approach to distributed consensus: rational players, payments, and mechanism design, covering key concepts, practical implementations, and real-world applications.
The Performance Of Integer Linear Programming Solvers: Branch And Bound Vs. Cutting Planes For Real World Problems · 2021-02-08
A comprehensive technical exploration of the performance of integer linear programming solvers: branch and bound vs. cutting planes for real world problems, covering key concepts, practical implementations, and real-world applications.
Implementing A Linear Programming Solver Using The Simplex Algorithm: Degeneracy, Bland’S Rule, And Scaling · 2021-02-03
A comprehensive technical exploration of implementing a linear programming solver using the simplex algorithm: degeneracy, bland’s rule, and scaling, covering key concepts, practical implementations, and real-world applications.
A Rigorous Analysis Of The Fast Fourier Transform: Cooley Tukey Algorithm With Radix 2 Decimation In Time · 2021-01-14
A comprehensive technical exploration of a rigorous analysis of the fast fourier transform: cooley tukey algorithm with radix 2 decimation in time, covering key concepts, practical implementations, and real-world applications.
Designing A Randomized Algorithm For The Min Cut Problem: Karger’S Algorithm And Contractions · 2021-01-10
A comprehensive technical exploration of designing a randomized algorithm for the min cut problem: karger’s algorithm and contractions, covering key concepts, practical implementations, and real-world applications.
The Complexity Of Scheduling Dags With Minimum Makespan And Dependencies: List Scheduling Vs. Critical Path · 2020-12-28
A comprehensive technical exploration of the complexity of scheduling dags with minimum makespan and dependencies: list scheduling vs. critical path, covering key concepts, practical implementations, and real-world applications.
Implementing A Virtual Machine For A Stack Based Language: Bytecode Interpreter And Jit Compilation · 2020-12-23
A comprehensive technical exploration of implementing a virtual machine for a stack based language: bytecode interpreter and jit compilation, covering key concepts, practical implementations, and real-world applications.
The Design Of A Modern Hypervisor: Virtual Memory Translation, Cpu Virtualization, And I/O Passthrough · 2020-12-03
A comprehensive technical exploration of the design of a modern hypervisor: virtual memory translation, cpu virtualization, and i/o passthrough, covering key concepts, practical implementations, and real-world applications.
Building A Lightweight Container Runtime From Scratch: Namespaces, Cgroups, And Copy On Write Filesystems · 2020-11-29
A comprehensive technical exploration of building a lightweight container runtime from scratch: namespaces, cgroups, and copy on write filesystems, covering key concepts, practical implementations, and real-world applications.
A Performance Comparison Of Epoll, Io_Uring, And Kqueue For Asynchronous I/O In Linux · 2020-11-23
A comprehensive technical exploration of a performance comparison of epoll, io_uring, and kqueue for asynchronous i/o in linux, covering key concepts, practical implementations, and real-world applications.
The Implementation Of A User Level Threading Library For Cooperative Multitasking In C · 2020-11-18
A comprehensive technical exploration of the implementation of a user level threading library for cooperative multitasking in c, covering key concepts, practical implementations, and real-world applications.
Designing A Non Volatile Memory (Nvm) File System: Dax, Pmdk, And Fault Tolerance For Persistent Heaps · 2020-11-07
A comprehensive technical exploration of designing a non volatile memory (nvm) file system: dax, pmdk, and fault tolerance for persistent heaps, covering key concepts, practical implementations, and real-world applications.
The Cache Coherence Protocol Of Modern Cpus: Mesi, Moesi, And Mesif With Snooping Vs. Directory Based · 2020-11-02
A comprehensive technical exploration of the cache coherence protocol of modern cpus: mesi, moesi, and mesif with snooping vs. directory based, covering key concepts, practical implementations, and real-world applications.
Building A Custom Risc V Processor In Verilog: Pipelining, Hazard Detection, And Branch Prediction · 2020-10-28
A comprehensive technical exploration of building a custom risc v processor in verilog: pipelining, hazard detection, and branch prediction, covering key concepts, practical implementations, and real-world applications.
A Deep Dive Into The X86 64 Instruction Set: Microbenchmarking Instruction Latency And Throughput · 2020-10-04
A comprehensive technical exploration of a deep dive into the x86 64 instruction set: microbenchmarking instruction latency and throughput, covering key concepts, practical implementations, and real-world applications.
Implementing A Simd Accelerated Suffix Array Construction For Large Genomic Datasets · 2020-10-01
A comprehensive technical exploration of implementing a simd accelerated suffix array construction for large genomic datasets, covering key concepts, practical implementations, and real-world applications.
The Performance Of Bit Packed Data Structures Vs. Classic Arrays In High Performance Computing · 2020-09-27
A comprehensive technical exploration of the performance of bit packed data structures vs. classic arrays in high performance computing, covering key concepts, practical implementations, and real-world applications.
Designing A Linear Time Algorithm For Constructing A Prefix Automaton For Multiple Patterns: Aho Corasick · 2020-09-25
A comprehensive technical exploration of designing a linear time algorithm for constructing a prefix automaton for multiple patterns: aho corasick, covering key concepts, practical implementations, and real-world applications.
An Analysis Of Register Allocation Via Graph Coloring: Chaitin Briggs Algorithm With Live Range Splitting · 2020-09-17
A comprehensive technical exploration of an analysis of register allocation via graph coloring: chaitin briggs algorithm with live range splitting, covering key concepts, practical implementations, and real-world applications.
Building A Just In Time Compiler For Regular Expressions: Thompson’S Construction And Dfa Minimization · 2020-09-17
A comprehensive technical exploration of building a just in time compiler for regular expressions: thompson’s construction and dfa minimization, covering key concepts, practical implementations, and real-world applications.
The Implementation Of A Garbage Collector For A Functional Language: Cheney’S Algorithm And Generational Copying · 2020-09-16
A comprehensive technical exploration of the implementation of a garbage collector for a functional language: cheney’s algorithm and generational copying, covering key concepts, practical implementations, and real-world applications.
Designing A Type System For Dependently Typed Programming: Agda’S Universe Hierarchy And Pattern Matching · 2020-09-03
A comprehensive technical exploration of designing a type system for dependently typed programming: agda’s universe hierarchy and pattern matching, covering key concepts, practical implementations, and real-world applications.
A Proof Of Correctness For The Lamport’S Bakery Algorithm In Distributed Shared Memory Systems · 2020-08-28
A comprehensive technical exploration of a proof of correctness for the lamport’s bakery algorithm in distributed shared memory systems, covering key concepts, practical implementations, and real-world applications.
The Formal Verification Of A Concurrent Work Queue Using The Tla+ Model Checker: Invariants And Liveness · 2020-08-10
A comprehensive technical exploration of the formal verification of a concurrent work queue using the tla+ model checker: invariants and liveness, covering key concepts, practical implementations, and real-world applications.