Explore courses, seminars, and colloquia across 261 universities, research laboratories, and scholarly institutions.
Famous MIT OCW opening lecture (9M+ views): Allan Adams builds chained Mach-Zehnder electron color/hardness boxes on the chalkboard until every classical hidden-variable explanation collapses.
Harold Abelson's inaugural lecture for MIT's 6.001, "Structure and Interpretation of Computer Programs," introduces Lisp as a foundational tool for computational abstraction.
Professor Herb Gross introduces the core concepts of analytic geometry, laying the essential groundwork for the study of single variable calculus within the MIT curriculum.
The fourteenth installment of the 'Purposes of College Education' series, exploring the evolution and concepts of democracy from ancient origins to modern interpretations.
Precise conceptual dissection of Cartesian substance dualism vs. functionalist physicalism—separating what a person is made of from whether consciousness reduces to brain states.
Reconstructs Plato's Phaedo premise-by-premise like a modern logic paper—testing Plato's argument from eternal Forms and recollection.
Keith Bostic presents WiredTiger, discussing its architecture and underlying principles in this segment from Carnegie Mellon University's rigorous Databaseology Lecture series.
This lecture continues the exploration of advanced database systems, focusing on the intricate mechanisms of query execution and processing within modern relational database management systems. Topics include operators, query plans, and strategies for efficient data manipulation.
Traces Ted Codd's 1970 revolution over navigational CODASYL databases—why separating logical relational algebra from physical access paths made modern query optimizers possible.
This lecture by Leonard Susskind rigorously derives the Einstein field equations, demonstrating the equivalence between spacetime curvature, quantified by the Einstein tensor, and the distribution of energy and momentum, represented by the stress-energy tensor. This constitutes a fundamental pillar of general relativity.
Donald Knuth's 24th annual Christmas lecture, detailing the elegant 'Dancing Links' algorithm and its surprising effectiveness for solving exact covering problems across diverse applications.
Legendary graduate engineering teaching: Boyd blends razor-sharp mathematical precision with street-smart engineering intuition on recognizing hidden convex structure.
One of the clearest introductions to Kantian ethics ever filmed: autonomy vs. heteronomy, acting from duty vs. inclination, and treating humanity never merely as a means.
Professor Raj Chetty delivers a keynote address on leveraging large-scale data to analyze and inform policies for improving economic mobility through higher education.
Vivek Shende explores the topological algebra inherent in the symplectic geometry of symmetric powers, extending the framework to an open 2D topological field theory without explicit Lagrangian construction.
Jennifer Doudna, Nobel laureate and co-discoverer of CRISPR-Cas9, provides a foundational overview of CRISPR biology, tracing its development from fundamental microbial defense mechanisms to a revolutionary genome engineering technology.
Jonathan Weissman details advanced applications of catalytically inactive Cas9 (dCas9) as a versatile tool for precise gene regulation and epigenetic engineering, beyond its traditional role in genome editing.
Distinguishes syntactic symbol manipulation from intrinsic intentionality and subjective phenomenology, defending biological naturalism against strong computationalism.
Explore the properties of ECH curves and their topological control in rational homology spheres, detecting interesting invariant sets within symplectic dynamics.
Explore the intricate connections between Aubry-Mather theory in dynamical systems, the complete devil's staircase, and their surprising implications for fractional quantum Hall effects.
Pazit Haim-Kislev examines various definitions of symplectic equivalence for subsets of R^2n, demonstrating instances where these notions diverge and presenting counterexamples that highlight their non-coincidence in general.
This lecture segment from Professor Onur Mutlu's ETH Zürich course delves into advanced aspects of Hardware Description Languages, specifically Verilog for digital circuit description. It examines critical considerations for timing analysis and formal verification methods within complex digital system design.
Uncover the geometric interpretation of helicity as a foliated cobordism invariant, extending Arnold's conjecture to C0 volume-preserving flows in both smooth and C0 settings.
Delve into the foundational principles and advanced challenges of interconnect design within high-performance computer architectures, presented by ETH Zürich.
Sebastian Cioaba presents a proof of Kolokolnikov's conjecture on maximizing algebraic connectivity for graphs of given order and size, detailing the result f(n,2n-4)=2 for n>3. The talk also examines the failure of a similar conjecture for f(n,3(n-3)) and related work on regular graphs.
Robert Schapire introduces 'Astral Space,' a compact extension of Euclidean space for analyzing minimizers of convex functions at infinity, developing a robust theoretical framework.
Manuel Blum formally defines the Conscious Turing Machine (CTM) as a 7-tuple model for consciousness, offering theoretical insights into the binding problem and the generation of pain.
This lecture, part of Alexander Polyakov's graduate course at Princeton, delves into advanced topics in modern classical dynamics, suitable for researchers in theoretical physics.
Yin-Chen He introduces the fuzzy sphere regularization, a non-perturbative method for 3D Conformal Field Theories, with applications to the 3D Ising transition, fermionic CFTs, and Chern-Simons matter theories.
This lecture from David Tong's Quantum Field Theory course at Perimeter Institute introduces the concept of propagators, detailing their derivation and role as Green's functions in describing particle interactions within quantum field theory, referencing specific sections of Tong's canonical lecture notes.
Sir Andrew Wiles traces three centuries of number-theoretic attacks on Fermat's equation, from Kummer's cyclotomic ideals to elliptic curves and Galois representations.
Compares Mill's felicific calculus, Kant's Categorical Imperative, and Aristotle's eudaimonia across classic moral dilemmas.
Explains light-cone causal topology, trapped surfaces, Weyl curvature vanishing at the Big Bang, and conformal rescaling across cosmological aeons.
Yann LeCun examines the fundamental challenges of learning theory in the context of representation learning, presented at the Conference on Learning Theory (COLT) in 2013.
Distills corporate valuation to connecting disciplined financial numbers with plausible business narratives across young startups, mature cash cows, and declining firms.
Formalizes fragility and antifragility via Jensen's inequality and nonlinear concave/convex payoffs across financial tail risk, biology, and engineering.
