Systems Administration Courses

Harvard CMSA

Integral Many-Body Systems and GHD - Lecture 2

Delve into integral many-body systems and Generalized Hydrodynamics (GHD) with Herbert Spohn in this advanced mathematical physics lecture from Harvard CMSA.

• YouTube
• 1 hour 1 minute
• On-Demand
• Free Video

Topos Institute

Distillation Systems as Models of Homotopy Colimits

Delve into the mathematical concept of distillation systems and their relationship to homotopy colimits in category theory, exploring how these structures govern properties needed for functor calculus.

• YouTube
• 59 minutes
• On-Demand
• Free Video

Discover AI

Graph Topology for Securing Wall Street's AI Agents and Multi-agent Systems

Explore how graph topology can secure AI agents in financial markets, defend against malicious attacks, and protect multi-agent systems through topology-guided security frameworks.

• YouTube
• 27 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Formalizing Simultaneous Critical Pairs for Confluence of Left-Linear Rewrite Systems

Explore the formalization of a sufficient condition for confluence in first-order left-linear rewrite systems using simultaneous critical pairs, extending beyond development-closed critical pairs.

• YouTube
• 28 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction

Explore a new framework for verifying systems with parametric numbers of concurrent processes, using well-structured systems and 01-counter abstractions to decide verification problems across multiple system types.

• YouTube
• 31 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Synthesis of Controllers for Continuous Blackbox Systems

Discover a novel blackbox synthesis approach for constructing continuous control functions with guaranteed correctness for cyber-physical systems, using dynamic sampling and Lipschitz bounds.

• YouTube
• 28 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Property-Agnostic Base Case Extension for Scalable Verification of Distributed Systems

Discover a new method for proving temporal properties in distributed systems with ring topologies, extending verification from small to arbitrarily large systems, demonstrated through a MyCHIP digital currency protocol.

• YouTube
• 25 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Shipwright: A Modular Framework for Verifying Liveness of Byzantine Fault Tolerant Systems

Explore Shipwright, a modular framework for verifying liveness in Byzantine fault tolerant systems through refinement techniques, addressing cryptographic signatures, fairness properties, and implementation decomposition.

• YouTube
• 18 minutes
• On-Demand
• Free Video

ACM SIGPLAN

VeriRT: An End-To-End Verification Framework for Real-Time Distributed Systems

Explore VeriRT, an end-to-end formal verification framework that bridges the gap between abstract specifications and implementations for safety-critical real-time distributed systems, with case studies and Coq formalization.

• YouTube
• 19 minutes
• On-Demand
• Free Video

Packt

Architecting AI Solutions – Scalable GenAI Systems

Master the art of designing, deploying, and optimizing scalable GenAI systems through hands-on exploration of LGPL architecture, cloud-native deployment, resilience strategies, and security best practices.

• Coursera
• 6 hours 19 minutes
• On-Demand
• Paid Course

Packt

Master Retrieval-Augmented Generation (RAG) Systems

Master advanced RAG techniques including query expansion, re-ranking, and dense passage retrieval. Gain hands-on experience implementing these methods to enhance document retrieval and answer generation in real-world scenarios.

• Coursera
• 4 hours 48 minutes
• On-Demand
• Paid Course

Canonical Ubuntu

Transforming Embedded Systems with Ubuntu

Discover how Canonical's secure, scalable solutions are reshaping embedded and edge computing across manufacturing, robotics, AI, and IoT in this insightful keynote.

• YouTube
• 17 minutes
• On-Demand
• Free Video

ICTP-SAIFR

Short-Time Dynamics in Active Systems: The Vicsek Model

Explore the short-time dynamics of active systems through the Vicsek model with M. Leticia Puzzo's analysis of collective behavior and phase transitions in non-equilibrium systems.

• YouTube
• 30 minutes
• On-Demand
• Free Video

QuICS

Lost, but not Forgotten: Extracting Quantum Information in Noisy Systems

Explore quantum information preservation in noisy systems, focusing on quantum trees where information delocalization competes with noise effects, and learn about novel decoders that enable indefinite quantum information preservation.

• YouTube
• 57 minutes
• On-Demand
• Free Video

Paul G. Allen School

Pareto-efficient AI Systems: Expanding the Quality and Efficiency Frontier of AI

Explore the Pareto frontier between AI capabilities and efficiency with Simran Arora's research on expanding quality-throughput tradeoffs in language models, introducing BASED architecture and ThunderKittens programming library.

• YouTube
• 1 hour 3 minutes
• On-Demand
• Free Video