• What the best performers will be doing in 5 years and why: a fantasy story

  • Resilience Engineering Onsite Portugal

  • Hyperloglog in beam

  • Venture Capital and Software

  • Ceci N'Est Pas Un CPU Load

    SREcon 21 talk

  • Dynamic Observability. An Intro to Dynamic Tracing in Elixir

  • Here be Floating Dragons: A Tale of Making OTP Faster

    When you spend enough time in the programming community, you learn that a few things are full of dangers. Floating Point ? Here Be Dragons. String representations ? Here Be Dragons. Multi Platform Virtual Machines? Here Be Dragons. Here is the tale of how i replaced a Dragon algorithm with another Dragon algorithm, to convert floating points numbers to string faster inside OTP. Hopefully this will show you that dragons are not impossible to deal with. And that you can contribute to OTP too.

  • Faster Float to String in OTP 24

    Erlang Paris March 21

  • OTP build systems

  • String that float

    Lightning talk Codemesh 2020

  • Why you are killing people and a possible path to a safer world

    Yes, software does kill people and companies. We will then look at System Thinking and Human Factors as a possible solution to build safer systems.

  • Do not try this at home

  • Making a Business Case for the BEAM

    How to make the business case to introduce the BEAM at your company.

  • A Declarative environment with Nix

  • Static Observability. An Intro to Metrics in Elixir

  • Dream of Papers, Research papers for the future of elixir

  • Overload and back-pressure, Genstage in theory

  • From local to deployable : building Elixir the Hard Way

    What are the options to build elixir, why release, what are the different steps and phase in a build, how to handle assets, an overview of the existing tools around building.

  • Why you are killing people and companies and a possible path to a safer world

    Yes, software does kill people and companies. We will then look at System Thinking and Human Factors as a possible solution to build safer systems.

  • It was formally proved correct!!

    A look at why TDD, Formal Proof and Type Systems do not help in building Safe systems.

  • Programming with Abstract Data Types

  • A hardware engineer look at code architecture.