Predictable Inlining in OCaml - Flambda2 Heuristics and Inlining Histories
Explore OCaml's inlining heuristics in Flambda2 and learn about "Inlining histories" for visualizing compiler decisions.
How Programmers Interact with AI Assistants - Exploring Interaction Modes and Live Programming
Explore how programmers use AI assistants like Github Copilot, understand interaction modes, and learn about LEAP, a new model enhancing AI code suggestion exploration and validation.
Asynchronous Reactive Programming with Modal Types in Haskell
Explore asynchronous reactive programming using modal types in Haskell. Learn about Async Rattus, an embedded FRP language with compile-time clock tracking for efficient asynchronous system composition.
Modular Higher-Order Effects in Declarative Languages - PADL'24 Lecture
Explore modular higher-order effects in Haskell for creating extensible domain-specific languages with enhanced expressiveness and maintainability using the effective library.
Type-safe Nanopasses: How to Write a Safe and Modern Compiler Front-end - INFER 2024
Explore a novel approach to strongly typing compiler passes, combining nanopasses and recursion schemes for efficient, type-safe compiler front-end development in Ada.
A Tale of Shared Memory Concurrency in Programming Languages
Explore shared memory concurrency in programming languages, examining challenges, recent advancements, and future directions for designing effective concurrency models for multicore systems.
How to Read a PL-Security Paper
Explore techniques for understanding PL-security papers, including threat models, attacker concepts, and contributions to programming languages. Gain insights for PL generalists approaching security topics.
The Hunt for the Cluster Killer Bug - Debugging Erlang Legacy Code
Explore debugging techniques for Erlang systems, focusing on a cluster-killer bug case study. Learn about fault tolerance, memory models, and low-level issue resolution in Erlang applications.
Growing Together with the BEAM - 20 Years of Erlang/OTP in Telia ACE
Explore Telia ACE's 20+ year journey with BEAM technology, from early Erlang adoption to current AWS integrations. Learn about scalability, challenges, and ongoing projects in contact center solutions.
LiveView and JavaScript: A Guide to Achieving Synergy - Code BEAM Europe 2022
Explore synergies between LiveView and JavaScript frameworks. Learn to integrate AlpineJS and VueJS with LiveView for enhanced web app interactivity and performance.
Kill All Mutants! Introduction to Mutation Testing - Code BEAM Europe 2022
Explore mutation testing to enhance test suites and code quality. Learn its benefits, drawbacks, implementation, and tools for various languages. Gain insights to improve testing practices and code reliability.
Flow-Based Programming with Elixir and ALF
Explore Flow-Based Programming in Elixir using ALF. Learn advantages, implementation, and practical examples like an online TicTacToe game. Discover how to model application layers effectively with this paradigm.
Thread per Request vs Thread Pool per Operation - Architectural Comparison
Explore architectural approaches for web applications: thread-per-request vs thread-pool-per-operation. Compare designs, analyze motivations, and understand practical implications to make informed decisions for your next project.
Seeing Like a Linguist - YAML
Explore linguistic concepts through YAML, enhancing understanding of both language and data structures. Gain insights into programming and linguistics.
Metaphors are Everywhere - Ideas to Improve Software Development
Explore software development insights through diverse metaphors from basketball, fiction writing, game development, and trading card games.
How We Migrated One Billion Objects Without Downtime Using Elixir
Discover how to migrate a billion objects without downtime using Elixir. Learn from Bernardo Martinez's experience and insights on large-scale data migration strategies.
An Elixir View on Processes: From Spawn to Cluster Discovery
Explore Elixir processes from basic spawning to advanced cluster discovery. Gain insights into concurrent programming and distributed systems with practical examples.
Building Blocks and How to Use Them: MongooseIM Case Study
Explore MongooseIM's building blocks, architecture, and performance optimization techniques. Learn about configuration, pools, telemetry, and debugging tools for efficient XMPP server development.
Comparing the Actor Model and CSP Concurrency with Elixir and Clojure
Explore Actor model and CSP concurrency in Elixir and Clojure. Compare BEAM VM and JVM implementations, gaining insights into concurrency paradigms and their unique features for better development practices.
Taming Floating Points in Scala and CakeML
Explore formal verification techniques for floating-point programs in functional languages, focusing on static analysis to ensure accuracy and meaningful results despite rounding errors.
An Enigma Machine in Elm
Explore the Enigma machine's encryption process through an Elm implementation. Learn its workings, weaknesses, and historical significance in WW2 codebreaking efforts.