Blog
Posts, notes, and articles.
The Complexity Of The Longest Common Subsequence: Space Optimized Dp And O(Nlogn) With Lis Transformation
2024-12-01A comprehensive technical exploration of the complexity of the longest common subsequence: space optimized dp and o(nlogn) with lis transformation, covering key concepts, practical implementations, and real-world applications.
Tuning CUDA with the GPU Memory Hierarchy
2024-11-27Global, shared, and register memory each have distinct latency and bandwidth. Performance comes from the right access pattern.
Building A Serverless Function Orchestrator With Workflow Dag And Checkpointing
2024-11-24A comprehensive technical exploration of building a serverless function orchestrator with workflow dag and checkpointing, covering key concepts, practical implementations, and real-world applications.
The Theory Of Online Bipartite Matching: Ranking And Balance Algorithms For Adwords
2024-11-22A comprehensive technical exploration of the theory of online bipartite matching: ranking and balance algorithms for adwords, covering key concepts, practical implementations, and real-world applications.
A Rigorous Analysis Of The Lru K Page Replacement Algorithm: Historical Buffer With Sorting
2024-11-18A comprehensive technical exploration of a rigorous analysis of the lru k page replacement algorithm: historical buffer with sorting, covering key concepts, practical implementations, and real-world applications.
Implementing A Graph Coloring For Register Allocation With Chaitin Briggs And Iterated Register Coalescing
2024-11-15A comprehensive technical exploration of implementing a graph coloring for register allocation with chaitin briggs and iterated register coalescing, covering key concepts, practical implementations, and real-world applications.
The Algorithm For The Minimum Cost Flow Using Successive Shortest Path With Potentials
2024-10-30A comprehensive technical exploration of the algorithm for the minimum cost flow using successive shortest path with potentials, covering key concepts, practical implementations, and real-world applications.
Designing A Consensus Algorithm With Deterministic Lower Bound On Message Complexity
2024-10-23A comprehensive technical exploration of designing a consensus algorithm with deterministic lower bound on message complexity, covering key concepts, practical implementations, and real-world applications.
The Performance Of Distributed System Protocols Under Byzantine Failure: Pbft Vs. Hotstuff
2024-10-12A comprehensive technical exploration of the performance of distributed system protocols under byzantine failure: pbft vs. hotstuff, covering key concepts, practical implementations, and real-world applications.
A Deep Dive Into The Go’S Scheduler: M:N Threading, Work Stealing, And System Calls
2024-10-03A comprehensive technical exploration of a deep dive into the go’s scheduler: m:n threading, work stealing, and system calls, covering key concepts, practical implementations, and real-world applications.
Building A Custom Programming Language With Hindley Milner Type Inference: Unification And Occurs Check
2024-09-30A comprehensive technical exploration of building a custom programming language with hindley milner type inference: unification and occurs check, covering key concepts, practical implementations, and real-world applications.
The Complexity Of The Graph Isomorphism Problem: Babai’S Quasi Polynomial Algorithm Overview
2024-09-26A comprehensive technical exploration of the complexity of the graph isomorphism problem: babai’s quasi polynomial algorithm overview, covering key concepts, practical implementations, and real-world applications.
A Formal Verification Of The Paxos Protocol With Informal Proof And Coq Implementation
2024-09-15A comprehensive technical exploration of a formal verification of the paxos protocol with informal proof and coq implementation, covering key concepts, practical implementations, and real-world applications.
Designing A Distributed Leader Election For Wsns With Message Optimal And Fault Tolerance
2024-09-10A comprehensive technical exploration of designing a distributed leader election for wsns with message optimal and fault tolerance, covering key concepts, practical implementations, and real-world applications.
Write-Ahead Logging: The Unsung Hero of Database Durability
2024-09-10Dive deep into write-ahead logging (WAL), the technique that lets databases promise durability without sacrificing performance. Learn how WAL works, why it matters, and how modern systems push its limits.
The Mathematics Of Hidden Markov Models For Part Of Speech Tagging: Viterbi Algorithm And Baum Welch
2024-09-04A comprehensive technical exploration of the mathematics of hidden markov models for part of speech tagging: viterbi algorithm and baum welch, covering key concepts, practical implementations, and real-world applications.
Network Topologies for HPC: Fat-Trees, Dragonfly, Torus, and the Cost-Diameter-Bandwidth Optimization
2024-08-31A rigorous survey of HPC network topologies—fat-tree (InfiniBand), Dragonfly (Cray Cascade), torus (Blue Gene), Slim Fly—analyzing the fundamental tradeoffs in cost, diameter, bisection bandwidth, and fault tolerance.
Implementing A Robust Checksum Algorithm: Adler 32 Vs. Crc 32C With Galois Field Multiplications
2024-08-30A comprehensive technical exploration of implementing a robust checksum algorithm: adler 32 vs. crc 32c with galois field multiplications, covering key concepts, practical implementations, and real-world applications.
The Performance Of The Twofish Cipher Vs. Aes In Software Implementation
2024-08-27A comprehensive technical exploration of the performance of the twofish cipher vs. aes in software implementation, covering key concepts, practical implementations, and real-world applications.
A Deep Dive Into The Blowfish Cipher: P Array, S Boxes, And Key Schedule
2024-08-22A comprehensive technical exploration of a deep dive into the blowfish cipher: p array, s boxes, and key schedule, covering key concepts, practical implementations, and real-world applications.
Bloom Filters and Probabilistic Data Structures: Trading Certainty for Speed
2024-08-22Explore how Bloom filters, Count-Min sketches, and HyperLogLog sacrifice perfect accuracy for dramatic space and time savings—and learn when that trade-off makes sense.
Building A Mutation Testing Framework With Code Coverage And Variant Generation
2024-08-17A comprehensive technical exploration of building a mutation testing framework with code coverage and variant generation, covering key concepts, practical implementations, and real-world applications.
Seeing in the Dark: Observability for Edge AI Fleets
2024-08-16A practitioner's guide to instrumenting, monitoring, and debugging machine learning models running at the edge.
Adaptive Feature Flag Frameworks for Hyper-Growth SaaS
2024-08-15A comprehensive field guide to building resilient, data-driven feature flag platforms that keep hyper-growth SaaS releases safe, fast, and customer-centric.