Calendar

Posts organized

by date.

Month Year
← Jan 6

January 7, 2025

Jan 8 →
00:00
Building A Jit Compiler For A Subset Of Python Using Llvm

A comprehensive technical exploration of building a jit compiler for a subset of python using llvm, covering key concepts, practical implementations, and real-world applications.

00:00
The Mathematics Of Raft: Formal Verification Of Leader Election In Distributed Consensus

A comprehensive technical exploration of the mathematics of raft: formal verification of leader election in distributed consensus, covering key concepts, practical implementations, and real-world applications.