🤝
Make a deal with Jack Vanlightly
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
211
Account age
3 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 Jack Vanlightly
📊 Post engagement
3
Avg engagement / post
1.4%
Engagement vs followers
Nov 2022
On Mastodon since
🔥 Top post: As a follow-up to my post on modeling and simulation, this post · 5 likes + reposts
📊 Activity & format
Posting cadence
1.6 / week
A lower-frequency account — each post lands with more weight.
Content mix
Mostly text
Recent: 12 text · 0 image · 0 video.
Follower / following
5.1×
Follows 41 back. A strong ratio — an audience that follows them, not a follow-for-follow network.
Recent posts
View on Mastodon ↗
Another issue of Humans of the Data Sphere is out, with issue #6! In this issue we also dive into the world of AI agents including the promises and challenges ahead.
https://www.hotds.dev/p/humans-of-the-data-sphere-issue-6
It's the holidays, but I still carve out a little time of Kafka transactions. Diary entry 5 - adding AddPartitionsToTxn request/response, TC elections and producer fencing (TLA+).
https://jack-vanlightly.com/analyses/2024/12/22/verifying-k…
Another issue of Humans of the Data Sphere is out! In issue #5 we also look at an interesting set of takes on the recent Cloudflare outage, and a review of data warehouse modeling methodologies.
https://www.hotds.dev/p/humans-of-the-data-s…
Every time I think I'm done exploring Fizzbee, it pulls me back in.
https://jack-vanlightly.com/blog/2024/12/6/to-be-atomic-or-non-atomic-that-is-the-question-fizzbee
Diary entry 4 of my Kafka transactions formal verification work. This entry is all about the initial Fizzbee spec and some benchmarks comparing it to TLC (the TLA+ model checker).
https://jack-vanlightly.com/analyses/2024/12/5/verifying-ka…
Symmetry in TLA+ reduces the state space by treating interchangeable components like servers, nodes, or processes as equivalent. This post explores examples of how equivalent states get collapsed, to help build a mental model of symmetry w…
Missed one aspect of writing the TLA+ spec yesterday. How to gain confidence it is correct.
https://jack-vanlightly.com/analyses/2024/12/4/verifying-kafka-transactions-diary-entry-3-getting-confidence-in-the-tla-spec
Diary entry 2 of formally verifying Kafka transactions. This entry covers my initial design decisions, and the nuances of liveness properties, with this first iteration of the TLA+ specification. Only read if you want to get down and dirty…
I am trying something new, I'm writing a diary of my formal verification of Apache Kafka transactions, to track progress and discuss various aspects of the formal verification process (in both TLA+ and Fizzbee). To get the diary started, t…
Another Humans of the Data Sphere is out!
In this issue, we also look at the topics of simulation, as well as Incremental View Maintenance.
https://www.hotds.dev/p/humans-of-the-data-sphere-issue-4
Just had my first discussion for planning my work on formally verifying the Kafka transaction protocol in TLA+, as well as a bunch of planned improvements. It would be nice to have it done by the holidays but we'll see.
🐘 Community & instance
Home server
discuss.systems
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 3 views per post.
📤Posts about 1.6× 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 (~1.4% 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
Messaging systems builder (RabbitMQ, Apache Pulsar, Apache BookKeeper, Apache Kafka). Also TLA+ nerd. Currently a researcher/adviser at Confluent.
🔀 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
balance ✓
@balancerensa@mstdn.jp
211
Followers
Mastodon
Kaz
@kaz@phire.place
211
Followers
Mastodon
vinc3nt
@vinc3nt@masto.bike
211
Followers
Mastodon
Jorge Almeida
@fjota@masto.pt
211
Followers
Mastodon
Saku⁷
@sakuraai@mastodon.cr
211
Followers
Mastodon
UCD Archives
@ucdarchives@mastodon.ie
211
Followers
✉ Message Jack Vanlightly
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 Jack Vanlightly
Booking an event / appearance is a Pro feature. Upgrade to book Jack Vanlightly for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ Jack Vanlightly 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