JEP Explained: Stream Gatherers in Java 23 - JEP 473
Explore Java 23's Stream Gatherers with experts Viktor Klang and Tagir Valeev. Learn about custom intermediate operations, design considerations, and the impact on Stream API functionality.
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.
Quantum Networks for Quantum Computers - Class 1
Explore quantum networks' role in quantum computing, focusing on fundamental concepts and applications in this comprehensive lecture by Juan José García Ripoll.
The 6502 Story: Yesterday, Today and Tomorrow
Explore the 6502 microprocessor's past, present, and future with its co-designer. Learn about its impact on iconic devices, ongoing developments, and plans for education and preservation.
Multi-phase Computation as an Applicative Functor
Explore multi-phase computation as an applicative functor, bridging static and dynamic program structures. Gain insights into resolving tensions between data and execution patterns.
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.
Improved Assistance for Interactive Proof - Machine Learning in Theorem Proving
Explore machine learning techniques enhancing interactive theorem provers, from established methods to emerging challenges in automation and efficient interaction.
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.
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.
Task-Oriented Functional Programming for Industrial Applications - Lambda Days 2024
Explore Task-Oriented Programming for developing multi-user web applications using the iTask library in Clean. Learn about industrial applications like VIIA for maritime monitoring and control systems.
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.
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.