Tobias Lindahl

Erlang Beard, creator of Dialyzer

Tobias started his Erlang career around 2000 in the HiPE research group in Uppsala University and have been working professionally with Erlang ever since. While working on the HiPE native code compiler, he created the original Dialyzer and focused his research on type inference for dynamically typed programming languages. He then joined Klarna in the early years, before moving on to join Erik "Happi" Stenman in Happi Hacking.

Since September 2017 Happi Hacking has been working in the æternity project, focusing on the core components of the æternity blockchain, such as state trees, consensus protocol, virtual machines and the Sophia smart contract programming language.

Past Activities

Thomas Arts / Tobias Lindahl
Code BEAM STO 2019
17 May 2019
14.30 - 15.15

How to sleep well after a major code refactoring

We all change our mind and realise that our code needs a major refactoring in order to meet new ideas. In the Aeternity blockchain project this has happened several times. A block chain is very sensitive to changes, because blockchains elementary are based upon hashes of terms that should match with earlier hashes. A change that causes a hash to differ could mean that people can no longer access their assets on the blockchain.


Explain how refactoring can be addressed without too much worrying.


Software engineers and managers that like a good night's sleep.

Erik Stenman / Tobias Lindahl
Code BEAM STO 2018
31 May 2018
11.35 - 12.20

Aeternity smart contracts

In this talk Erik and Tobias will present a new blockchain built in Erlang and Elixir to run on top of the BEAM. They will give a brief introduction to blockchain technology and then present the AEternity project and some of its features, such as State Channels and Oracles. They will also talk about the execution of smart contracts on the blockchain, the whys and hows. The AEternity smart contracts can be written in a functional programming language. They will conclude by explaining how it is currently implemented and some of the highlights they have plan for smart contracts in the future.