Brendan Zab Add us as a preferred source on Google
🔄 Data last refreshed 26 minutes ago
🤝
Make a deal with Brendan Zab
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
566
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 analysisfor Brendan Zab
Known for
59 views
Got up early today to look at the moss! #mosstodon #photography
22 views
Moss from this morning. Had to rescue some clumps that had been kicked up and flipped upside down! #mosstodon #photography
8 views
Learning more uncomfortable things about Hindley Milner checking and I'm not sure I like it.
Like, usually I keep a record of the meta/unification variables I generate during type checking/elaboration, and then scan over them at the end of type checking, throwing an ambiguity error if any of them are unsolved (see https://github.com/brendanzab/language-garden/blob/e3afe8c4163487db4cea411998ccda26e
📊 Post engagement
Recent posts · likes + reposts
Jun 21latest
11
Avg engagement / post
3–8
Typical post (engagement)
1.9%
Engagement vs followers
36/100
Variable reach
Apr 2022
On Mastodon since
Half of recent posts land between 3 and 8 likes + reposts (median 7) — reach is spiky, driven by the occasional post that pops.
🔥 Top post: Got up early today to look at the moss! #mosstodon #photography · 59 likes + reposts
📊 Activity & format
Posting cadence
0.47 / week
A lower-frequency account — each post lands with more weight.
Content mix
Mostly text
Recent: 9 text · 3 image · 0 video.
Follower / following
1.1×
Follows 511 back. A more reciprocal / networked account.
Recent posts
View on Mastodon ↗
🔥 Top post
Got up early today to look at the moss! #mosstodon #photography
This was a thought-provoking piece on large machine learning models, and how they serve to amplify existing broken systems of incentives in the sciences: https://artificialbureaucracy.substack.com/p/context-widows
Quite enjoyed this presentation on interface design by @scottjenson: https://www.youtube.com/watch?v=1fZTOjd_bOQ
Has some fascinating history of the desktop metaphor, ponders how it could be pushed forward, and has lots of food for thought…
I'm keen to have a go at trying to implement some of the borrowing stuff from “From Linearity to Borrowing” https://dl.acm.org/doi/10.1145/3764117 – it seems neat and potentially doable! One day at any rate.
I implemented a linear type theory https://github.com/brendanzab/language-garden/blob/main/scraps/check_linear_lc.ml
I am tempted to implement a linear type theory
I should not implement a linear type theory
Hmm, thinking I might just accept this state of affairs. Seems like it’s good enough for GHC which defaults these types to `Any` during zonking: https://gamedev.lgbt/@typeswitch/115461081826215867.
As I don’t want to leak top-level unifica…
So it seems that Rust does what I expect, complaining about needing type annotations on the second closure:
let _ = (|_f| ()) (|y| y);
...but the following definitions are valid OCaml and Haskell respectively:
let _ = (fun _f -> ()…
Learning more uncomfortable things about Hindley Milner checking and I'm not sure I like it.
Like, usually I keep a record of the meta/unification variables I generate during type checking/elaboration, and then scan over them at the end of…
Type theory/PL question: has there been any work on defining normalisation-by-evaluation for a bidirectionally typed language where annotations are properly preserved through evaluation and quotation? My main motivation is to reduce the am…
Moss from this morning. Had to rescue some clumps that had been kicked up and flipped upside down! #mosstodon #photography
Learning more uncomfortable things about Hindley Milner checking and I'm not sure I like it.
Like, usually I keep a record of the meta/unification variables I generate during type checking/elaboration, and then scan over them at the end of…
Type theory/PL question: has there been any work on defining normalisation-by-evaluation for a bidirectionally typed language where annotations are properly preserved through evaluation and quotation? My main motivation is to reduce the am…
Moss from this morning. Had to rescue some clumps that had been kicked up and flipped upside down! #mosstodon #photography
🐘 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 11 views per post.
📤Posts about 0.5× per week.
🕵️ Fake follower check
Estimated66/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.9% of followers engage each post) is around typical for Mastodon.
- Established account (4+ years old).
Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.
About
World builder, programmer, type theory tinkerer. Attempting to make programming a little more friendly and little less error-prone.
📸 Gallery
🔀 Audience overlap
EstimatedEstimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.
More like this
Find more →
Mastodon
＋
Dobviews
@appagalcrochet@mstdn.social
566
Followers
Mastodon
＋
GRC
@grc@zirk.us
566
Followers
Mastodon
＋
nomadbynature
@nomadbynature@101010.pl
566
Followers
Mastodon
＋
Alessandro ✓
@alemelandri@mastodon.uno
567
Followers
Mastodon
＋
Florian Posdziech ✓
@flowfx@chaos.social
566
Followers
Mastodon
＋
compudanzas 🐌 ✓
@compudanzas@post.lurk.org
566
Followers
Frequently asked questions
How much does Brendan Zab charge for a sponsorship?
Brendan Zab 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 Brendan Zab for a brand deal or collaboration?
Send a paid deal or collab request right here on SocialDB — we notify Brendan Zab, 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 Brendan Zab have?
Brendan Zab has 566 followers on Mastodon.
✉ Message Brendan Zab
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 Brendan Zab
Booking an event / appearance is a Pro feature. Upgrade to book Brendan Zab for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ Brendan Zab 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.
Auto-generated from Mastodon's public data — no affiliation with or endorsement by SocialDB. Is this you? Claim it · Remove