Software Engineer @ SENAI-SP Distrito Tecnológico | Applied AI · Rust · Python · TypeScript
Do protocolo ao produto: gateways LLM, RAG agentic, speech e desktops que colocam IA para rodar de verdade.
- 💼 Software Engineer no SENAI-SP Distrito Tecnológico (Diadema/SP) — IA aplicada à indústria e educação
- 🤖 Applied AI: RAG agentic com avaliação, gateways LLM Anthropic-compatible, observabilidade de LLMs, quantização e compressão de embeddings, speech realtime + diarização
- 🦀 Rust: APIs async (Axum/Tokio), TUIs (Ratatui), desktops (Tauri v2), MCP servers, SSH/SFTP
- 🐍 Python: FastAPI, LangChain/LangGraph, SQLAlchemy + pgvector, MLflow, torch/transformers
- 🖥️ Desktop local-first: Tauri + React, GTK4/Adwaita (app publicado na loja Fedora), Electron, TUI apps
- 📊 Pesquisa reproduzível: labs com benchmarks, notebooks, fronteiras de Pareto e metodologia documentada
- 🐳 Cloud & DevOps: Docker/Compose, GitHub Actions com gates, Azure (OpenAI, Speech, Blob, Entra ID, ACR), AWS (S3, IoT, SES), PostgreSQL + pgvector, Redis, RabbitMQ
- 🔬 Spec-Driven Development, CI com gates de teste, Conventional Commits
| Área | Detalhes |
|---|---|
| LLM Gateways & Proxies | Tradução de protocolos (Anthropic ↔ OpenAI Chat ↔ Responses API), SSE streaming, catálogo de modelos, auth local — Rust/Axum, Python/FastAPI |
| RAG & Agentes | RAG agentic com gap-analysis e citações, LangChain/LangGraph, pgvector + FAISS, avaliação (Recall@k, MRR, judges), ingestão de documentos |
| ML Research & Quantização | Benchmarks reproduzíveis de quantização (pesos + KV cache) e compressão de embeddings (até 16×), análise de Pareto |
| Speech & Visão | ASR realtime + diarização (Whisper + pyannote), pipelines de transcrição, face unlock, biometria (fprintd + PAM) |
| Desktop & TUI | Tauri v2 + React, GTK4/Adwaita, Electron, Ratatui — vaults criptografados, sync via CRDT, terminais e SFTP |
| Backend & Arquitetura | Monólito modular (NestJS + Prisma), microsserviços event-driven (RabbitMQ/Redis), APIs REST, DI, RBAC/ABAC, auditoria |
| Dados & IoT | PostgreSQL + pgvector, MongoDB, consumers MQTT, agregação de telemetria, SQLite embarcado |
| Observabilidade | MLflow (tracing, judges, prompt optimization), Jaeger, Prometheus, OpenTelemetry |
| DevOps & Clouds | Docker/Compose, GitHub Actions com gates, Azure (OpenAI, Speech, Blob, Entra ID, ACR), AWS (S3, IoT, SES), SDD, Conventional Commits, uv + ruff + pytest |
- SSH_Orchestrator ⭐10 — Cliente SSH/SFTP cross-platform (Tauri v2 + React 19 + Rust): vault AES-256-GCM, sync via GitHub com CRDT, SFTP dual-pane, xterm.js
- agents-config — Configuração do pi coding agent — agentes, skills e extensões
- msbos — Distro Fedora com niri + Noctalia v5, otimizada para baixo RAM
- opencode-browser-extension ⭐4 — Extensão Chrome ligada ao OpenCode local com chat e ferramentas browser_*
- msbos-ai-chat — Chat de IA para desktop Fedora + niri usando OpenCode local
- podstack — Desktop Linux nativo para Podman: containers, Compose, VMs, Kubernetes e domínios locais
- Gestão do conhecimento — registro com trava de repetidos, chaves de API, acesso remoto via MCP, identidade visual própria e ingestão de documentos
- Voz e transcrição — onda por canal, modo sala com 1 microfone, modelo em português, idioma automático, motor em Rust com trava de GPU e pacote menor
- Reuniões e atas — geração, revisão e rastreabilidade com orquestração de agentes e extensão em TypeScript strict com Vite
- Indústria e campo — base anotada de qualidade da água, chat flutuante com gráficos e relatório por dispositivo em PDF
"Do protocolo ao produto: gateways, RAG e desktops que colocam IA para rodar de verdade."