writing
-
Why computers can't solve everything
Introduction to the Halting problem and a story-based proof
-
Lock-Based Concurrent Data Structures
Personal summary of Chapter 29, Lock-Based Concurrent Data Structures, from Operating Systems - Three Easy Pieces