Information Systems undergraduate at UFMG, Brazil. I work on the limits of methods: when a compressed network's accuracy can be certified, when a retrieval pipeline should refuse to answer, and when mined data is unfit to train on.
Three independent projects, each written up as a preprint. All of it ran on one 6 GB consumer GPU, with no cluster and no lab allocation. Drafts on request.
No bound computed at the trained weights can certify what low-rank truncation does to accuracy, and the impossibility is quantitative rather than a disjunction. Matching Θ(N) query bounds for certification, which rules out accuracy-certified branch-and-bound.
Under aggressive truncation the ranking of activation functions reverses, so picking one by uncompressed accuracy does worse than picking at random. Training under a rank constraint beats truncating afterwards in 60 of 60 configurations.
Two pre-registered abstention signals built from the retrieval score distribution alone, with no supervision and no second model. AUROC 0.70 to 0.81, transferring unchanged to three BEIR benchmarks including one outside the source domain.
Undergraduate thesis in progress: a tutoring architecture grounded in Universal Design for Learning, advised by Prof. Ana Paula Couto da Silva.
The forks in this account exist because of these.
| project | stars | contribution |
|---|---|---|
| huggingface/transformers | 165k | merged · 29 forward() methods returning a bare tensor under a tuple annotation, found by a runtime audit of 76 candidates rather than a static scan |
| python/cpython | 76k | under review · two spurious RuntimeWarnings in site.py, traced by bisecting five releases |
| ollama/ollama | 180k | issue, fix open · /api/generate ignores think: false while the chat endpoint honours it |
| qdrant/qdrant-client | 1.3k | PR and 3 issues · one closed by a maintainer's fix that adopted the diagnosis in the report |
| terryyin/lizard | 2.5k | merged · PEP 695 functions read with the name ] and zero complexity, affecting 5.7% of the functions in home-assistant/core |
RiceOs: a complete Wayland desktop environment with Hyprland,
a hand-built QML shell on Quickshell, GLSL shaders, and a local LLM wired into the workflow.
Linux-Commands: an interactive shell in C that walks
a raw ext2 image, parsing the filesystem by hand.
mastermind-udp: a binary protocol over UDP with its
own checksum and stop-and-wait retransmission, tested through a fault-injecting proxy.
From Zero to SPCA: a
five-part walkthrough building to branch-and-bound for Sparse PCA from first principles.