io_gabx
City:
Job:
In a relationship:
Best friend:
Politically:
green: confident, yellow: guess, red: uncertain
Inactive followers? Check yours!
Fake/Bot followers? Check yours!
sponsored by Circleboom
Strengths and Weaknesses
Strengths:
- Community-oriented: Frequent calls for participation and promotion of teammates, e.g., urging others to join the compiler competition and sharing a teammate’s open‑to‑work post.
- Enthusiastic: Excited announcements like “GALERA FECHAMOS A RINHA DE COMPILADORES COM 192 PARTICIPANTES” and “primeira talk tecnica!!”.
- Technical depth: Discusses dependent types, type checking, Rust/OCaml, and publishes blog posts on advanced topics.
- Initiative: Creates Discord server, publishes specs, extends competition deadlines, and writes new language concepts like "zu language".
- Humorous: Uses memes, playful language, and jokes (e.g., “vai se fode”, “penis, verde e amarelo”) to engage followers.
Weaknesses:
- Profane language: Regular use of profanity and vulgar phrases in tweets, such as “vai se fode” and “caralho morri de enxaqueca”.
- Disorganized posts: Many tweets consist only of a picture or vague comment without context, making information hard to follow.
- Inconsistent planning: Ad‑hoc deadline extensions and missed version updates, e.g., extending the competition deadline and forgetting to bump version before publishing.
- Limited audience: Predominantly Portuguese content and heavy slang restricts reach to international developers.
- Neglectful documentation: Complaints about publishing processes and vague instructions, such as “pq eh tao chato publicar no sonatype,” indicate lack of clear documentation.
Your Simpsons character
Lisa Simpson
The user’s passion for logic, dependent types, and formal proofs mirrors Lisa’s love for learning and intellectual pursuits, as seen in the tweet "primeira vez que eu implemento um type checker dependente from scratch". Their frequent sharing of technical resources and community organization, like announcing the compiler competition and linking to blog posts ("Hi, Ricardo Pieper posted a cool blogpost about rinha de compiladores and optimizations, if you have a free time you can take a look at…", "Gente, a rinha de compiladores está publicada…"), reflects Lisa’s proactive involvement in school projects. The occasional emotional outbursts and frustration, such as "caralho morri de enxaqueca o dia inteiro" or "esto triste teve um endpoint q por algum motivo não roda no meu local", echo Lisa’s moments of stress when dealing with challenging schoolwork. The user’s mix of earnest enthusiasm and occasional profanity (e.g., "vai se fode") shows a rebellious streak similar to Lisa’s occasional defiance against authority. Overall, the combination of high intellectual curiosity, community leadership, and teenage angst aligns best with Lisa Simpson.
Your MBTI personality Type
ENTJ
The user shows strong extraverted behavior, frequently engaging the community, e.g., "Gente, vamos prolongar por mais 2 dias o prazo de fazer alterações na rinha :) fiquem à vontade até daqui 2 dias cc @rinhacompilador". They focus on abstract, future‑oriented concepts such as "primeira vez que eu implemento um type checker dependente from scratch" and "zu language, its a language that im focusing to be like rust. but dependently typed :)", indicating an Intuitive preference. Their decision‑making is logical and based on specifications, as seen in "as specs e os requisitos estão lá, ainda terão alguns ajustes futuramente de como rodar e como vai ser automatizado" and the analytical question "what's the advantages of using closures instead of hoas?". They exhibit a Judging style by setting clear deadlines and organizing events, for example "o prazo é até 23/09" and "Gente, a rinha de compiladores está publicada, basicamente, as instruções estarão em .". These traits together match the ENTJ personality type.
Some pickup lines for you
- Are you a dependent type checker? Because every time I look at you, my heart's type gets inferred as 'Love' without any constraints.
- I just entered the rinha de compiladores, and guess what? My feelings for you compiled with zero warnings and ran at lightning speed.
- If our love were an OCaml module, I'd functor you into my heart's signature and let the compiler prove it's a perfect match.
- Your Rust code might have strict borrowing rules, but with you I feel like I can take ownership of your heart without any lifetime errors.
- I heard you're crafting the zu language—how about we write a monadic love story together, where the only side‑effect is you smiling?
Your 5 Emojis
Your new Twitter bio
19-y/o compiler enthusiast who organized a 192-person code battle; OCaml & Rust fan, type-system tinkerer, formal-proof lover.– @io_gabx
Your signature cocktail
Rinha Reactor
The Rinha Reactor captures Gabrielle's Brazilian roots and her love for functional languages by blending cachaça, a Brazilian spirit, with gin, echoing OCaml's clean syntax. The orange bitters give a sharp bite that recalls her frequent exclamation "vai se fode" (tweet) and the occasional frustration of debugging. A frothy egg‑white top represents the layered complexity of her dependent type checker, as she proudly wrote "primeira vez que eu implemento um type checker dependente from scratch" (tweet). Lime juice adds the zest of logic and proof, mirroring her enthusiasm for "type system" and "formal proofs" in her bio. Finally, the name "Rinha Reactor" honors the "rinha de compiladores" community events she constantly promotes, like "Gente, a rinha de compiladores está publicada" (tweet).
Your Hogwarts House
Ravenclaw
Gabrielle’s bio says she likes logic, dependent types, math and formal proofs, showing a strong thirst for knowledge. She proudly tweets "primeira vez que eu implemento um type checker dependente from scratch," highlighting intellectual curiosity and a desire to master complex concepts. Her technical posts like "I have published a new blog post about GATs in rust" and "coding type system without monads is sick" demonstrate a clever, scholarly mindset. While she also supports the community, the dominant pattern is a pursuit of learning and wisdom, which aligns with Ravenclaw values.
Your movie
Your song
We Are the Champions - Queen
The song "We Are the Champions" captures Gabrielle's competitive spirit and perseverance in the compiler challenge. They celebrate victories like 'GALERA FECHAMOS A RINHA DE COMPILADORES COM 192 PARTICIPANTES!!!!!!' and announce 'A GENTE PASSOU', echoing the anthem's triumphant chorus. Their tweets also reveal the grind of building type systems, e.g., 'primeira vez que eu implemento um type checker dependente from scratch', reflecting the line 'We will keep on fighting till the end.' The refrain about staying champions matches their frequent updates on progress and setbacks, such as 'i hate these headaches' and 'caralho morri de enxaqueca', showing resilience. Overall, the mix of triumph, struggle, and community celebration fits the classic anthem.
Your time travel destination
Your video game
Your spirit animal
Your (un)funny joke
Your superpower
Your fictional best friend
Your dream vacation
Your alternate career path
Your celebrity match
Did you enjoy your Horoscope?
Your horoscope is 62 days old! Generate a better one from your latest tweets, unlock more insights and use a smarter pro AI!