ℹ️ This listing was auto-generated from Mastodon's public data. Beta Ziliani :crystal: 🏳️🌈 hasn't claimed it, and it doesn't imply any partnership with or endorsement of SocialDB.
Is this you? Claim it · Request removal (free).
🤝
Make a deal with Beta Ziliani :crystal: 🏳️🌈
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
290
Account age
4 yrs
💰 Suggested sponsorship rate
$40 – $65 / sponsored post
Estimated from audience size & typical reach — every deal is negotiable and held in SocialDB escrow.
🧰 Free analysis for Beta Ziliani :crystal: 🏳️🌈
📊 Post engagement
6
Avg engagement / post
2.1%
Engagement vs followers
Apr 2022
On Mastodon since
🔥 Top post: Teaching: Before AI: "Oh come on, stop nagging me with such ques · 32 likes + reposts
📊 Activity & format
Posting cadence
0.28 / week
A lower-frequency account — each post lands with more weight.
Content mix
Mostly text
Recent: 12 text · 0 image · 0 video.
Follower / following
1.7×
Follows 166 back. A more reciprocal / networked account.
Recent posts
View on Mastodon ↗
RE: https://mastodon.social/@shriramk/116720216204632999
This post came just in time. Yesterday I talked to a couple of students about ideas very similar in spirit: as we shift the burden of proofs to LLMs, we need to ensure our specificat…
I'm using Crystal's stdlib as example of real-world implementations of structures and algorithms. The advantage of a self-hosted language that has a slim syntax :-D
#crystallang
Plot twist: in fact Trump wants the world to move away from depending on oil
I just learned that Uruguay generates only 1% of the energy with non-renewable sources 🤯
- 42% hydroelectric
- 28% wind
- 26% biomass
- 3% sun
Last year the country exported 50% of it.
Yet another proof that https://www.youtube.com/w…
I forgot the "I have cookies!"
(not true atm, need to get some)
@CrystalLanguage note that i mean "semantic graph", not only it has the term and it's calculated your, but also the parent (or any relevant dependant), so a recalculation might be triggered.
Based on @CrystalLanguage , I've been toying around the idea of a semantic graph typechecker. The idea is to attach a type to every ast node, and calculate them on a series of iterations (rewrites?) until they're all complete (or an incomp…
This is not a hate-hype toot, but rather a pretty obvious observation of the limits of the tool.
I use generative AI on the side, and it's great; but i don't want it to replace my voice.
AI is great at generating things in different styles, though not *your* style
I have no idea if my coming back to academia is a good idea... But IFL is timely happening in town and I'm loving to see some of the talks!
Haven't I told you not to let the duck typing run havoc?? Remember that crystal-lang has duck typing but properly contained with union types....
https://mastodon.online/@Pepijn/115021948428162829
🐘 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
Apr 2022
An established account with real history on the platform.
💡 Facts
🗓️Joined Mastodon in 2022 — 4 years ago.
👁️Averages 6 views per post.
📤Posts about 0.3× per week.
🕵️ Fake follower check
Estimated80/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 (~2.1% of followers engage each post) — an active, real audience.
- Established account (4+ years old).
Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.
About
𝚖𝚎 : 𝚝𝚑𝚒𝚗𝚐 ⇀ 𝚐𝚘𝚘𝚍
Head of the Theory of Computation group at ORT University (Uruguay). Steering Committee of Crystal.
Father of two. B ∈ LGBTQ+
#PL #nerd #CrystalLang #coq #OCaml #professor #father #bisexual #bi
🔀 Audience overlap
EstimatedEstimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.
Capitainesse Blue ⚓
16%
Zorume :heart_asexual:
13%
SCOP Webu :scop:
11%
Greg Forcey, PhD, CWB®
10%
Michael ヘビ Steinwandter
10%
Guy Hoffman
10%
More like this
Find more →
Mastodon
Greg Forcey, PhD, CWB® ✓
@gregforcey@ecoevo.social
290
Followers
Mastodon
SCOP Webu :scop:
@webuscop@mastodon.scop.coop
290
Followers
Mastodon
Capitainesse Blue ⚓
@capitaineblue@eldritch.cafe
290
Followers
Mastodon
Zorume :heart_asexual: ✓
@zorume@eldritch.cafe
290
Followers
Mastodon
Michael ヘビ Steinwandter
@m_steinwandter@fediscience.org
290
Followers
Mastodon
Guy Hoffman
@hoffman@hci.social
290
Followers
✉ Message Beta Ziliani :crystal: 🏳️🌈
Reaching out to influencers is a Pro feature. Upgrade to message any influencer directly — perfect for brands and agencies booking sponsorships.
- ✓ Message any influencer from their listing
- ✓ The influencer gets notified by email
- ✓ Manage every conversation in one inbox
Already Pro? Log in.
🎤 Event / appearance with Beta Ziliani :crystal: 🏳️🌈
Booking an event / appearance is a Pro feature. Upgrade to book Beta Ziliani :crystal: 🏳️🌈 for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ Beta Ziliani :crystal: 🏳️🌈 gets notified by email
- ✓ Fee held in escrow, released after the appearance
Already Pro? Log in.
🚀
You're out of free requests this month
Free accounts get 5 per month. Go Pro for unlimited sponsor pitches, collab requests & sponsorship deals — plus featured placement, the Verified badge, free withdrawals and more.
Upgrade to Pro — $9.95/mo →Your free limit resets on the 1st of next month.