Gabriela Moreira Add us as a preferred source on Google

Mastodon @bugarela@types.pl

⚔ Compare ☆ Follow Own this channel?

🔄 Data last refreshed 22 hours ago

🤝

Make a deal with Gabriela Moreira

🔒 Paid proposals held safely in escrow — released only when the work's approved.

Followers

115

Account age

3 yrs

🎁 Free analysisfor Gabriela Moreira

🕵️Fake Followers CheckReal-audience % & bot risk→ 📊Engagement rateBenchmarked vs. peers→ 💰What they chargeFair sponsored-post price→

Known for

Happy Pi Day!
This is a picture of my bedroom wall back when I still lived with my parents. I made this with my cousin by cutting some old magazine pages.
I always enjoyed memorizing numbers and got really into it after a Pi competition in my high school where whoever could say more digits from Pi from memory would win. They didn't let me finish, as I had about 400 digits in my head 😅. People use

8 views Happy Pi Day! This is a picture of my bedroom wall back when I still lived with my parents. I made this with my cousin by cutting some old magazine pages. I always enjoyed memorizing numbers and got really into it after a Pi competition in my high school where whoever could say more digits from Pi from memory would win. They didn't let me finish, as I had about 400 digits in my head 😅. People use

My team and I wrote another technical blog post, this time on the message soup technique for modeling message exchange in a more abstract way.
We applied this technique to a real use-case and observed many benefits.
It is already common practice in the formal methods world to use this technique, but this post explains both the technique and why we need it, with concrete numbers for comparison.
Re

1 views My team and I wrote another technical blog post, this time on the message soup technique for modeling message exchange in a more abstract way. We applied this technique to a real use-case and observed many benefits. It is already common practice in the formal methods world to use this technique, but this post explains both the technique and why we need it, with concrete numbers for comparison. Re

📊 Post engagement

📊 Activity & format

Posting cadence

0.29 / week

A lower-frequency account — each post lands with more weight.

Content mix

Mostly text

Recent: 9 text · 3 image · 0 video.

Follower / following

0.8×

Follows 146 back. A more reciprocal / networked account.

Recent posts

View on Mastodon ↗

🔥 Top post Happy Pi Day! This is a picture of my bedroom wall back when I still lived with my parents. I made this with my cousin by cutting some old magazine pages. I always enjoyed memorizing numbers and got really into it after a Pi competition in my high school where whoever could say … ★ 8

My rage against the algorithm™️ just leveled up as I realized that, since the LinkedIn algorithm explicitly incentivizes you to make comments (on top of writing posts every week) to keep engagement with your profile (which might be importa… ★ 1 RE: https://social.lansky.name/@hn50/116380513697062797 Weekend plans: play with D&D and Quint. This is super cool!!! ★ 1 RE: https://social.lansky.name/@hn50/116216916016166852 Quint got front page on Hacker News this week 💜 ★ 2 I'm starting to feel/hear some weird knee stuff when I stand up to fast, and also struggling to find songs that I like in the new pop releases playlists. I don't want to think these two things are related. ★ 2 We just released Quint Connect, a Rust lib for Model-Based Testing, and I wrote a blog post about it: https://quint-lang.org/posts/quint_connect ★ 4 Earlier this year, I recorded a video about Quint in a castle, in Dublin, by a fireplace. This just came out and I'm so happy with the results!! https://www.youtube.com/watch?v=_3CBBJqtGuc ★ 1

am I crazy or is this website using image versions of the most important information (which one is correct and which is a misspelling) to avoid being scrapped by AI and have people not have to open the actual page? The internet is getting …

My team and I wrote another technical blog post, this time on the message soup technique for modeling message exchange in a more abstract way. We applied this technique to a real use-case and observed many benefits. It is already common p… ★ 1 My colleague Josef and I just posted a blog and I really love this one! Inductive invariants are so exciting for some reason, feels like I'm using some parts of my brain that I don't normally get to use much 😅 Also, Josef is great at expl… I've set up a blog for Quint so we can post very technical stuff as much as we can :D And the first post is out: http://bit.ly/4lZHGEA ★ 1 Sometimes I stare at the computer while thinking about random stuff, and sometimes I doom scroll while thinking about work (I'll never be able to work in an office again) ★ 2

🐘 Community & instance

Home server

types.pl

Their home server on the fediverse — the instance a creator picks signals the community they belong to.

On Mastodon since

Nov 2022

Joined in the Twitter-exodus wave of late 2022 — part of the migration that made Mastodon a real destination.

💡 Facts

🗓️Joined Mastodon in 2022 — 3 years ago.

👁️Averages 2 views per post.

📤Posts about 0.3× per week.

🕵️ Fake follower check

Estimated

66/100

Good Credibility score

89%

Real Real audience

Low Fake-follower risk

High Data confidence

Est. 89% real, active audience · Low fake-follower risk.
Engagement (~1.7% of followers engage each post) is around typical for Mastodon.
Established account (3+ years old).

Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.

About

Programming languages and formal methods. Building Quint at Informal Systems.

📸 Gallery

🔀 Audience overlap

Estimated

Estimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.

Vincent Tourraine 17%

Guido Lehwalder 17%

Karis-Janken 13%

Arne Leisner 11%

Ole Thorben Buschhüter 10%

zai 10%

More like this

Find more →

Mastodon ＋

Vincent Tourraine ✓

@vtourraine@techhub.social

Ole Thorben Buschhüter

@guidol70@mastodon.online

@aleisner@norden.social

115 Followers

Frequently asked questions

How much does Gabriela Moreira charge for a sponsorship?

Gabriela Moreira hasn't published fixed prices yet. Send a proposal through SocialDB and agree terms directly — your payment is held in escrow until the work is approved.

How do I contact Gabriela Moreira for a brand deal or collaboration?

Send a paid deal or collab request right here on SocialDB — we notify Gabriela Moreira, and once they accept, your payment is held safely in escrow and released when the work is approved. You don't need to track down an email.

How many followers does Gabriela Moreira have?

Gabriela Moreira has 115 followers on Mastodon.

Auto-generated from Mastodon's public data — no affiliation with or endorsement by SocialDB. Is this you? Claim it · Remove

Gabriela Moreira Add us as a preferred source on Google

Make a deal with Gabriela Moreira

Known for

📊 Post engagement

📊 Activity & format

Recent posts

🐘 Community & instance

💡 Facts

🕵️ Fake follower check

About

📸 Gallery

🔀 Audience overlap

More like this

Frequently asked questions

✉ Message Gabriela Moreira

🎤 Event / appearance with Gabriela Moreira