Systems Administration Courses

Seds Online

Paired Calcium and Clumped Isotopes, Tools to Probe Changing Diagenetic Systems

Explore calcium and clumped isotopes to study carbonate recrystallization in the Bahamian margin, revealing insights into fluid flow rates and their impact on diagenetic reactions in evolving carbonate systems.

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

Seds Online

Autogenic Processes in Sedimentary Systems Are Just Part of the Allogenic Spectrum

Explore the debate on autogenic processes in sedimentary systems, examining their relationship to allogenic factors and implications for understanding Earth's geological history.

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

Ryan O'Donnell

Multi-Qubit Systems - Lecture 5 of Quantum Computation at CMU

Explore multi-qubit systems, tensor products, and joint states in quantum computation. Learn about Bell states and fundamental properties of quantum systems with multiple qubits.

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

Ryan O'Donnell

More on Constant-Round Interactive Proof Systems - Graduate Complexity Lecture at CMU

Explore constant-round interactive proof systems in computational complexity theory, covering MA, AM, BPP, and efficient error reduction techniques.

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

Ryan O'Donnell

Great Ideas in Theoretical Computer Science: Deductive Systems

Explore deductive systems in theoretical computer science, covering topics like Hilbert's 10th problem, binary trees, propositional logic, and logical equivalence.

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

DesignCourse

Working with Three.js Particle Systems - They're Awesome

Explore Three.js particle systems to create stunning visual effects. Learn geometry, materials, and animations for dynamic web graphics.

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

Strange Loop Conference

Formal Modeling and Analysis of Distributed Systems

Explore formal methods for distributed systems using P programming framework. Learn to model, specify, and verify complex systems across development phases, from design to production.

• YouTube
• 39 minutes
• On-Demand
• Conference Talk

Strange Loop Conference

Automatic Generation of Runtime Checkers for Production Distributed Systems

Explore systematic techniques for automatically generating effective runtime checkers to detect and localize failures in complex distributed systems, enhancing reliability and performance.

• YouTube
• 40 minutes
• On-Demand
• Conference Talk

Strange Loop Conference

Nim Nuggets - Systems Programming & Metaprogramming Magic

Explore Nim's advanced features for systems programming, metaprogramming, and static introspection through real-world examples and practical applications.

• YouTube
• 42 minutes
• On-Demand
• Conference Talk

Strange Loop Conference

Systems That Run Forever - Self-Heal and Scale

Explore architectural principles for building scalable, fault-tolerant systems using isolated parallel components, error detection, and live code upgrades, with insights from Erlang's design.

• YouTube
• 1 hour 10 minutes
• On-Demand
• Conference Talk

Strange Loop Conference

Correctness Proofs of Distributed Systems with Isabelle

Explore formal verification of distributed systems using Isabelle/HOL. Learn to prove correctness of algorithms, focusing on consensus and agreement properties in infinite state spaces.

• YouTube
• 43 minutes
• On-Demand
• Conference Talk

Strange Loop Conference

Designing Augmented Reality Systems for Speed

Explore designing AR systems for speed, balancing complex algorithms with resource limitations. Learn trade-offs, concurrency, real-time interactions, and caching in AR development.

• YouTube
• 38 minutes
• On-Demand
• Conference Talk

Strange Loop Conference

Building Financial Systems on Eventually Consistent DBs

Explore Netflix's innovative approach to building scalable, available, and consistent financial systems using eventually consistent databases, balancing tradeoffs between availability and data integrity.

• YouTube
• 26 minutes
• On-Demand
• Conference Talk

Strange Loop Conference

The Holy Grail of Systems Analysis - From What to Where to Why

Explore advanced distributed tracing techniques to pinpoint latency issues in complex microservice architectures, moving beyond traditional monitoring approaches for more effective system analysis.

• YouTube
• 34 minutes
• On-Demand
• Conference Talk

Strange Loop Conference

Building Secure Systems in Haskell

Explore building secure web applications using Haskell's LIO and Hails framework, focusing on data privacy protection through language-level information flow control and declarative policy specification.

• YouTube
• 38 minutes
• On-Demand
• Conference Talk