#Tools

Media

Modeling and verifying distributed applications with Concuerror

Lecture by Stavros Aronis

READ MORE

Clixir - mixing C and Elixir code

Lecture by Cees de Groot

Taking metaprogramming to the max, Clixir allows you to mix a subset of C and Elixir code in single source files and end up with transparent and safe execution of your embedded C code. As a demonstration, Uderzo, an OpenGL based graphics system targeted towards simple UIs for Nerves-style systems, will be explained.

READ MORE

Chemanalysis: Dialyzing Elixir

Lecture by Sean Cribbs

No one wants to ship bugs in a production system, especially embarrassing ones! Dialyzer is a post-compilation type-checker that has found more bugs in my code than I can count, saving me a lot of time and frustration. This talk will discuss briefly what Dialyzer is, how to use it in Elixir projects, and go in-depth on three bugs it helped me find in the Elixir compiler and standard library.

READ MORE

ZenMonitor: scaling distributed monitoring at Discord

Lecture by Matthew Nowack

READ MORE

Using Distillery: understanding OTP releases

Lecture by Ken Cross

READ MORE

Erlang logging for the 21st OTP

Lecture by Andrew Thompson

READ MORE

FIPS 140-2 in BEAM apps

Lecture by Drew Varner

READ MORE
BACK TO ALL MEDIA