Assistant professor @ UMass Boston | https://cogumbreiro.github.io/ | Faial is a verifier for #CUDA and #WebGPU written in #OCaml https://gitlab.com/umb-svl/faial Personal page: #ocaml #roqc
One Professor, Many Codes: The Digital Life of Tiago Cogumbreiro
From OCaml to Steamdeck, Tiago's posts are a delightful mix of academia and gaming aspirations.
If academic research were a video game, Tiago would be at the final boss level, wielding a Steamdeck and a compiler.
"Key Topics
What's On Your Mind? 🤔
Your content DNA, decoded
Your Top Topics
Tiago loves OCaml like a cat loves sunbeams—it's where he thrives and purrs at the complexities of type inference and static verification.
With a flair for GPU programming and visualizations, Tiago teaches like a hip professor from a sitcom who is also a cool tech wizard.
Every post about 'better loop summaries' feels like a battle cry for nerds everywhere—he fights the good fight against inefficiencies with the zeal of a superhero.
Writing Style
Tiago's posts read like a stimulating conversation at a coffee shop, where the barista is also a computational theorist—dense, engaging, and occasionally sprinkled with excitement over new projects.
Thought Leader Score
75%The Real You™ 🎭
Your online personality exposed
Your Vibe
The Academic Gamer
Keeping It Real Score
87%Main Character Energy
- Passionate about OCaml
- Loves programming challenges
- Balances academia with personal interests
Secret Powers
- ✨Translating TLA+ specs into ASCII
- ✨Creating DSLs in Lean4
- ✨Baking learning into fun
If you were an AI...🤖
Are you just a GPT wrapper?
Training Data
Complex programming concepts, LaTeX documents, and gaming philosophies.
Prompt Engineering
Translate academic language into casual banter while invoking the excitement of video games.
Model Behavior
Engages in enthusiastic discussions about programming while inserting gaming references.
Token Count
1500
tokensDating App Edition💝
Your profile in swipe-speak
Bio
"Passionate about OCaml and gaming. Seeking someone who appreciates complex algorithms, loves learning, and might just indulge in a bit of nerdy procrastination with me!"
Red Flags
- 🚩Slightly obsessed with programming languages
- 🚩May discuss LaTeX formatting at dinner
- 🚩Steamdeck often mentioned in every conversation
Green Flags
- ✅Deep knowledge of niche programming languages
- ✅Can turn complex topics into relatable humor
- ✅Loves sharing learning experiences
Perfect Match
A fellow nerd who can enjoy both academic debates and late-night gaming sessions!
- 🎯
AI Demo Apps
10+ ready-to-use AI demo applications for text, image & chat
- ⚡
Modern Stack
Next.js 14, TypeScript & Tailwind
- 🤖
AI integrations
OpenAI, Anthropic, Grok, Replicate & more
- 🛠️
Full Infrastructure
Auth, database & payments included
- 💎
Premium Design
Beautiful UI components included
- 🛡️
Enterprise Ready
Auth, API routes & database included
Squad Check🌟
Your social vibe analysis
Role in Community
The Go-To Guru for Programming Queries
Conversation Style
Engages like a friendly professor who just discovered the internet, bringing everyone in for a group hug around a codebase.
Impact Assessment
His posts elevate community discussions from the mundane to the moderately thrilling, filling the void between academia and casual banter.
TL;DR Version⚡
Your profile in a flash
One Professor, Many Codes: The Digital Life of Tiago Cogumbreiro
From OCaml to Steamdeck, Tiago's posts are a delightful mix of academia and gaming aspirations.
Vibe Check
"If academic research were a video game, Tiago would be at the final boss level, wielding a Steamdeck and a compiler."
Spice Level Check🌶️
The saucy details
Gentle Roasts
- 🔥Every time you mention a 'better loop summary,' I just picture a loop throwing a tantrum because it wasn't optimized.
- 🔥You bought a Steamdeck and now think research can be gaming? Welcome to the world of 'academic procrastination'!
- 🔥Your posts are like a TLA+ spec: impressive, detailed, and probably written to impress just a few specialized friends.
Quirky Challenges
- 😅Needs to balance academia with an occasional cat meme; even professors need some lightheartedness!
- 😅Might want to consider discussing non-programming hobbies—like baking banana bread, perhaps?
Main Character Moments
- ✨Realizing that even a 13-page LaTeX document can be converted by ChatGPT—it’s the digital world’s version of an academic miracle!
- ✨Playing with Lean4 macros as though they were action figures—seriously, who’s getting the sequel?
Level Up Zone📈
Your character progression
Hidden Potential
You have the potential to be the internet's most beloved coding professor—imagine a YouTube channel where you combine gaming and programming tutorials!
Unique Advantages
- 💎Deep knowledge of niche programming languages
- 💎A knack for engaging educational content
- 💎Ability to connect complex topics with relatable humor
Level Up Suggestions
- 🚀Maybe tackle the world of educational memes?
- 🚀Collaborate on gamifying computer science education—it’s a goldmine!
Crystal Ball Time🔮
Your future, decoded
Next Evolution
Expect Tiago to break the internet when he drops his first collaborative coding tutorial featuring the Steamdeck and OCaml—the ultimate fusion!
Potential Superpower
The uncanny ability to explain complex algorithms while simultaneously navigating a video game—educators may bow down!
Future Community Role
As a coding professor, he’ll transform into the community’s favorite nerdy uncle who throws wild coding parties on weekends.
Your Character Build🎮
If life was an RPG...
Class
Chaotic Academic Gamer
Special Abilities
- ⚔️OCaml Wizardry
- ⚔️Steamdeck Sorcery
- ⚔️LaTeX Alchemy
Weaknesses
- 💀Over-Optimization Syndrome
- 💀Nerdy Obsessiveness
- 💀Inability to use memes
Quest Line
To merge the realms of gaming and academia while battling the forces of boring computer science.
Down the Rabbit Hole🕵️♂️
Your conspiracy detector
Main Theory
The Steamdeck is secretly a government device designed to keep professors from grading papers.
Evidence Board
Multiple sightings of professors using Steamdecks during lectures; too many examples of gaming jargon sneaking into academic papers.
Secret Society
The Order of Academic Gamers—where we verify research while playing CoD and drinking overpriced coffee.
Truth Seeking Level
67%Multiverse You🌌
Your variants across platforms
Reddit Moderator Of
r/r/AcademiaGaming
Twitter Main Character
Debate over whether video games contribute to academic procrastination ends with Tiago creating an educational game.
LinkedIn Title
CEO of Gamified Education, specializing in integrating gaming into programming curriculums.
Metaverse Final Form
A digital avatar that teaches coding while swinging a lightsaber and solving puzzles.
- 🎯
AI Demo Apps
10+ ready-to-use AI demo applications for text, image & chat
- ⚡
Modern Stack
Next.js 14, TypeScript & Tailwind
- 🤖
AI integrations
OpenAI, Anthropic, Grok, Replicate & more
- 🛠️
Full Infrastructure
Auth, database & payments included
- 💎
Premium Design
Beautiful UI components included
- 🛡️
Enterprise Ready
Auth, API routes & database included
Time Machine⏰
Your digital time warp
Web 1.0 Profile
MySpace Era
Custom profile with a playlist of video game soundtracks and an animated OCaml logo in the background.
Web3 Destiny
Leading a decentralized education platform that teaches programming through immersive gaming experiences.
Future Post
Just finished a game that teaches parallel programming! Who's ready to level up their coding skills?
The Final Take🎬
Wrapping up your story
Key Strength
Your ability to blend personal interests with academic prowess is commendable.
Charming Quirk
You have a knack for turning technical jargon into approachable, fun posts—who knew coding could be entertaining?
Final Encouragement
"Keep blending those code snippets with glimpses of your life—you're on the path to becoming the next big thing in academic gaming content!"
Must-See Profiles
Unfollow.blue 💙
@unfollow.blue
The Unfollow Advocate: Master of Bluesky Connections
Lewis
@lead.dev
Lewis: The Bluesky Businessman Navigating Sales and SaaS Like a Pro
Sean
@seanqsun.com
Sean: The Indie Game Evangelist with a Side of IKEA Humor
Richard Delevan
@delevan.bsky.social
Richard Delevan: The Climate Crusader Who Gets More Likes Than a Cat on a Roomba
IAmCougarCurves
@iamcougarcurves.bsky.social
CeeCee: The Queen of the Titty Club and Heart of Bluesky
Ndeye Fatou Diop
@ndeyefatoudiop.bsky.social
Navigating the Frontend Jungle: Ndeye Fatou Diop's Guide to Surviving Developer Anxiety
Andrew Gross
@ahgmem.bsky.social
Doomer with a Heart: The Cat-Dad Chronicles of Andrew Gross
What is Bluesky Roast?
Bluesky Roast is an AI-powered tool that analyzes your Bluesky presence and turns it into a hilarious roast. With millions of users sharing content daily, I thought it would be fun to add some humor to social media analytics.
The AI combines advanced language models with comedy writing techniques to create personalized, witty observations about your posting habits, interactions, and overall Bluesky personality.
I'm Fekri, and I built Bluesky Roast to make social media analysis more entertaining. When I'm not building fun AI apps, I'm helping founders and developers build their own AI-powered products. If you'd like to know more about that, feel free to check out AnotherWrapper.com for more information!
Previous Roasts
Morten Myksvoll
@mortenmyksvoll.bsky.social
Morten Myksvoll: The Political Commentator with a Goal-Scoring Sense of Humor
subtextual tragic lesbianism
@reki.gay
The Melodrama of Reki: A Gay Roomba in a Sea of Bluesky Babble
Mr Midas
@mrmidasgames.bsky.social
Mr. Midas: Gaming’s Golden Touch & RGB Royalty
Eivind Hauger
@ehauger.no
Eivind Hauger: Master of Quips and Enthusiast of Everything
TB
@tbjohnson48.bsky.social
TB: The Bookish Meme Lord of Bluesky
Josefine
@josefine.bsky.social
Josefine: The Literary Avenger of Bluesky
Ḩ̶̳̣̮̻̪̜͍̹̭͓͍̳̼̈́̅́̄̍̀͐́̊̽͌̊̂͂͠͝͝I̸̡̛̳͌̉͋͐͒̍M̴̨̦͓̰̌͆̉̃̄͆͜ͅ.
@rakuneuereal.bsky.social
The Enigmatic Eccentric of Bluesky
[MOB]Card 🔞
@cardmob.bsky.social
Bluesky's Fandom Sage of NSFW and Cuteness
Carol
@carol16.bsky.social
Mystery Aficionado Carol: A Study in Heartstrings and Humor
Eduardo de Sistemas
@edusinho.bsky.social
Eduardo de Sistemas: The Java-Juggling Enigma of Bluesky
Akira
@akirrrra.bsky.social
Akira: The Artistic Pacifist with a Taste for Chaos
@larsihaug.bsky.social
Larsihaug: The Football Philosopher with a Side of Snark
Dimi
@d-aiello.bsky.social
Dimi: The Bluesky Sage with a Side of Sass
Olav
@olavskonto.bsky.social
Olav: The Social Media Sage of Norway
Jørn Kløvfjell Mjelva
@jkmjel.no
Jørn Kløvfjell Mjelva: The Philosopher-King of Drug Reform Twitter
BearDunOfficial ➡️ TBRU
@beardunofficial.bsky.social
Bear Necessities: A Glimpse into BearDunOfficial's Wild World
nana ♡
@sweethweart.bsky.social
The Sweetest Rambler on Bluesky
lucas
@lucasnassa.bsky.social
Lucas: The Bluesky Meme Machine
Penultiverse Official
@penultiverse.bsky.social
Welcome to the Penultiverse: Where Every Post is a One-Act Play!
Cknossian
@cknossian.bsky.social
Cknossian: The Reddit-Resistant Renaissance Artist