UFABC · Ciência da Computação · Finalista Nacional ICPC 2026

Engenharia de Sistemas,
Perto do Metal & Teoria

Pesquisador de Otimização Combinatória, maratonista de programação algorítmica e desenvolvedor de software de sistemas. Foco intransigente em fundamentos de UNIX, compiladores determinísticos, soberania de infraestrutura e arquitetura anti-inchaço.

gabrielf@sanctuary:~ (posix-sh)
$ cat /dev/dsp > /dev/dsp # echo ethos
_
DICA DE EXPLORAÇÃO C23 / bmake
Standard BSD Library (SBL): Implementação defensiva de bibliotecas BSD em C23 com compilação hermética e zero comportamento indefinido.

A Tríade Canônica & Filosofia de Engenharia

Práticas moldadas por décadas de evolução da computação: desde a elegância minimalista do UNIX até as garantias matemáticas formais dos compiladores modernos.

1. Fundamentos de UNIX: File Descriptors & IDs

No cerne dos sistemas UNIX verdadeiros, toda abstração de I/O colapsa em duas entidades elementares: File Descriptors (FD) e Identifiers (ID).

  • OSS vs ALSA: No Open Sound System, áudio é manipulado via /dev/dsp com simplicidade límpida (cat /dev/dsp > /dev/dsp), sem as camadas bizantinas e convolutas do ALSA.
  • Separação de Privilégios: Defesa em profundidade usando pledge e unveil (OpenBSD) e Capsicum (FreeBSD) para restringir processos estritamente aos FDs necessários.
  • Drivers & CUSE: Dispositivos em Userspace e sandboxing hermético para isolamento de falhas.

2. Perto do Metal: O Mínimo Denominador Comum

Eliminação de camadas desnecessárias de abstração. O código deve compreender o hardware subjacente: registradores, hierarquia de cache e escalonador do kernel.

  • Fundação Canônica & GPU: POSIX.1 para primitivas de sistema operacional, SDL3 (SDL_GPU, SDL_Audio, WebGPU, QRhi) e NVIDIA CUDA para computação paralela massiva perto do metal.
  • Standard BSD Library (SBL): Implementação autoral de bibliotecas de sistema BSD em C23 moderno, com compilação hermética via bmake e zero dependências ocultas.
  • Herança Gráfica & Áudio: Preservação de OpenGL, OpenCL e OpenAL como marcos clássicos formativos e legados históricos da computação gráfica 3D, GPGPU e áudio espacial, distinguindo-os das APIs modernas baseadas em pipelines explícitos de GPU.
  • Alta Fidelidade: Código escrito para explorar o paralelismo e a vazão máxima do processador sem intermediários opacos.

3. Compilador Determinístico & Anti-Inchaço

A preferência inabalável por garantias matemáticas estáticas comprovadas em tempo de compilação (Ahead-of-Time) sobre sobrecargas dinâmicas em tempo de execução.

  • Garantias Formais: Rust, Zig, C23, C++23 e Go entregam provas de integridade, segurança de tipos e otimizações vetoriais superiores a qualquer suposição dinâmica.
  • SvelteKit Estático: Zero virtual DOM, zero inchaço de runtime. O compilador transforma componentes em HTML, CSS e JavaScript estáticos puros, ultra-leves e instantâneos.
  • SQLite WAL & Monólitos: Sem preconceito contra o SQLite. Ele entrega milhões de operações por segundo em WAL mode em um monólito coeso, eliminando latências desperdiçadas de rede.

O Método Socrático com Inteligência Artificial

Inteligências Artificiais generativas são instrumentos de alavancagem cognitiva, tutoras e parceiras de pair-programming — jamais árbitros da verdade. A única postura intelectualmente honesta do engenheiro diante de uma IA é o questionamento socrático perpétuo: perguntar o porquê de cada linha gerada, desafiar premissas, exigir provas formais e nunca aceitar qualquer resposta sem 100% de verificação empírica e compilação rigorosa (99% de certeza não basta). Utilizo a suíte Antigravity (CLI agy, IDE, Antigravity 2.0 e Python SDK) governada por Portable AI Skills e arquivos AGENTS.md canônicos para manter a máquina estritamente a serviço da precisão.

Stack Tecnológico & Domínios

Tecnologias adotadas por mérito técnico, interoperabilidade POSIX, ausência de inchaço e compromisso com padrões abertos.

Sistemas Operacionais & Kernel

FreeBSD & CheriBSD Jails, ZFS datasets nativos, pf firewall, áudio OSS e pesquisa em hardware capabilities (CHERI)
Linux Motor universal de nuvem, observabilidade eBPF, KVM/QEMU e containers
OpenBSD Soberania de segurança, pf com modulação de estado, pledge & unveil
illumos Linhagem clássica Solaris/SunOS, Solaris Zones nativas, Crossbow e DTrace
Windows / MSYS2 Ambiente defensivo POSIX, prompt com Clink (Lua + GNU Readline) e Clang

Conteinerização & Sandboxing Soberano

Podman (Linux & FreeBSD) Daemonless e rootless no Linux, e execução nativa OCI no FreeBSD com runj (Docker Hub em Jails)
FreeBSD Jails & Bastille Isolamento clássico e leve de sistema operacional integrado ao ZFS e orquestração BastilleBSD
Incus & LXC Contêineres de sistema completos (System Containers) de alta densidade no Linux sem peso de VMs
Solaris Zones (illumos) Particionamento nativo de sistema e zonas lx-brand com contenção estrita de recursos
Docker & OCI Padrão aberto de empacotamento, distribuição e imagens reproduzíveis
Sylve & bhyve Orquestrador Sylve e hipervisor bhyve sobre datasets OpenZFS no FreeBSD

Linguagens Perto do Metal & Compiladores

C23 (ISO/IEC 9899:2024) Padrão moderno, nullptr, [[nodiscard]], aritmética segura <stdckdint.h>
C++23 / C++20 Concepts, ranges, tratamento monádico std::expected, std::print, RAII
Rust Borrow checker estrito, type-safety determinística, zero-cost abstractions
Zig Controle cirúrgico de alocadores manuais, comp-time e sem custos ocultos
Go Concorrência com goroutines/channels, compilação estática em binário único
Assembly & Hardware Instruções x86_64 e AArch64, registradores, ABI e fundamentos de VHDL / FPGA

Bancos de Dados & Armazenamento

SQLite (WAL Mode) Monólito pragmático e sem preconceito: ultra-rápido, zero latência de rede
PostgreSQL Robustez relacional ACID estrita, índices complexos e concorrência MVCC
MySQL & MariaDB Padrão relacional canônico para alta vazão transacional
PocketBase & Let's Encrypt Backend embarcado em Go com SQLite WAL e provisionamento TLS automático nativo
OpenZFS Snapshots atômicos, datasets criptografados e proteção contra corrupção silenciosa

Computação Gráfica, GPU & Áudio

SDL3 (SDL_GPU & SDL_Audio) Fundação canônica de baixo nível, pipelines modernos de GPU e streams de áudio consistentes
NVIDIA CUDA Computação massiva paralela em GPU (GPGPU), warp execution e memória compartilhada de alta vazão
WebGPU & QRhi Pipelines gráficos modernos, compute shaders e abstração unificada de hardware gráfico
OSS vs ALSA & Audio Filosofia UNIX pura (/dev/dsp sem overhead no OSS) vs ecossistema ALSA no Linux e SDL_Audio
Dear ImGui & Tooling (GLFW3 / GLAD) Interfaces imediatas para instrumentação e debug, janelamento GLFW e loaders de extensões GLAD
OpenGL, OpenCL & OpenAL Marcos formativos e legados históricos preservados da computação gráfica 3D, GPGPU e áudio espacial

Frontend Compilado & Ecossistema Web

Svelte 5 Reatividade baseada em runes ($state, $derived), sem overhead de virtual DOM
SvelteKit Estático Compilação Ahead-of-Time para HTML/CSS/JS puros e distribuição soberana
Vite Pipeline de build ultra-rápido e hermético para desenvolvimento e produção
Caddy Web Server Servidor web em Go de alta performance com HTTP/2, HTTP/3 (QUIC) e zstd nativos

Editores Soberanos & Shells

Suíte de Editores Helix, Neovim, Vim, GNU Emacs 30+ (Elpaca/Tree-sitter) e VS Code
Shells UNIX zsh, bash, ksh e baseline rigoroso FreeBSD /bin/sh (POSIX.1)
Shells Alternativos PowerShell (pwsh), NuShell e cmd/clink no ambiente Windows

IA Assistiva, Método Socrático & Governança

Antigravity Suite Antigravity CLI (agy), Antigravity IDE, Antigravity 2.0 e Python SDK
Método Socrático com IA Questionar tudo perpetuamente: nunca aceitar como verdade sem 100% de prova
Portable AI Skills Runbooks cognitivos portáteis em .agents/skills/ e Profile/skills/
AGENTS.md & PRINCIPLES.md Governança viva, regras de ouro e 22 princípios de engenharia canônicos

Projetos em Destaque

Projetos autorais, pesquisa acadêmica e utilitários de alta performance.

Servidor HTTP Berkeley Sockets (C23)

Servidor web concorrente implementado do zero em C23 explorando primitivas puras de File Descriptors (kqueue/epoll), IPC e multi-processamento defensivo POSIX.1.

C23POSIX.1Berkeley SocketskqueueMulti-Process

Standard BSD Library (SBL)

Implementação defensiva de bibliotecas de sistema BSD em C23 moderno com compilação hermética bmake, libc limpa e ausência total de comportamentos indefinidos.

C23BSD 3-ClausebmakeFreeBSDPOSIX.1-2024

RNG Engine & Computação Gráfica

Motor gráfico autoral e laboratório de renderização moderna perto do metal com SDL3, pipelines SDL_GPU e computação visual via WebGPU e OpenGL.

C/C++SDL3SDL_GPUWebGPUOpenGLShaders

Sovereign WebGPU Chat (Client-Side AI)

Inferência local na GPU via WebGPU e WebLLM sem servidores na nuvem: Qwen 3.5, DeepSeek R1, Phi-4 e Ministral 3 com streaming, telemetria em tempo real e raciocínio analítico <think>.

WebGPUWebLLMWASMClient-SideQwen 3.5DeepSeek R1Phi-4Ministral 3

OptiLaser — Motor Logístico VRPTW

🔒 Privado

Plataforma comercial de roteirização ótima de veículos com janelas de tempo, controle de disparos a laser e painel de controle operacional em tempo real.

GoGoogle OR-ToolsPocketBaseSvelteKitPodman

Network Flows (UFABC / PIBIC)

Pesquisa acadêmica em Otimização Combinatória: algoritmos para Fluxo Máximo e Fluxo de Custo Mínimo, implementações de alta fidelidade em C++23 e benchmarks DIMACS.

C++23Teoria dos GrafosDIMACSLaTeXPIBIC / UFABC

Finalista Nacional ICPC 2026 & GRUB

Treinamento algorítmico intensivo para a Final Nacional da Maratona de Programação SBC / ICPC 2026 com a equipe GRUB da UFABC e CLI autoral de maratonas cpt.

C++23ICPC 2026CodeforcesAlgoritmosUFABC GRUB