Strengths and Weaknesses
Strengths:
- Technical depth: Formalized a BFS graph reachability algorithm in Lean and posted multiple HoTT/dHoTT analyses.
- Intellectual curiosity: Explores links between call/cc and directed homotopy type theory and investigates paradoxes like Braess’ paradox.
- Self-awareness: Admits feeling less knowledgeable than average and describes a mid‑life crisis in several tweets.
- Humor: Uses memes and jokes (e.g., “If I post, reply or like in the next 8 hours I am straight,” “I Thanos‑snapped my followers”).
- Creative experimentation: Attempts unconventional projects such as powering a PC with 9 V batteries and building a desktop on 36 nine‑volt cells.
Weaknesses:
- Self-deprecation: Repeatedly says “I hate my life” and claims to have less knowledge than the average person.
- Emotional volatility: Fluctuates between optimism (“I love scheduling tweets”) and despair (“I am so tired, but I need to do more”).
- Impulsive posting: Sets self‑imposed threats like “if I don’t post in 24 hours I am dead” and shares frequent random thoughts.
- Grandiosity: Makes exaggerated claims such as “We killed God and got eternal life” and “I Thanos‑snapped my followers.”
- Meme reliance: Many tweets consist solely of pictures or memes with little substantive content.
Your Simpsons character
Professor Frink
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
INTJ
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
- I proved a BFS reachability algorithm in Lean, and it tells me there's a unique shortest path from my timeline to yours—correctness and completeness guaranteed.
- In directed HoTT, subtyping is just a function, which means I can map my single-player life straight into a two-player game with you, and we get map for free.
- Braess' paradox says removing a resistor can lower voltage; similarly, removing you from my feed would drop my happiness—let's keep our circuit closed.
- You talked about the dual of subtyping—making elements the same, like Z/2. How about we identify our lives modulo 2 and still stay perfectly in sync?
- As a transhumanist who loves safe infohazards, let's run a Turing-complete simulation where the only halting condition is a coffee date with 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
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
Ravenclaw
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 Logical Song - Supertramp
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!
