YoVDO

Towards Language Support for Distributed Systems

Offered By: Strange Loop Conference via YouTube

Tags

Strange Loop Conference Courses Programming Languages Courses Distributed Systems Courses Serverless Functions Courses

Course Description

Overview

Explore the intersection of distributed systems and programming languages in this 43-minute conference talk from Strange Loop. Delve into Heather Miller's research on shifting reasoning for two classes of problems into programming languages. Discover how this approach can alleviate common headaches in building and managing distributed systems, such as ensuring invariants between interconnected services. Learn about recent advancements in utilizing Conflict-free Replicated Data Types (CRDTs) for richer computations and composing serverless functions to create more complex operations. Gain insights into potential future developments that could make distributed systems programming more manageable and less error-prone.

Syllabus

"Towards Language Support for Distributed Systems" by Heather Miller


Taught by

Strange Loop Conference

Tags

Related Courses

Sniffing the Metaverse
Strange Loop Conference via YouTube KalDB - A Cloud Native Log Search Platform
Strange Loop Conference via YouTube The Evolution of a Planetary-scale Distributed Database
Strange Loop Conference via YouTube Machine Learning for Developer Productivity
Strange Loop Conference via YouTube Formally Verifying Everybody's Cryptography
Strange Loop Conference via YouTube