Calendar

Posts organized

by date.

May 2025

Mon Tue Wed Thu Fri Sat Sun

1

2

3 Using Linearizability Checking Tools: How To Prove Your Concurrent Data Structure Is Correct

4

5

6 The Lambda Calculus and Combinatory Logic: The Minimalist Foundations of All Computation

7 Building A Simple Vector Database With Ivf And Hnsw Indexing For Ann Search

8

9

10

11 The Theory And Implementation Of The Boyer Moore String Search Algorithm (with Galil’s Rule)

12 FPGA Programming: HLS, Verilog, and the Spatial Computing Paradigm

13

14

15

16

17

18 Error-Correcting Codes: Reed-Solomon, LDPC, and How Distributed Storage Survives Failure

19 From MapReduce to Spark: The Arc of Data-Parallel Systems

20

21 A Deep Dive Into The Xgboost Algorithm: Gradient Boosting, Regularization, And System Optimization Implementing A Secure Multi Party Computation Protocol (garbled Circuits) From Scratch

22 Designing A Distributed Queue With Exactly Once Delivery Using Idempotency Keys

23

24

25

26

27 From Sockets To Epoll: Building A Non Blocking Http Server In C

28 Implementing A Scalable Web Crawler With Distributed Frontier And Politeness Policies The Inner Workings Of A Database Query Optimizer: Cost Models, Statistics, And Join Ordering

29 Building A Custom Allocator For Real Time Systems: Slab, Buddy, And Region Based Approaches

30 The Probabilistic Method and Randomized Algorithms: From Tail Bounds to Derandomization

31 Understanding The Google File System: A Detailed Implementation In Go