
Strengths and Weaknesses

Your Simpsons character
Professor Frink, the resident mad scientist of Springfield, best mirrors @haskallcurry. Like Frink's obsessive pursuit of cutting‑edge inventions, the user tweets about formalizing a BFS algorithm in Lean ('I formalized a simple BFS graph reachability algorithm in lean and proved correctness & completeness') and building a PC on 9‑volt batteries ('Ya boi fucking delivers: PC running on 36 nine volt batteries'). Both display a blend of high‑level technical brilliance and eccentric, self‑referential humor, evident in the type‑theory posts ('In dHoTT, subtyping is generalized to its fullest notion, namely plain old functions') and paradox jokes ('Electrical Braess' paradox'). Their philosophical, transhumanist musings ('We killed God and got eternal life in return') echo Frink's occasional existential remarks about science and the future, while the frequent meta‑challenges ('If I post, reply or like in the next 8 hours I am straight') capture Frink's quirky, lab‑coat personality.

Your MBTI personality Type
The user frequently uses self‑referential statements like “I arrive at all of my thoughts completely independently...” and rarely engages in direct conversation, indicating introversion. They discuss abstract concepts such as “Investigating a potential connection between call/cc and (directed) homotopy type theory” and “Did you know that there's a dual notion to subtyping?” showing a preference for intuition over concrete details. Their tweets often focus on logical analysis, e.g., “Not all equalities are created equal. Some are more equal than others” and “In HoTT, the computation rule … is inconsistent because equivalences need not be computationally bijections,” suggesting a thinking orientation. They show a strong preference for planning and structure, as seen in “I love scheduling tweets! Clicking the schedule button is like planting a seed…” and “If i don’t post in the next 24 hours i am dead,” indicating a judging mindset.

Some pickup lines for you

Your 5 Emojis
Your new Twitter bio
Lean formalizer & puzzle geek who proved BFS correctness in a tweet and once tried powering a PC with 9V batteries. HoTT explorer.– @haskallcurry

Your signature cocktail
Curry's Paradox captures the user’s love for deep logical puzzles, echoing the classic self‑referential paradox that shares their handle. The gin represents the functional core of their programming mind, while the Aperol adds a bitter, paradoxical twist, and the absinthe hints at the “spiritual ultrafinitism” they joked about, as in "The cloudflare bug was actually caused by the spiritual ultrafinitism of programmers". Fresh lemon juice brings the sour truth that "The universe favors Truth, not logical arguments", while honey syrup smooths the moral utility they celebrate: "But look how much utility virtue ethics generates!". The drink’s balanced layers echo their belief that "I think eventual consistency is immensely valuable as like a personality trait", giving a harmonious finish that settles like a proven theorem. Finally, the combination of ingredients works together like subtyping in dHoTT, where "In dHoTT, subtyping is generalized to its fullest notion, namely plain old functions" and you get "map for free" on the palate.

Your Hogwarts House
John's tweets constantly showcase a love of learning and intellectual curiosity, such as "I formalized a simple BFS graph reachability algorithm in lean and proved correctness & completeness" and "Investigating a potential connection between call/cc and (directed) homotopy type theory." He enjoys puzzles and theoretical discussions, evident in "I completed snakebird, lovely puzzle game" and "In dHoTT, subtyping is generalized to its fullest notion, namely plain old functions." He also values wisdom and philosophical reflection, e.g., "Stopped reading Spinoza's Ethics at axiom I (the implied relation is not well founded)" and "Why is mathematics fine tuned for life?" These traits align with Ravenclaw's emphasis on intelligence, curiosity, and the pursuit of knowledge.

Your movie

Your song
The user’s tweets show a deep devotion to logic and formal reasoning, as seen in "I formalized a simple BFS graph reachability algorithm in lean and proved correctness & completeness" and "In dHoTT, subtyping is generalized to its fullest notion, namely plain old functions." Their philosophical musings about truth versus argument – "The universe favors Truth, not logical arguments" – echo the song’s theme of being taught to think logically and losing innocence. The mix of existential gloom ("I hate my life") with a quest for systematic consistency ("I think eventual consistency is immensely valuable as like a personality trait") mirrors the song’s contrast between logical conformity and personal yearning. The title "The Logical Song" directly references their identity as a logician and type theorist.

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!
haskallcurry
green: confident, yellow: guess, red: uncertain
Inactive followers? Check yours!
Fake/Bot followers? Check yours!
sponsored by Circleboom