Calendar

Posts organized

by date.

March 2025

Mon Tue Wed Thu Fri Sat Sun

1

2

3

4

5 Cache Oblivious Algorithms: Why And How To Optimize For Unknown Cache Hierarchies Shannon's Information Theory from First Principles: Entropy, Channel Capacity, and the Fundamental Limits of Communication

6

7

8

9

10

11 CHERI and Capability Hardware: Memory Safety at the Gate Level

12

13

14 Building A Hybrid Logical Clock For Causal Consistency In Geo Distributed Systems

15 From Code To Silicon: Designing A Simple Risc V Cpu Pipeline In Verilog

16

17

18 The Curry-Howard Correspondence: How Type Theory Bridges Proof and Computation

19

20

21

22

23

24

25

26

27

28

29

30 The Internals Of A Modern Garbage Collector: Generational, Concurrent, And Compacting (like C4) The PCP Theorem: Why Some Problems Are Hard Even to Approximate

31