Charlotte Lorelei de Oliveira
✨ Net Idol ✨
Charlotte likes to talk about free open source software, privacy, programming languages, theory and software engineering.
Her work is breaking computers, fixing them and then teaching others about the results.
Past Activities
Code BEAM STO 2019
14.30 - 15.15
Introduction to a type system: session types
Correctness in software development is an important subject that has been explored by the academy and by the industry. How to ensure that your program cannot fail? How to ensure that what you're developing will work as expected without unwanted side-effects? etc.
Since then, several approaches were developed; one of them is static type analysis, a methodology which tries to prove that your program is correct based on the mathematical types theory, whose basic assumption is that unless your program can prove it attends its basic contracts, it is faulty. Considering Erlang is widely known by its focus on fault-tolerance and, by consequence, guarantees of reliability, there have been several attempts to improve Erlang programs by proving their correctness with type systems but such attempts have failed.
This talk proposes to explain what is a type system, why attempts to type strictly Erlang have failed and how the theory of Session Types might prove to be a way to achieve correctness in environments like Erlang's.
OBJECTIVES
- Present the concept of static type analysis
- Present the research so far in session types applied to programming
- Build hype over the future of environments based on the actor-message model
TARGET AUDIENCE
Developers who have before had to handle bugs in their code; functional programming enthusiasts.
Code BEAM Lite Berlin
13.55 - 14.35
Communicating through microservices: an overview on gRPC
Distributed computing has become an important topic for software engineers this decade as we become more and more competent of making big and complex systems to improve everyday life. However, whenever we introduce distributed systems to an architecture it’s complexity increases a lot and several questions are not as easy to answer than before.
A question to ask oneself is how should those systems communicate within themselves. There’s not an exact easy answer, as there are intricacies involved, like the tradeoffs of some protocols, the advantages, why it’s important to consider this etc.
This presentation will focus on gRPC as a potential answer to the aforementioned question, exploring why it exists, how could it help on connecting applications together and designing fluent APIs. This talk is suited for all publics without any expectations of prior knowledge.
Objective
- Get the watcher to understand the pros and cons of the gRPC framework
- Discuss the problems of data serialization
- Discuss the concerns on building fluent APIs for inter-service communication
Audience
Software Engineers of any background.
Code BEAM Lite Munich 2018
15.30 - 16.10
How does fault tolerance work in Erlang
Introductory and intermediate level talk explaining how Erlang can isolate its processes and why this is important for fault tolerant systems. The talk will touch on topics such as scheduling processes, the Erlang philosophy behind error handling and how to use supervisors to have a fault tolerant system.
OBJECTIVES
To teach about process isolation in Erlang, actor-message model, how BEAM has control over the processes execution and how scheduling processes work.