Transitioning from the Built-in Render Pipeline to URP and HDRP
Learn to upgrade from Built-in Render Pipeline to Scriptable Render Pipelines, exploring advantages, key steps, and real-world tips from successful transitions in Unity game development.
Creating a Sender/Receiver HTTP Server for Asynchronous Operations in C++
Explore building an HTTP server using C++'s sender/receiver framework for asynchronous operations. Learn to implement networking senders, coroutine tasks, and async scopes for efficient, embedded server development.
GHC Status Report - Haskell Compiler Updates and Improvements
Explore GHC's latest developments, including quality-of-life improvements, WebAssembly support, dependent types, and linear types in this comprehensive status report.
The Network is the Computer: A Programming Language Perspective
Explore the convergence of programming languages and networking, examining custom protocols and in-network functionality to gain insights for both fields.
Inside the Scala Capture Checker
Explore Scala's capture checker, its algorithms, architecture, and integration into the compiler for ensuring resource and effect safety in programs.
Two Projects on Human Interaction with AI
Explore two projects on human-AI interaction: distinguishing human from machine agents and using AI in software development. Gain insights into trust, validity, and dynamic knowledge construction in AI interactions.
Melocoton: A Program Logic for Verified Interoperability Between OCaml and C
Explore Melocoton, a groundbreaking program logic for verifying interactions between OCaml and C components through OCaml's foreign function interface, mechanized in Coq using Iris.
Choreographic Programming: Its Essence, Beauty, and Necessity - CP 2024
Explore choreographic programming's essence, beauty, and necessity. Delve into its applications in cloud computing, microservices, concurrency, and digital democracy with Professor Fabrizio Montesi.
The Road to LiveView 1.0 - Development Journey and Key Features
Explore LiveView's evolution from basic form validation to building full-fledged apps. Discover key changes, rationale, and demos showcasing LiveView 1.0's power and future potential.
Beyond Functional Programming: A Taste of Verse - Lambda Days 2023
Explore Verse, a new functional logic language for the metaverse, featuring innovative concepts beyond traditional functional programming paradigms.
Rethinking Serverless with FLAME
Explore the FLAME pattern for auto-scaling existing app code without added complexity, revolutionizing serverless architecture in Elixir.
Ship It! A Roadmap for Putting Nx into Production
Explore Nx ecosystem's production readiness for Elixir, covering deep-dive introductions, real-world applications, deployment practicalities, and new feature possibilities in B2B SaaS development.
How to Use Dependency Injection to Write Maintainable Software
Explore dependency injection techniques in C++ to create decoupled, easily refactored, and testable components. Learn to manage data and behavior dependencies for simplified, maintainable software.
A Totally Constexpr Standard Library - Enhancing C++ Compile-Time Capabilities
Explore C'est library project for constexpr support in C++ standard library, featuring compile-time compiler and proof verifier examples. Learn about CTBench for compile-time benchmarking.
An Introduction to Multithreading in C++20
Explore C++20's multithreading tools for beginners, covering essential facilities and safe usage in new or existing applications.
CPU Cache Effects and Their Impact on Software Performance
Explore CPU cache effects and memory optimization techniques through code examples and benchmarks, deriving key memory characteristics for improved software performance.
Breaking Dependencies: The Path to High-Quality Software
Discover strategies to reduce software dependencies, enhancing code quality and maintainability. Learn practical techniques for creating robust, flexible, and scalable C++ applications.
Nth Pack Element: Efficient Access Techniques - A Case Study
Explore efficient techniques for accessing nth elements of variadic packs in C++, from naive approaches to modern C++20 features, with performance comparisons and practical insights.
The Floor Is Lava - Teaching Modern C++ to Experienced Programmers - Meeting C++ 2022
Explore C++ teaching strategies for experienced programmers, focusing on modern practices and essential concepts to quickly develop productive junior developers.
Trading at Light Speed: Designing Low Latency Systems in C++ - Lecture
Explore designing low-latency trading systems in C++, focusing on upfront design, CPU optimization, concurrency handling, and performance strategies for high-speed automated trading.
C++ Coroutines from Scratch - Lecture 1
Explore C++ 20 coroutines: simplify async code, understand core concepts, and see practical applications with library support. Gain insights into this powerful feature.