
Strengths and Weaknesses

Your Simpsons character
Professor Frink is the Springfield resident scientist who, like Eduardo, is obsessively deep in technical theory and often talks in jargon. Eduardo’s tweet "I’m working all night today, right now finishing to distill an abstract machine from optimal NbE" mirrors Frink’s endless tinkering with complex inventions. His claim "First, I don’t need proofs, you just need to trust me bro" shows the same over‑confident, nerdy bravado Frink displays when presenting his gadgets. Both also reveal a socially awkward side, as seen in Eduardo’s "Meeting a couple bros today, so I went to the gym to get a nice pump" echoing Frink’s occasional attempts to fit in with the crowd. This blend of hyper‑intellectual focus, eccentric confidence, and occasional “bro” attempts makes Professor Frink the best match.

Your MBTI personality Type
The user shows strong introversion, often reflecting on personal work and inner thoughts (e.g., "I have over 100k LOC in markdown files. And I will never be able to tell my psychiatrist about this."). They focus on abstract, theoretical concepts such as type theory, univalence, and impredicativity, indicating a preference for intuition over concrete details (e.g., "I think my current approach works if I invoke univalence"; "This is a counting trick, rename is clearly just a beta"). Their decision‑making is driven by logical analysis and a desire for rational arguments (e.g., "Seriously, software engineers really need to learn how to reason in terms of probabilities and incentives"; "I don't believe in most conclusions of the Gödel incompleteness theorems"). Finally, they display a perceiving style, continuously exploring new ideas and postponing closure (e.g., "I have no idea how I'm going to structure everything, I already have like 50 of those"; "Starting now for the next 12h, let's try to do induction for the naturals").

Some pickup lines for you

Your 5 Emojis

Your new Twitter bio
Type theorist & language tinkerer, designing tiny cores, proving things, and bench‑pressing. Once encoded my coffee machine in Coq. #OCaml #HoTT– @TheEduardoRFS

Your signature cocktail
The Impredicative Ink mixes clean gin, a nod to his love for pure functional programming, with a splash of absinthe that embodies his anti‑floating‑point stance ("26yo anti floating point developer"). A squeeze of fresh lime juice and a dash of orange bitters give the drink a sharp, probabilistic bite, echoing his call that "software engineers really need to learn how to reason in terms of probabilities and incentives" ("Seriously, software engineers really need to learn how to reason in terms of probabilities and incentives"). The egg‑white foam on top mirrors his fascination with type‑checking and the illusion of side effects ("I don’t write code with side effects. I just replace effectful code with almost identical code that will generate instructions for the runtime to run the side effects, giving just the illusion of effectful code"). A sprig of rosemary (optional garnish) recalls his gym grind ("Meeting a couple bros today, so I went to the gym to get a nice pump"). Together, the cocktail captures his blend of rigorous theory, playful provocation, and personal discipline.

Your Hogwarts House
EduardoRFS's tweets repeatedly showcase a passion for deep intellectual challenges, such as "I think my solution is rediscovering a generalization of Hedberg's theorem" and "I'm slowly moving from 'the idea guy' of type theory to actually having proofs of stuff." He stresses the importance of rigorous reasoning, for example "Seriously, software engineers really need to learn how to reason in terms of probabilities and incentives." His skepticism toward accepted conclusions, like "I don't believe in most conclusions of the Gödel incompleteness theorems," shows a curious, analytical mind. He also mentions massive personal projects, saying "I have over 100k LOC in markdown files," reflecting a dedication to knowledge acquisition. All these traits align with Ravenclaw's values of wisdom, learning, and intellectual curiosity.

Your movie

Your song
The Daft Punk anthem 'Harder, Better, Faster, Stronger' captures Eduardo's relentless pursuit of optimality in both his research and daily life. He repeatedly talks about 'optimal NbE' and 'working all night', as in 'I'm working all night today, right now finishing to distill an abstract machine from optimal NbE.', showing a drive to make his theories as efficient as possible. His gym post - 'Meeting a couple bros today, so I went to the gym to get a nice pump.' - echoes the song's refrain about getting stronger. His stance on risk - 'We should allow people who can take risks to take more risks... you're just increasing the risks involved.' - aligns with the lyric 'work it harder, make it better', pushing boundaries. Finally, his self-reliant attitude - 'I don't need proofs, you just need to trust me bro.' - mirrors the confident, unstoppable vibe of the track.

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 63 days old! Generate a better one from your latest tweets, unlock more insights and use a smarter pro AI!

TheEduardoRFS
green: confident, yellow: guess, red: uncertain
Inactive followers? Check yours!
Fake/Bot followers? Check yours!
sponsored by Circleboom