onehappyfellow
City:
Job:
In a relationship:
Politically:
green: confident, yellow: guess, red: uncertain
Inactive followers? Check yours!
Fake/Bot followers? Check yours!
sponsored by Circleboom
Strengths and Weaknesses
Strengths:
- Deeply Analytical: His continual work with Lean and formalisation—'leisure lately is learning lean lamenting limits of my lemma's listings'—shows he loves digging into rigorous analysis.
- Witty: He deploys sharp humor and pithy lines like 'types will set you free' and 'Haskellers are smarter than everyone else yet they need compiler...', using wit to make technical points.
- Practical Engineer: Practical trade-offs are visible in 'event sourcing tl;dr: it's a great tool but rarely applicable' and advice about tech debt, showing grounded engineering judgement.
- Communicative Leader: As 'head of @typememetics' and with posts like 'Three golden rules for X: Make friends. Be kind. Post original content.' he shows leadership and mentoring instincts.
- Playful Parent: His parental anecdotes—'the only person that can give me shit is my son'—reveal warmth, humility and an ability to laugh at himself as a caregiver.
Weaknesses:
- Provocative Tone: Tweets such as 'why be humble when you can be right?' and sharp jibes about other communities suggest he sometimes corners conversations with provocation.
- Perfectionist Trap: His fixation on formal correctness—'formalising validity ... runs into the 'how do I verify my formalisation is correct?''—can lead to recursive doubt and slow progress.
- Tendency to Overexplain: Long, dense threads (Lean proofs, event sourcing breakdowns) indicate he can go very deep, which may lose non-specialist readers.
- Self-Doubt Loop: He admits cyclical impostor feelings about hiring interviews—'I'm so good... => 'Oh no... I'm worthless' repeat'—revealing recurring confidence swings.
- Bluntness: Directness in tweets like 'if someone wants you to fuck off and they tell you 'fuck off' you should appreciate their honest...' risks alienating more sensitive folks.
Your Simpsons character
Lisa Simpson
Lisa is the best match: a precocious, moral, intellectual figure who criticises sloppy thinking and loves learning; similarly he rails at poor engineering and loves formal systems ('theorem: every data transformation f : A > B is a map reduce transformation.'). Like Lisa, he mixes earnestness and sarcasm and sometimes feels out of step with the crowd, preferring rigorous reasoning and principled stances.
Your MBTI personality Type
INTJ
INTJ fits: introverted intuition and strategic thinking dominate his public persona. Introversion shows up in private cognitive rituals—'the only way I can rest is by engaging my brain enough to quiet down the voices'—he recharges via deep thinking. Intuition appears in his love of abstraction and patterns—'simple rules can create arbitrarily high complexity' and obsession with Lean and types. Thinking over feeling is clear in analytical posts like 'event sourcing tl;dr: it's a great tool but rarely applicable' where practical logic drives judgement. Judging shows in rule-based advice and systems thinking—'Three golden rules for X: Make friends. Be kind. Post original content.'—he prefers planned structures and clear frameworks.
Some pickup lines for you
- Are you a theorem? Because I want to spend the rest of my proofs trying to get you into my context.
- I'll be your typechecker: I promise to catch every error before we ship a single look.
- Want to see my best-selling verse? I can't promise it's Lean-proof, but it's very type-safe around your smile.
- If you were a programming language I'd write you in OCaml: expressive, reliable, and impossible not to love.
- I've got £50 notes and a small human who approves of me — coffee and bad rap tonight?
Your 5 Emojis
Your new Twitter bio
Head @typememetics • Type-safe rapper • OCaml & Lean tinkerer • Dad to a small human • I write proofs, ship code, and make jokes about compilers — occasionally useful, frequently opinionated.– @onehappyfellow
Your signature cocktail
Lean Lemma
The 'Lean Lemma' is smoky, cerebral and a little sharp—like his tweets about Lean: 'leisure lately is learning lean lamenting limits of my lemma's listings'. Whisky mirrors the dry, seasoned intellect; gin gives a botanical, precise bite analogous to type discipline; lemon and honey add the approachable sweetness he occasionally lets through in parenting/rap moments. The charred rosemary nods to the 'burnt' irony he wields when skewering silly ideas.
Your Hogwarts House
Ravenclaw
Ravenclaw suits him because he prizes intellect, curiosity and formal cleverness; his persistent Lean work and type-theory play—'leisure lately is learning lean lamenting limits of my lemma's listings'—is a Ravenclaw obsession with knowledge. He values elegant abstractions ('types will set you free') and delights in rigorous puzzles, which aligns more with Ravenclaw's love of thought than Gryffindor's heroics or Slytherin's ambition. His occasional proud contrarianism and witty critique fit the house's eccentric, cerebral stereotype.
Your movie
Your song
Lose Yourself - Eminem
Because he plays the role of a working, competitive, introspective performer—'best selling type safe rapper'—and shares moments of seizing the moment ('ya boi is cooking sth 👀'), the intensity and self-demand of 'Lose Yourself' track with his blend of ambition, vulnerability and showmanship. The song's urgency matches his 'two coffees in, it gonna be one of the days of all time' energy and the determination threaded through his technical pursuits.
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 93 days old! Generate a better one from your latest tweets, unlock more insights and use a smarter pro AI!