ZD_1_14 — Type Theory: Lambda Calculus, Dependent Types, and the Curry-Howard Correspondence

Type theory is a foundational framework in mathematics, logic, and computer science that classifies values and expressions into types — categories that determine what operations are valid: a natural number can be added t

ZD_3_00 — Systems Architecture: Subfolder Summary

ZD_3_09 — History of the Internet — From ARPANET to the Decentralized Web

The Internet — the global network of interconnected computer networks using standardized protocols to exchange data — is the most transformative communication technology since the printing press, connecting over 5 billio

ZD_3_08 — Cybersecurity and Network Security

Cybersecurity — the protection of computer systems, networks, and data from unauthorized access, damage, or disruption — has grown from a technical niche into a critical domain affecting national security, economic stabi

ZD_5_09 — Open Source: Free Software, Collaborative Development, and Commons-Based Production

Open source software (OSS) is software whose source code is publicly available, can be freely used, modified, and redistributed under licenses that preserve these freedoms. Open source is one of the most consequential mo

ZD_5_03 — Semiotics: Signs, Symbols, and Meaning Theory

Semiotics (also semiology) — the study of signs, symbols, and meaning-making processes — is a foundational discipline that bridges linguistics, philosophy, cultural studies, communication theory, visual arts, and informa

ZD_5_17 — Quantum Computing: Qubits, Gates & Quantum Information Processing

Quantum computing harnesses quantum mechanical phenomena — superposition, entanglement, and interference — to perform computations fundamentally impossible for classical machines. First proposed by Richard Feynman in 198

ZD_5_07 — Search Algorithms: From Breadth-First to Monte Carlo Tree Search

Search algorithms are fundamental computational procedures for exploring state spaces, finding paths, locating solutions, and making decisions — they constitute one of the core pillars of computer science and artificial

ZD_4_13 — Network Science: Graph Theory, Small Worlds, and Scale-Free Networks

Network science is the study of complex systems represented as networks (graphs) — collections of nodes (vertices) connected by edges (links) — encompassing social networks (people connected by friendships, collaboration

ZD_4_01 — Cryptography — From Caesar Cipher to Quantum Key Distribution

Cryptography — the science of secret communication — has evolved from ancient substitution ciphers to mathematically proven security systems that underpin the modern digital world. Julius Caesar shifted letters by three

ZD_2_08 — Penrose and Computation: Non-Computability, Consciousness, and Gödel's Theorem

Roger Penrose (b. 1931), Nobel laureate in physics (2020, for demonstrating that black hole formation is a robust prediction of general relativity), has advanced an influential and controversial argument that human mathe

ZD_2_06 — Ethics of AI and Algorithmic Bias

AI ethics examines the moral implications of designing, deploying, and governing artificial intelligence systems, while algorithmic bias refers to systematic errors in automated decision-making that produce unfair outcom

ZD_2_13 — Explainable AI: Interpretability, Trust, and the Black Box Problem

Explainable AI (XAI) is the field concerned with making artificial intelligence systems — particularly complex machine learning models — understandable to humans. As AI systems increasingly make or influence high-stakes

L_1_02 — Interbreeding Events & Genetic Discontinuities

Ancient DNA has established that late human evolution was not a simple replacement story. Expanding populations of Homo sapiens interbred with Neanderthals and Denisovans, and at least one direct first-generation hybrid

L_1_07 — Genetic Bottlenecks, Founder Effects, and Toba

Genetic bottlenecks — dramatic reductions in population size that slash genetic diversity — and founder effects — the reduced variation carried by small colonizing groups — have profoundly shaped the genomes of species f

L_2_02 — Population Genetics and Hardy-Weinberg Equilibrium

Population genetics — the mathematical study of allele frequency change in populations — provides the quantitative framework underlying evolutionary biology. The Hardy-Weinberg principle (1908), independently derived by

L_3_09 — HLA Diversity and Immune System Evolution

The Human Leukocyte Antigen (HLA) system — the human version of the Major Histocompatibility Complex (MHC) found in all jawed vertebrates — is the most polymorphic gene region in the entire human genome. Located on chrom

L_3_07 — Behavioral Genetics: Nature and Nurture

Behavioral genetics — the scientific study of how genetic and environmental factors contribute to individual differences in behavior — has transformed our understanding of human psychology over the past half-century. Thr

L_5_06 — Genetic Adaptation to Disease: Malaria, Plague, TB

Infectious disease has been the most powerful selective force on the human genome throughout history. Pathogens — particularly malaria, plague, tuberculosis, smallpox, and cholera — have killed more humans than all other

L_5_07 — Genetics of Speech and Language: Beyond FOXP2

Language is humanity's most distinctive cognitive ability — and identifying its genetic basis has been a central goal of human genetics and neuroscience since the discovery of the KE family and the FOXP2 gene. The KE fam