Misconceptions About Loops in C - Challenges in Loop Analysis for Static Analysis Tools
Explore rare edge cases and challenges in loop analysis for C programming, enhancing understanding of static analysis tools and improving software verification techniques.
Interleaving Static Analysis and LLM Prompting for Error-Specification Inference
Explore a novel approach combining static program analysis with LLM queries to enhance error-specification inference in C systems code, improving recall and F1-score while maintaining precision.
EGSTRA: E-Graph-Based Strategy for Test Suite Reduction and Abstraction
Explore e-graph application in software testing, focusing on test suite reduction and abstraction for program analysis tools. Learn about JSON-based implementation and preliminary research findings.
Update from the OTP Team - Erlang/OTP Features and Support
Explore OTP team updates, feature concepts, and implementation details in Erlang/OTP with Kenneth Lundin. Gain insights into motivation, feature support, and enabling/disabling mechanisms.
Elixir Update - Recent Developments and Future Features
Discover the latest Elixir developments, ongoing projects, research initiatives, and upcoming features in this concise update from Elixir Core team member Andrea Leopardi.
Typing with Pixie Dust - Enhancing Legacy Code with Automated Type Specs
Discover tools for enhancing legacy code with automatic type specifications, improving code reliability and maintainability through a Rebar3 plugin and TypEr enhancements.
Refactoring Made Easy - Tools and Techniques for Erlang Code
Discover tools and techniques for efficient Erlang code refactoring, combining codemods with diagnostics and quick fixes to improve maintainability at scale.
How I Grew to Love Erlang Type Specs
Discover the benefits of Erlang type specs for improved code understanding, maintenance, and debugging in large teams and long-running projects.
Security Through Static Analysis - Don't Let It Crash
Explore static analysis techniques for detecting and mitigating security vulnerabilities in Erlang/Elixir projects, focusing on data-flow analysis and real-world examples from open-source codebases.
Conway's Law Compliance in a Many Services Architecture
Explore scaling strategies for multi-service architectures, including synchronous API calls and asynchronous event processing. Learn from Stord's experiences in growing engineering teams and coordinating services efficiently.
osnap - Painless and Massive Regression Test Generation for OCaml
Explore osnap, an OCaml library for effortless generation of massive regression tests using snapshot testing and random scenario generation, inspired by property-based testing.
Typing Erlang with eqWAlizer - Static Typing for Large Erlang Projects
Explore WhatsApp's adoption of static typing with eqWAlizer, its benefits for large Erlang projects, and the rationale behind implementation choices.
ElectricSQL - Local-first SQL with Elixir
Explore local-first development with ElectricSQL, a platform for reactive, realtime, multi-user sync using Postgres and SQLite, powered by Elixir's replication technology.
Evision: An Evolving Elixir Library for Computer Vision Tasks
Explore Evision, an evolving Elixir library for computer vision. Learn about Kino widgets, Nx integration, and performance comparisons across CPU, OpenCL, and CUDA for image processing tasks.
Building Erlang with Buck2 - Lecture 1
Explore Buck2, Meta's build tool, and its Erlang rules for efficient large-scale development. Learn advantages, suitable projects, and implementation in your own work.
Elixir Core Team Update - Recent Developments and Future Plans
Explore Elixir's latest developments, ongoing projects, research initiatives, and upcoming features with core team insights from José Valim.
The Actor Model as a Load Testing Framework - Lambda Days 2023
Explore scalability and load testing using the actor model. Learn to ensure software reliability under extreme conditions and discover a ready-to-use library for implementation.
Understanding Elixir Compilation - Reducing Compile-Time Dependencies
Explore Elixir compilation, understand file recompilation triggers, and learn strategies to reduce compile-time dependencies for faster development workflows.
Building a Framework - Membrane's Journey to 1.0
Explore the challenges and lessons learned in developing Membrane, an open-source framework, as it approaches its 1.0 release. Gain insights into framework design, API creation, and open-source development.
Designing a Programming Language for Local Reasoning and Simple Debugging
Explore how programming language design can minimize bugs and simplify debugging. Learn about trade-offs in language design and their impact on software stability and correctness.
Keeping Real-Time Auctions Running During Rollout - From White-Knuckle to Continuous Deployments
Discover strategies for maintaining real-time auctions during Elixir cluster deployments. Learn how to increase reliability, prevent data inconsistencies, and enable continuous deployment in stateful systems.