//

Press N to jot a timestamped note or B to pin a moment while watching.
Edward Witten develops the path-integral quantization of gauge theories and relativistic fields in Princeton Physics 539, analyzing gauge invariance, Ward identities, and non-perturbative dynamics.
Certified hardware for regexp matching: A rocq library and its workflow (Video, LOPSTR+PPDP 2026) Julin Shaji, Piyush Kurur, and Sandeep Chandran (Indian Institute of Technology Palakkad; Indian Institute of Technology Palakkad; Indian Institute of Technology Palakkad)