Information Systems undergraduate at UFMG, Brazil. I work on the limits of methods: when a compressed network's accuracy can be certified and when mined data is unfit to train on.
Two 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.
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.