Systems Administration Courses

Wondrium

Linear Systems of Differential Equations

Explore linear systems of differential equations, from matrix notation to phase planes. Learn about equilibrium points, straight line solutions, and the linearity principle to solve complex mathematical problems.

• YouTube
• 31 minutes
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• Conference Talk

Strange Loop Conference

Modelica - Component Oriented Modeling of Physical Systems

Explore component-oriented modeling of physical systems using Modelica, a language for simulating complex devices in various industries. Learn about compilation processes and algorithms.

• YouTube
• 42 minutes
• Self-Paced
• Conference Talk

Strange Loop Conference

Ceptre - A Language for Modeling Generative Interactive Systems

Explore Ceptre, a formal language for modeling interactive systems, game design, and program rules, with applications in game development and balance evaluation.

• YouTube
• 38 minutes
• Self-Paced
• Conference Talk

Strange Loop Conference

Architectural Patterns of Resilient Distributed Systems

Explore architectural patterns for building resilient distributed systems, focusing on adaptation, decomposition, consistency, and safety. Learn strategies for system evolution and testing.

• YouTube
• 44 minutes
• Self-Paced
• Conference Talk

Strange Loop Conference

When "Worst" is Best in Distributed Systems

Explore how designing distributed systems for worst-case network behavior can paradoxically improve typical performance, with practical lessons for web, transaction processing, and database applications.

• YouTube
• 39 minutes
• Self-Paced
• Conference Talk

Strange Loop Conference

Onyx - Distributed Workflows for Dynamic Systems

Explore Onyx, a distributed computation system addressing workflow complexities in modern frameworks. Learn about its innovative approach to simplify processing and leverage hardware advancements.

• YouTube
• 36 minutes
• Self-Paced
• Conference Talk