乌拉圭 · UTC−3 · 与美国东部时间完全重叠 · 可作为承包商或通过 employer-of-record 合作 · 接受搬迁
软件工程师，在 Magenta Innova 从事乌拉圭及周边地区银行核心服务工作四年。将约 4,600 个类从 Axis2/Java 8 迁移至 Spring Boot 3，迁移 50 多个 API，测试覆盖率从 20% 提升至 85%。同时具备生产级 React Native 经验，并独立开发了一个 C++17 渲染器。
一小批近期的实验、企业级迁移和一些副本任务。
C++17 · OpenGL 4.5 Core · PBR + IBL · Dear ImGui · Assimp
用 C++17 从零打造、基于 OpenGL 4.5 Core 的 3D 引擎——PBR 与 split-sum IBL、阴影映射、HDR 后处理链、自研的带版本二进制场景格式，以及一个停靠式 ImGui 编辑器，全部遵循 RAII 规则且不使用异常。
Java 17 · Spring Boot 3 · Axis2 (legacy)
将 Banco de la Provincia de Buenos Aires 乌拉圭分行的遗留 Axis2 / Java 8 web 服务迁移到基于 Java 17 的 Spring Boot 3 —— 7 个代码库、约 4,600 个类 —— 并将连接方式从 JNDI 改为受管的 MSSQL DataSource。
Java 17 · Spring Boot · JUnit 5
在一个 10 人团队中，将约 48 个 API 上新端点的测试覆盖率从 20% 提升到 85%+，每次部署都经由 Jenkins、OpenShift 与 SonarQube 把关。
React Native · Expo · WebAuthn
一款基于 React Native + Expo 的跨平台手机银行应用，由四人团队交付至 iOS 与 Android —— 采用 WebAuthn 认证，并有一个承载集成逻辑的 backend-for-frontend。
Commander.js · Google Cloud Platform · SQLite
一个命令行应用程序，连接到邮箱并使用 AI 提取工时报告，搜索符合所配置条件的邮件，然后将邮件交给 Claude Sonnet 4.5 收集所有相关信息并提醒用户
面对大到无法全部装进脑子的代码库，智能体的水平取决于你交给它的事实依据。我的方法让 AI 始终锚定在真实结构与可证明的契约上 —— 每个答案都经由图谱追溯，每个接口都对照其规格校验。
// 遍历图谱，而非 grep
我把每个代码库索引成由函数、路由、调用链与服务契约构成的知识图谱。智能体沿着代码真实的连接方式去遍历，而不是用 grep 或语义搜索去猜 —— 于是庞大的迁移代码面只需一次查询即可回答，而非全文扫描。
// 规格即测试套件
Schemathesis 读取服务的 OpenAPI 规格，生成基于属性的测试 —— 数百个边界、畸形与有状态的用例，都是契约所隐含、却没人会手写的。它在客户端看到之前就暴露出规格漂移与意外的 500 —— 这正是一个迁移后的接口必须证明的。
// 一套装置，任意 OpenAPI
我把这套流程封装成一个小应用：把它指向任意暴露 OpenAPI 规格的服务，它就会运行完整的 Schemathesis 套件、列出失败并报告契约覆盖率。测试一个新的微服务因此变成配置，而不是从零搭建的测试项目。
你都看到这里了——
……我也随时乐意聊聊音乐，或者一起试试新游戏。
