https://notes.jadnohra.com/Jad NohraPersonal site of Jad Nohra - Mathematics, Physics, Computing, Humans, Machines, and Systems 2026-03-11T14:20:29+01:00 Jad Nohra https://notes.jadnohra.com/ Jekyll © 2026 Jad Nohra /assets/img/favicons/favicon.ico /assets/img/favicons/favicon-96x96.png Distributed Protocol Primitives2026-03-08T00:00:00+01:00 2026-03-08T00:00:00+01:00 https://notes.jadnohra.com/posts/distributed-protocol-primitives/ Jad Nohra Every distributed protocol is built from seven recurring message-exchange primitives. This catalog identifies them across MESI, Paxos, Raft, 2PC, and others — showing how the same patterns compose under different names. Abstractor: Virtual Memory and Devices2026-01-29T00:00:00+01:00 2026-01-29T00:00:00+01:00 https://notes.jadnohra.com/posts/virtual-memory-devices/ Jad Nohra Virtual memory, MMU, DMA, and IOMMU explained — how CPUs address memory, page tables, device I/O, and the hardware that makes modern operating systems work. Abstractor: Linux, Syscalls and Hypervisors2026-01-28T00:00:00+01:00 2026-01-28T00:00:00+01:00 https://notes.jadnohra.com/posts/linux-syscalls-hypervisors/ Jad Nohra Linux processes, syscalls, and hypervisors — why VMs exist, how KVM works, the syscall boundary, and virtualization explained from first principles. The Failed Search for a Dense Proving Language2025-12-04T00:00:00+01:00 2025-12-04T00:00:00+01:00 https://notes.jadnohra.com/posts/merge-vs-insertion-sort/ Jad Nohra The search for a dense proving language — exploring graphical mathematical notation, proof techniques, and the fundamental reasons behind how we express formal reasoning.