aripiprazole

Implemented and maintained open source blockchains with Rust using Substrate. Forked nockchain miner and led research optimizing metal proof generation using winterfell and tip5. Contributed to the first Yuma consensus implementation on Commune AI.

Modeled dual-entry ledger for Conta Aberta using Datomic, and contributed to its frontend. Contributed to Nubank CRM using Clojure, Fulcro and Pathom implementing Central Bank’s regulatory demands. Contributed to IaC repository using Clojure. Improved web scraping algorithms to develop the Conta Aberta bank statements page.

Implemented and maintained the Java SDK using Kotlin, while keeping an idiomatic Java API.

Implemented and evangelized modern tooling for compilers, like Language Servers and Tree-Sitter. Modernized and improved the team’s efficiency by creating processes. Abstracted the HVM compilation into CFG and CPS using SECD and redexes, helping with debugging and improving usability.

Contributed to Signer’s monolith backend in .NET with C#, leveraging ICP-Brasil workflows. Handled production features using TypeScript, AngularJS, MSSQL and deployments using Azure.