I'm Renato, welcome to my virtual space 🤖.
As a software engineer, I enjoy building solid foundations that others can rely on, and a few principles help me achieve that:
The question that got me interested in Computer Science in the first place was: why is every software seemingly broken in strange ways? This was around the time when we had a computer with Windows 98 installed. I believe the situation has not improved since then.
Writing software is fundamentally difficult. I am very interested in tools and techniques that help us write correct code, especially in the context of concurrent and distributed systems.
For comments, notes, corrections, and everything else, feel free to drop me a message! I am interested in broad variety of topics and promise to be friendly.