KleeneAlgebra
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:
- Technical depth: Posts on axiom K, inference rules, and formal methods show deep knowledge
- Community engagement: Frequent tweets, retweets, and participation in events like Lambda World
- Humorous style: Uses memes and jokes (e.g., "Powdered beer", "C language hate")
- Teaching initiative: Announces co‑hosting a liquid Haskell tutorial and offers office hours
- Analytical mindset: Questions AI authenticity, mathematical concepts, and type theory nuances
Weaknesses:
- Ranting tone: Tweets like "Nothing ragebaits me more" and "Big tech wants to make coding boring"
- Polarizing statements: Strong opinions on Rust, C, and LLMs that divide audience
- Meme overload: Many posts are picture‑only jokes with little substantive content
- Focus drift: Content jumps from formal methods to shrimp protein or pasta, showing scattered focus
- Provocative language: Frequent use of slang like "NGMI", "ragebait", and confrontational phrasing
Your Simpsons character
Comic Book Guy
The user's intense focus on formal methods, type theory, and programming language debates mirrors the know‑it‑all, geeky persona of the Simpsons' Comic Book Guy. He constantly posts condescending memes such as "I will not respond to stupid types …" and "If you can’t solve this riddle you are NGMI", which are classic Comic Book Guy style snark. His bragging about technical achievements – "I made windows task manager" and "I have a LLM that solved the Goldbach conjecture" – reflects the character’s habit of flaunting obscure knowledge. The user's strong language preferences ("Golang > OCaml", "I hate the C programming languages so much it’s not even funny") and his declaration "The computational interpretation is the only thing that matters" echo Comic Book Guy’s obsessive focus on the minutiae of nerd culture. Overall, the combination of high‑brow academic content with relentless meme‑driven sarcasm aligns best with Comic Book Guy’s archetype as the ultimate pretentious nerd of Springfield.
Your MBTI personality Type
INTJ
The user’s focus on internal thoughts and limited social chatter suggests introversion, as shown by tweets like "I will not respond to stupid types takes ..." and "I have a 1000000$ DM fee". Their frequent discussion of abstract concepts such as "The computational interpretation is the only thing that matters" and "If only cloudflare had fromJust :: {v:Maybe a | isJust v} > a" reveals a strong intuition preference. Decision‑making is clearly logical and analytical; for example, "My anti utilitarian argument is that I assign to suffering the value ω ..." and "I don’t trust nbe proofs of consistency" are grounded in rational argument rather than emotion. The structured, list‑making style of posts like "Since I don’t just want to ragebait, here’s a non exhaustive list of why we present type systems as inference rules rather than as type checking/inference algorithms: (1/n)" shows a judging orientation. Overall, the combination of introverted, intuitive, thinking, judging traits aligns best with the INTJ personality type.
Some pickup lines for you
- Are you a Kleene star? Because I could keep looping over your smile forever and still never reach a base case.
- I'd love to apply axiom K to our relationship: rewrite the distance between us to zero and prove we're logically equivalent.
- Your P = NP claim is spot-on—cracking the code to your heart is a polynomial-time problem for me.
- I built a Windows task manager, but I'm more interested in managing a thread that runs a coffee chat where we discuss LLMs, type inference, and category theory.
- My LLM solved Goldbach, yet the only unsolved conjecture left is how to get a type-checked 'yes' from you.
Your 5 Emojis
Your new Twitter bio
MSc CS @UniPadova. Type-theory nerd, PL explorer, AI tinkerer. Built a robot that serves soup. Coffee-fuelled coder, chasing liquid types. PhD hopeful.– @KleeneAlgebra
Your signature cocktail
Kleene's Lambda Libation
The cocktail, named Kleene's Lambda Libation, blends a base of gin—a nod to their love for Golang, as they famously tweet "Golang > OCaml". Dark, complex Kahlua mirrors the celebration of "Long live axiom K", reflecting their affection for formal axioms. Goldschläger’s glittering gold flakes echo the boast "I have a LLM that solved the Goldbach conjecture", tying the drink to their LLM jokes. Green Chartreuse adds an herb‑rich, intricate layer that symbolizes the depth of type theory and the belief that "The computational interpretation is the only thing that matters". A splash of lemon brightens the mix, capturing the sharp wit of their meme‑filled rant "I will not respond to stupid types …". Together the drink feels like a proof: layered, surprising, and a little intoxicating, just like their timeline.
Your Hogwarts House
Ravenclaw
The user frequently references deep theoretical concepts such as type theory, category theory, and formal methods, e.g., "The computational interpretation is the only thing that matters" and "Long live axiom K". They enjoy puzzles and intellectual challenges, as seen in "If you can't solve this riddle you are NGMI" and "If positive numbers do not contain zero why do we have the term strictly positive". Their focus on learning, curiosity, and valuing knowledge aligns with Ravenclaw’s traits of wisdom and intellect. While they show ambition for a PhD, the dominant pattern is a pursuit of understanding rather than power, fitting Ravenclaw best.
Your movie
Your song
The Logical Song - Supertramp
The Logical Song by Supertramp perfectly captures @KleeneAlgebra’s love for logic and formal reasoning, echoing their bio about "P = NP" and category theory. Their tweets repeatedly stress logical purity, e.g. "The computational interpretation is the only thing that matters" and "If it has no computational interpretation then I do not care", mirroring the song’s refrain about being taught to think logically. Their frustration with type systems – "I will not respond to stupid types" and "Nothing ragebaits me more than inference rule discourse on this godforsaken website" – reflects the song’s theme of being trapped in a logical worldview. Even their rebellious humor, like "I hate the C programming languages so much it's not even funny", fits the melancholy‑hopeful tone of the classic 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!