Programming Language as Language
Explore programming languages as human languages, examining their structural elements, cognitive impacts, and role in shaping developer communities and mental models.
Scaling Up Machine Learning Without Tears - Programming Languages' Role
Explore techniques for scaling machine learning workloads across accelerators, focusing on partitioning, parallelism, and programming language concepts to optimize performance and hardware utilization.
Hydroflow: A Compiler Target for Fast, Correct Distributed Programs
Explore Hydroflow, a Rust-based dataflow runtime enabling correct program transformations for distributed systems. Learn about refactoring, replication, and partitioning techniques for optimizing distributed programs.
Capture Tracking in Scala
Explore capture tracking in Scala with Martin Odersky, delving into advanced concepts and techniques for efficient memory management and resource handling.
Verifying a Concurrent File System with Sequential Reasoning
Explore a verified, concurrent file system using GoTxn and Dafny. Learn about crash safety, concurrency, and combining interactive and automated proofs for robust systems software.
Can We Reason About the Security of Concurrent Systems Code?
Explore challenges and possibilities in reasoning about security in concurrent systems code with expert Peter Sewell.
Modernizing Finite State Machines in C++ Using std::variant
Discover how to revolutionize Finite State Machine implementation using std::variant in modern C++, achieving better type safety, improved performance, and cleaner code without heap allocation.
What I Learned from Sockets: Applying Socket Concepts to C++ Concurrency - Lecture
Explore socket concepts like select and poll for composing concurrent operations in C++. Learn to apply Unix primitives and Go-like semantics to solve concurrency problems efficiently.
Rewiring Your Brain with Test Driven Thinking in C++ - Meeting C++ 2023
Discover how test-driven thinking in C++ can enhance productivity, improve focus, and make coding more enjoyable while solving complex problems.
C++ in the Developing World - Why It Matters
Explore C++'s significance for efficient coding on older hardware in developing nations, its educational value, and tools for resource-constrained systems.
Prog C++ - Closing Keynote Meeting C++ 2023
Explore psychedelic C++ coding techniques, blending generic, functional, and value-based OOP practices for innovative software composition.
Contracts for C++ - Design by Contract for Safer Programming
Explore C++26's Contracts MVP: preconditions, postconditions, assertions, and violation handling. Learn how to enhance code safety and correctness with this powerful feature.
C++ Reflection - Back on Track
Explore the latest C++ reflection proposal, its implementation, and practical applications through code examples. Learn how this powerful feature enables new programming techniques and enhances development capabilities.
Use Your Source Code to Document Your Application
Learn to generate comprehensive documentation from .NET source code using Roslyn, creating diagrams that illustrate application structure and flow in various formats for improved team and stakeholder understanding.
Unlocking the Full Potential - The Harmonious Dance of EF Core and SQL Server
Explore the synergy between EF Core and SQL Server, from basic scaffolding to advanced schema evolution and SQL debugging, to create elegant database solutions.
Playing Video Games One Frame at a Time
Explore tool-assisted gaming techniques using C++, from supported mods to code injection, enhancing gameplay and overcoming challenges in video games as reaction times slow with age.
Tracking Aircraft with Streams and Software-Defined Radio
Explore software-defined radio to capture and process real-time aircraft location data using ADS-B, Redis Streams, and Node.js. Build an interactive map displaying live flight information.
Ruff: An Extremely Fast Python Linter and Code Formatter Written in Rust
Explore Ruff, a high-speed Python linter and formatter in Rust. Learn its functionality, performance optimizations, and design choices that make it significantly faster than alternatives.
ABAP Basic Programming - Part 2
Learn essential ABAP programming concepts and techniques for SAP development. Enhance your skills with hands-on practice and expert guidance.
Signal-Based Architecture for Angular Applications
Learn to implement signal-based architecture in Angular apps, exploring benefits, migrating components and services, and understanding change detection with signals for improved performance.
Ruff: An Extremely Fast Python Linter and Code Formatter Written in Rust
Explore Ruff, a high-speed Python linter and formatter in Rust. Learn its functionality, performance optimizations, and design choices that make it significantly faster than alternatives.