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
Piabrota AI Studio (self-employed, since October 2026)
- room.piabrota.art: a 3D room. 3D models, JavaScript and Spotify.
- metrics.piabrota.art: Piabrota infrastructure numbers.
- rig.piabrota.art: an OpenRig instance (github.com/mvschwarz/openrig). 1 of 4 rigs operates now.
- hermes.piabrota.art: Hermes, my personal agent. It connects to Obsidian, OMP (github.com/can1357/oh-my-pi), Claude Code, OpenCode and more.
- YouTube and Substack: these start in 2027.
Technical skills
- Software development: +10 years. Mostly Scala for backend and data; Python for ML and Airflow.
- 2015: LIOC, the Oceanographic Instrumentation Laboratory of UFRJ. FPGA signal processing in LabVIEW for Brazilian Navy underwater communication.
- 2016: LIOC. Real-time GPS boat tracking over 2G, with mobile phone chips.
- 2017: Stone (Nasdaq: STNE), during its IPO. Churn prediction with XGBoost, to replace Bayesian networks.
- 2018: a model that recommends a mobile carrier from ping history. Apache Flink detects the events; Python does the scoring.
- 2019: a pre-seed startup. We made an instant transfer between banks. It launched in August 2020, before Pix (November 2020). A company bought us; then Pix made the product unnecessary.
- 2020: an early startup in California. Semantix (Nasdaq: STIX) bought it.
- 2021: promoted to Lead MLOps, consulting for Americanas (B2W, Brazil). ML environments with Kubernetes and Kubeflow.
- 2022 to 2024: fraud prevention on Databricks. L5 engineer and subject matter expert of a loss forecasting product. I reported to the CFO. "Values VIP: Tenacious" award, February 2024.
- 2025 to 2026: TV audience forecasts for 4 channels, indirect contract. AWS: SageMaker, MWAA (managed Airflow), 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.
- We use Z3 solvers. Lean is an option.
Misc
- AWS: 4 certifications.
- PADI: 4 scuba diving certifications (2021, 2022, 2025, 2026).
- Open water: 2 Oceanman 10 km swims, 2025 (Salvador, Rio).
- Vox2you Florianópolis: 90-hour presentation course (2025).
References on request. I do not do live-coding interviews.
If you work with ML, ocean applications or agentic software factories, please contact me: mhoffmann [at] gmail(.com)
room.piabrota.art, the piabrota room (piabrota/room) · Rio at night in the window: Wilfredor, CC0 1.0
▲ grid, key 0 in the room: a triangle mesh of the Brazilian coast, 24 h of sea and wind · wind: NOAA GFS through Open-Meteo, CC BY 4.0 · temperature: OSTIA, generated using E.U. Copernicus Marine Service information (doi:10.48670/moi-00165) · land: Natural Earth
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









