Eduardo Rocha
Co-Founder at Buzzlabs
Brazil
Summary
🎓
Top SchoolEduardo Rocha is a software engineer with 8 years of experience who specializes in functional programming and building fast, maintainable systems without trade-offs between performance, functionality, and upkeep. He co-founded Don't rely on Nulls to deliver consultancy and in-house products focused on Haskell, F#, Clojure, ReScript and robust PostgreSQL schemas, and currently works at Obsidian Systems after hands-on roles at Buzzlabs and FP Complete. His background includes developing Haskell backends and DevOps improvements with Nix, designing microservices, and improving CI pipelines and observability tooling for memory and performance metrics. Eduardo blends research-minded rigor with practical delivery—leading teams to meet regulatory deadlines and unblocking cross-functional initiatives. Based in Brazil with a master's in computer science, he combines deep functional-language expertise with systems-level experience in Rust and C/C++, making elegant, production-ready software you can confidently maintain. He describes himself as a “Grug Brained Hacker,” signaling a pragmatic, hands-on approach to solving complex engineering problems.
7 years of coding experience
4 years of employment as a software developer
High School Diploma, High School Diploma at Leonardo Da Vinci High SchoolMaster's degree, Computer Science, Master's degree, Computer Science at Universidade de Brasília
English, Portuguese
Github Skills (56)
nix-flake10
functional-programming10
package-manager10
postgresql9
erlang9
erlang-otp9
windows9
raylib9
android9
macos8
flutter8
cross-platform8
palm8
desktop8
ios8
Programming languages (19)
Github contributions (5)
Dr-Nekoma/lyceum
Apr 2024 - Mar 2025
An MMO game written in Erlang (+ PostgreSQL) + Zig (+ Raylib)
Contributions:2 releases, 65 reviews, 39 PRs in 11 months
erlangerlang-otpgamejustfilenix
EduardoLR10/risc-v
Mar 2021 - May 2021
A Risc-V implemetantion using Systemc
Contributions:45 commits, 7 PRs, 41 pushes in 2 months
risc-vriscsystemc
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.