beam

tesla-patents-feat

Writing your own BEAM

This is my Code BEAM Europe 2025 talk, converted to a blogpost. I was always fascinated with BEAM, how it…

logo-bottle

Erlang Meets Idris: Cure Programming Language

Cure Programming Language v0.2.0 – November 2025 Dependent Types. SMT Verification. Native FSMs. On the BEAM. A strongly-typed, dependently-typed programming…