Gabriela Moreira

Mastodon @bugarela@types.pl

⚔ Compare ☆ Watch Own this channel?

🔄 Data last refreshed 3 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 analysis for Gabriela Moreira

🕵️ Fake follower check 📊 Engagement rate 💰 What they charge

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

Avg engagement / post

1.7%

Engagement vs followers

Nov 2022

On Mastodon since

🔥 Top post: Happy Pi Day! This is a picture of my bedroom wall back when I s · 8 likes + reposts

📊 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

80/100

Excellent Credibility score

97%

Real Real audience

Low Fake-follower risk

High Data confidence

Est. 97% real, active audience · Low fake-follower risk.
Strong engagement (~1.7% of followers engage each post) — an active, real audience.
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.

Zon Orti 14%

Eric Walkingshaw 13%

Raymond 12%

Eric Schiller (he/him) 12%

Jessie Grosen 10%

Kallisti 10%

More like this

@kallisti@infosec.exchange

115 Followers

Mastodon

Raymond ✓

@isadisplayname@mathstodon.xyz

115 Followers

Mastodon

Eric Schiller (he/him)

@triplee@hachyderm.io

115 Followers

Mastodon

Zon Orti ✓

@zonorti@hachyderm.io

115 Followers

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

Gabriela Moreira

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

✉ Message Gabriela Moreira

🎤 Event / appearance with Gabriela Moreira