_{llms.txt: an index of my work for language models}

And what is good, Phaedrus,
And what is not good—
Need we ask anyone to tell us these things?

_{Robert M. Pirsig, Zen and the Art of Motorcycle Maintenance (1974), the epigraph on its opening page}

Staff Software Engineer & FDE 31yo

Piabrota AI Studio (self-employed, since October 2026)

• room.piabrota.art: a 3D room (JavaScript, Spotify).
• metrics.piabrota.art: Piabrota infrastructure numbers.
• grid.piabrota.art: unstructured grids of the Brazilian coast.
• skills.piabrota.art: a skill collection.
• pirsig.piabrota.art: a second brain.
• proof.piabrota.art: Lean 4, Z3 and other formal verification tools.
• Partnerships or white-label requests: whitelabel [at] piabrota.art

Technical skills and background

• Software development: 10+ years. Mostly Scala for backend and data; Python for ML and Airflow.
• 2015: LIOC, ocean instrumentation lab. FPGA signal processing in LabVIEW (low code) for Brazilian Navy underwater communication.
• 2016: LIOC (in Portuguese). Real-time GPS boat tracking over 2G, with mobile phone chips.
• 2017: StoneCo, during its IPO. Churn prediction with XGBoost, to replace Bayesian networks.
• 2018: a model that recommends a mobile carrier from ping history. Flink detects events; Python scores.
• 2019: a pre-seed startup. We made an instant transfer between banks. It launched in August 2020, before Pix. A company bought us; then Pix made the product unnecessary.
• [UK] 2020: an early startup based in London, in overseas banking. I worked mainly on the Scala backend and the FX APIs.
• [US] 2021: a California startup. Semantix bought it.
• [US] 2022: promoted to Lead MLOps, consulting for Americanas (B2W, Brazil). ML environments with Kubernetes and Kubeflow.
• [US] 2023 to 2024: fraud prevention on Databricks. L5 engineer and SME of a loss forecasting product. I reported to the CFO. "Values VIP: Tenacious" award, February 2024.
• [UK] 2025 to 2026: TV audience forecasts for 4 channels, indirect contract. AWS: SageMaker, MWAA, S3, Lambda and Step Functions.

Research: UFSC, until mid-2027

• A team of 5 persons (ondaseventos.ufsc.br).
• I port the WAVEWATCH III (WW3) ocean wave model from old Fortran to C++ (Kokkos and CUDA). Rust may follow, with help from Prof. Pedro Veras (LabECO). The goal: WW3 runs faster on GPUs and gives the same results as the Fortran. Bit-for-bit parity where possible; the physics stays consistent.
• My works with a DOI: marola (10.5281/zenodo.23224155), ww3-gpu (10.5281/zenodo.23221351), picasso (10.5281/zenodo.23311208), closed source (10.5281/zenodo.23333656), marola-bench (10.5281/zenodo.23352633), nashkell, the open book (10.5281/zenodo.23356739).

Misc

• AWS: 4 certifications.
• PADI Rescue Diver: 4 scuba diving certifications.
• Open water: 2 Oceanman 10 km swims, 2025 (Salvador, Rio).

_{room.piabrota.art, the piabrota room (piabrota/room) · Rio at night in the window: "Rio de Janeiro at night from above" by Wilfredor, Wikimedia Commons, CC0 1.0}

_{direct interests: the topics of my repositories (the index)}

_{indirect interests: the topics of what my public forks come from (the index) · drawn with Archify; just topics draws both again}