Software engineer specializing in serverless architectures, real-time systems, and complex e-commerce integrations. Building production software at Arctic Leaf Inc.
Scroll↓
About
I'm a software engineer who started in Electrical Engineering and ended up deep in software — drawn by the same thing: building systems that work precisely and reliably.
At Arctic Leaf, I work across the full stack on client products — from SaaS platforms and e-commerce storefronts to serverless data pipelines and ERP integrations. I like the parts of the job most people avoid: distributed state, third-party API complexity, schema design that has to survive real-world load.
Clean contracts, good DX, OpenAPI docs that actually stay current.
→
Full-product side projects
From database schema to mobile UI — owning the entire stack solo.
→
Integrations nobody wants to write
ERP sync, payment webhooks, legacy data feeds. Someone has to.
Background
B.Eng. Electrical Engineering — CEFET-RJ, Brazil. The engineering mindset stuck: I approach software the same way — understand the system, find the constraint, fix it properly.
Experience
Arctic Leaf Inc.
Software Engineer
2022 — Present
Remote
Client Projects
Built the SaaS frontend (Next.js + React) with RBAC, property listings, client management, PDF generation, Google Maps, Stripe billing, and full EN/FR i18n (50+ namespaces)
Shipped v0-SmartBrokr (Next.js 16 / React 19 / Tailwind v4) covering dashboards, listings, calendar, onboarding, team governance, and public marketing pages
Built Brokrmate in-app AI assistant: intent-approval workflow (user approves AI-proposed actions), file attachments, virtualized history, markdown parsing, a11y-compliant UI
Designed the serverless Hono API on Cloudflare Workers: 40+ route modules, 70+ services, 28 Drizzle schemas, OpenAPI 3.0 docs, dual runtime (Bun dev / Workers prod)
Hardened session/auth: per-device sessions with race-safe refresh-token rotation, idle-timeout sweeper, audit log, 2FA/OTP, and KV-backed rate limiting
Implemented organization multi-tenancy (slug-based login, public lookup endpoint, derived-slug checks) and cron-based onboarding automation with ExecutionContext-safe scheduling
Dual-provider AI infrastructure (OpenAI + Anthropic), Google-Sheets-managed prompts with live sync + versioning, structured outputs via zod-to-json-schema, pricing calculator
Integrated DocuSign, MLS/RETS sync, Google APIs, HubSpot CRM, QuickBooks; Playwright E2E + Vitest coverage across agent, context-builder, intent-manager, and pricing modules
Drove the 2026 expansion: leads with in-app conversations + activity feed, supplier ecosystem (jobs, quote requests, reviews), team management (plans/memberships/invitations), buyer showing requests with Google Calendar sync, faceted listing search, an ACL permission layer, and an SWR data layer (request dedup + focus revalidation) across tasks/clients/listings
Rust CLI wrapping the Teamwork Projects API for the team — 15+ resource command groups (tasks, timers, timelogs, projects, milestones) with native sort/filter, parent/subtask links, and correct due-date sorting
V3 API with transparent v1 fallback for tenant-specific gaps (tasklists, milestones, writes)
Cross-platform binaries (Linux, macOS Intel/ARM, Windows x64/ARM64) built by GitHub Actions on every tag; shell completions for 5 shells plus an npm wrapper for one-line teammate install
RustclaptokioreqwestTeamwork APIGitHub Actions
Peer-to-peer event-rental marketplace on the Sharetribe Marketplace SDK — user management, listings, and a multi-stage transaction flow (booking + delivery methods)
Cart-first purchase flow with server actions, date-based availability, and shop-closure logic; Stripe payment processing
Google Maps geocoding for delivery and location-based filtering; Upstash Redis session storage and caching; provider/buyer role separation with role-based UI and a Storybook component workshop
Three instrument engines (SF2 soundfont, subtractive synth, chromatic WAV sampler) over a low-latency PCM feed loop, with a FluidSynth fallback on desktop and web.
Audio engine ported from Dart to Rust behind flutter_rust_bridge in three parts — FX chain, then instruments, then SF2 onto rustysynth — each cut over only after byte-exact parity.
Reorderable effects chain (Freeverb, delay, low-pass filter), looper, arpeggiator, and metronome with selectable timbre.
EN/ES/FR/pt-BR UI, RevenueCat freemium gate, signed-release CD to Google Play with R8 gated in CI.
23 agent skills shipped in two formats from the same SKILL.md files: a Claude Code plugin marketplace, or bunx skills into any of 75+ agents.
Agent SkillsClaude Codebunx skillsMarkdownMIT
Nine skills compose a feature-delivery pipeline from vague idea to merged PR; each stage consumes the prior artifact and refuses to run on thin context.
babysit-prs drives a PR through bot and human review on its own loop until it merges; implementation-review gates the commit with seven parallel checks.
code-craft covers 7 languages and 12 frameworks, seo runs deterministic LLM-first audits, wstg covers OWASP security testing.
Every skill versioned independently, manifests validated in CI, progressive disclosure throughout.
Records two or more USB microphones on one computer in sync. Each mic runs on its own crystal clock, so over a long take they drift apart and desync.
RustcpalrtrbhoundMIT
The first mic listed becomes the master clock; every other one is linear-resampled to its exact sample count, correcting rate mismatch and drift in one step.
cpal capture into lock-free rtrb ring buffers; one WAV per mic plus a mix, written with hound.
Zero-config CLI: bare invocation lists numbered devices, record 0,1 captures until Enter, with optional fixed duration, --normalize and per-mic --gain.
Prebuilt Windows zip on GitHub Releases, with the build-from-source path documented for macOS and Linux.
Pure-Rust fixed-income library — yield curve interpolation, parametric fitting and bond pricing — published to crates.io with zero third-party numerical crates.
RustPCHIPNelder-MeadSvenssoncrates.io
Five methods: piecewise linear, C² cubic spline via Thomas solver, Fritsch-Carlson PCHIP, Nelson-Siegel and Svensson, fitted by an in-tree Nelder-Mead optimizer.
Compounding and implied forward rates (continuous, periodic incl. Brazil-252, simple); duration, convexity and par yield off any interpolator.
Zero-dependency date toolkit: ISDA 2006 day counts, BUS/252 ANBIMA calendar, coupon-schedule generation.
unsafe_code = "forbid" crate-wide, post-fit sanity checks with deterministic spline fallback, SLSA Level 3 provenance per tagged release.
Serverless disposable email — 10-minute inboxes free, 60-minute with custom domains on pro. Go Lambdas on Terraform-managed AWS, web and mobile in one monorepo.
GoAWS LambdaTerraformAstroSvelte 5React Native
SES inbound, S3, DynamoDB with TTL auto-delete, API Gateway and Route53, all Terraform-managed in us-east-1.
Paid tiers add TOTP two-factor auth, API keys, forwarding, webhook config, vanity addresses, inbox sharing and read receipts.
Astro + Svelte 5 web on Vercel, React Native + Expo mobile at ~80% parity, shared TypeScript API client.
PT-BR/ES/FR localization routed through Vercel rewrites; PolyForm Noncommercial license with gitleaks scanning in CI.