Swift as C++ Successor in FoundationDB
Exploring Swift's adoption in FoundationDB, showcasing its seamless C++ interoperability, performance, and modern features for high-performance distributed systems development.
Why You Should Learn Rust in 2024
Discover why Rust is gaining popularity among developers. Learn about its unique features, benefits, and potential as your next programming language in this informative webinar with Francesco from Daily.dev.
C++ Coroutines at Scale - Implementation Choices at Google
Explore Google's implementation of C++ coroutines for processing billions of requests, covering trade-offs, performance optimizations, and novel choices in library development and integration into production environments.
Craig's Amazing Rust Spectacular - NDC Sydney 2024
Explore Rust from a front-end engineer's perspective, comparing it to TypeScript and examining its potential impact on future web development.
Semi-Globals and Multi-Threading - Challenges in Legacy Code Adaptation
Explore challenges and solutions in evolving a single-threaded application with global variables into a multi-threaded client-server system, focusing on SimCorp Sofia's journey.
Asynchronous Programming in Dyalog APL - Part 3b: Futures - 2022 Conference Edition
Explore asynchronous programming in Dyalog APL, focusing on futures, ⎕AWAIT, and practical demonstrations for web downloads, GUI applications, and algorithm optimization.
Future(s) - Asynchronous Programming in Dyalog - Part 3a
Explore asynchronous programming in Dyalog, including green threads, .NET tasks, and futures. Learn about unifying I-beam functions and see demonstrations using N-queens and wait functions.
Modular Verification of Op-Based CRDTs in Separation Logic
Explore modular verification of op-based CRDTs using separation logic. Learn about Reliable Causal Broadcast and OpLib for simplified CRDT implementation and correctness proofs.
Algorithmic Verification - Session Preview at POPL 2023
Explore algorithmic verification techniques and their applications in program analysis, presented by expert Umang Mathur at POPL 2023's innovative session preview track.
Reference Capabilities for Flexible Memory Management
Explore Verona's innovative approach to memory management using isolated regions and reference capabilities, enabling predictable and controlled memory use in concurrent programming.
Delimited Continuations Demystified
Explore delimited continuations: their nature, functionality, and applications in schedulers and effect systems. Gain insights into this powerful programming concept.
Little Things and Big Things - Lessons for Building Large Systems
Explore essential lessons for designing large-scale systems, covering crucial rules, buffer management, distributed system challenges, and effective strategies for maintaining system stability and performance.
Some Things I Wish I Hadn't Seen - Challenging Concurrency Patterns in Code
Explore complex concurrency patterns in code bases, examining challenging examples that push the boundaries of theoretical understanding and practical implementation.
In-Order Execution Nails Every Weak Memory Behavior
Explore in-order execution's comprehensive coverage of weak memory behaviors, unveiling its significance in modern computing systems.
How Do We Know That Weak Memory Matters?
Explore weak memory's impact on system reliability and security, examining evidence and alternative explanations with Mike Dodds.
Leveraging the Actor Model in Financial Transaction Systems
Explore the Actor Model's application in financial systems, covering transaction processing, lost update problems, and asynchronous solutions using Kafka and Actor Model implementation.
Disentanglement with Futures, State, and Interaction
Explore disentanglement in parallel programs with futures, examining its extension beyond fork/join parallelism and implications for functional, stateful, and non-deterministic code.
An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic
Explore AxSL, a separation logic for Arm-A's relaxed memory model, enabling fine-grained reasoning for high-performance systems code. Discover its mechanization, key examples, and soundness proof.
Share Rust Thread Data With Mutexes - Rust Tutorial
Hands-on tutorial demonstrating how to use Mutexes in Rust for safe data sharing between threads, covering creation, locking, and practical implementation.
Fatal Coroutine Mistakes Nobody Tells You About
Uncover 5 critical pitfalls in Kotlin coroutines programming and learn how to avoid them, enhancing your asynchronous code efficiency and reliability in just 18 minutes.
Process Synchronization
Explore process synchronization, cooperating processes, shared memory systems, and race conditions in operating systems. Learn key concepts for efficient multi-process management.