Formal Verification of a Mechanical Ventilator Using UPPAAL
Explore formal verification of mechanical ventilators using UPPAAL, enhancing system reliability and correctness through advanced modeling techniques.
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.
An Elixir Application for Small Hydropower Plant Control with Nerves - Code BEAM America 2022
Explore Elixir's application in small hydropower plants using Nerves. Learn about SCADA systems, custom hardware, and industrial implementations of Elixir for distributed control and monitoring.
OTP Process Abstractions with proc lib
Learn to create OTP-compliant process abstractions using proc_lib. Explore features of OTP processes and build a custom language server abstraction for the Language Server Protocol.
Learn You Some Pattern Matching for Great Good
Master pattern matching to simplify code structure, refactor conditionals, and improve codebase health. Learn implementation techniques, benefits, and potential pitfalls in large-scale projects.
Lively LiveView with Membrane - Exploring Real-time Video and Audio Processing
Explore LiveView and Membrane Framework for interactive video and audio processing in Elixir, covering stream processing, transformations, and managing complexity.
Erlang vs Elixir: On the Shoulder of Giants There's Room for Larger Giants
Explore the symbiotic relationship between Erlang and Elixir, examining their impact on various domains and the reasons behind their growing popularity in software development.
A Year in Production with Machine Learning on the BEAM
Explore insights on transitioning machine learning pipelines to Elixir, leveraging the Nx ecosystem for streamlined development and swift experimentation in production environments.
Remote Debugging with Livebook - ElixirConf EU 2023
Explore remote debugging in Elixir using Livebook, OTP distribution, and module reloading. Learn to leverage smartcells, eprof, and flamegraphs for effective troubleshooting of remote instances.
30 Years of BEAM: Mastering Concurrency in Erlang and Beyond - Code BEAM America 2024
Explore BEAM's 30-year evolution, focusing on concurrency models and fault-tolerant systems. Gain insights into developing robust concurrent programs and understanding BEAM's architecture.
Code as Infrastructure in the BEAM Ecosystem - Lessons from Building and Deploying Erlang Releases
Explore best practices for packaging, deploying, and managing BEAM applications in operational environments. Learn from real-world experiences with Erlang releases, Docker containers, and Ansible automation.
BEAM: The Perfect Fit for Networks
Explore BEAM's advantages for networking applications, focusing on TCP servers and clients. Learn about lightweight processes, messaging systems, and fault-tolerant architectures.
Developing a Bespoke Kafka Client - Against the Grain
Explore the development of a custom Kafka client, overcoming challenges through unconventional approaches and innovative problem-solving techniques.
Do You Really Need Processes? - Exploring Performance and Resiliency in BEAM Applications
Explore performance and resiliency gains in a ride-sharing app using various process architectures. Compare standard Phoenix + PostgreSQL setup with advanced BEAM features.
The BEAM in Homes across the US: Deploying Nerves at Scale - Lecture
Explore lessons and insights from deploying Elixir and Erlang/OTP on custom hardware using Nerves for smart home features in rental properties, focusing on BEAM platform benefits and challenges.
std::execution from the Metal Up - Implementing Sender/Receiver for Microcontroller UART - Lecture
Explore std::execution and sender/receiver executors for asynchronous programming in C++, focusing on microcontroller implementation and practical applications in constrained environments.
Variable Monitoring with Declarative Interfaces - Lecture
Explore a scalable framework for monitoring industrial signals using declarative APIs and builder patterns, enhancing readability and extensibility in control software.
TDD for Microcontrollers - Applying Test-Driven Development to Embedded Systems
Learn effective TDD techniques for microcontroller projects, including dual-target approach and open loop tests. Discover how to apply TDD to hardware-dependent code and improve embedded development workflows.
A Smooth Introduction to SYCL for C++20 Aficionados
Explore SYCL for cross-platform accelerator programming in C++20. Learn integration techniques, key features, and real-world applications in high-energy physics.
A City Digital Twin for Sustainable Mobility: Big Data Analytics and Predictive Models
Explore big data analytics and predictive models for sustainable urban mobility using digital twin technology.
Fourier Phase Index for Extracting Signatures of Determinism and Nonlinear Features in Time Series
Explore a novel method for analyzing time series data, extracting deterministic signatures and nonlinear features using the Fourier Phase Index.