Jeremy Add us as a preferred source on Google
🔄 Data last refreshed 1 day ago
🤝
Make a deal with Jeremy
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
628
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 Jeremy
📊 Post engagement
Recent posts · likes + reposts
Nov 30latest
5
Avg engagement / post
4–6
Typical post (engagement)
0.8%
Engagement vs followers
76/100
Very consistent reach
Nov 2022
On Mastodon since
Half of recent posts land between 4 and 6 likes + reposts (median 5) — a dependable floor a sponsored post can count on.
🔥 Top post: An Introduction to Step-Indexed Logical Relations via Type Safet · 10 likes + reposts
📊 Activity & format
Posting cadence
0.1 / week
A lower-frequency account — each post lands with more weight.
Content mix
Mostly text
Recent: 12 text · 0 image · 0 video.
Follower / following
11×
Follows 59 back. A strong ratio — an audience that follows them, not a follow-for-follow network.
Recent posts
View on Mastodon ↗
Codex and GPT 5.3-codex are blowing my mind... accelerating proof development and refactoring in Agda for programming language metatheory. Lots of grunt work is becoming automatic, but regular guidance is still needed.
Here’s a more in depth article:
https://bloomingtonian.com/2025/08/14/iu-professor-disputes-sea-202-sanction-cites-harassment-and-surveillance-concerns/
More unjustified attacks on faculty by IU administrators:
https://www.indystar.com/story/news/education/2025/08/14/iu-sanctions-professor-indiana-intellectual-diversity-law-202/85643279007/
Verified Nanopasses for Compiling Conditionals
(https://www.dropbox.com/scl/fi/cac5jemdpo9duj25aq0n6/verified-nanopass.pdf?rlkey=sfmjjf5fpzwmfwgexd2x3swfv&dl=1
The ACLU of Indiana has filed a lawsuit against Governor Mike Braun over the law that changes how members of the Indiana University Board of Trustees are selected.
https://www.aclu-in.org/en/press-releases/aclu-indiana-sues-governor-braun-…
https://indianapublicmedia.org/news/faculty-want-due-process-for-fired-cybersecurity-expert.php
Over 260 faculty, staff urge IU to undo Xiaofeng Wang’s termination
https://www.idsnews.com/article/2025/05/faculty-staff-letter-to-provost-xiaofeng-wang-tenure-termination
Take-aways from using the Deduce proof assistant in the classroom
https://siek.blogspot.com/2024/10/take-aways-from-using-deduce-in.html
New blog post: Binary Search Trees, Correctly!
https://siek.blogspot.com/2024/08/binary-search-trees-correctly.html
Binary Trees with in-order iterators, correctly! (Part 2)
https://siek.blogspot.com/2024/07/binary-trees-with-in-order-iterators_20.html
Blog post: Binary Trees with In-order Iterators (Part 1)
https://siek.blogspot.com/2024/07/binary-trees-with-in-order-iterators.html
🐘 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 5 views per post.
📤Posts about 0.1× per week.
🕵️ Fake follower check
Estimated43/100
Fair
Credibility score
73%
Mixed
Real audience
Medium
Fake-follower risk
High
Data confidence
- Est. 73% real, active audience · Medium fake-follower risk.
- Low engagement (~0.8% of followers engage each post) — a sign of an inflated or inactive audience.
- Established account (3+ years old).
Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.
About
Jeremy Siek is a Professor at Indiana University where he teaches courses about algorithms, compilers, and programming language theory. Jeremy authored the book ``The Boost Graph Library'' and designed constrained templates for C++, aka the "concepts" proposal. Jeremy invented gradual typing: a type system that integrates both dynamic and static typing in the same programming language.
🔀 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
＋
Tim Panton ✓
@steely_glint@chaos.social
628
Followers
Mastodon
＋
Minnanen
@minnanen@mastodontti.fi
628
Followers
Mastodon
＋
Leo Dion ✓
@leogdion@c.im
628
Followers
Mastodon
＋
Petri Purho
@petripurho@mastodon.gamedev.place
628
Followers
Mastodon
＋
Wayne Werner ✓
@ketmorco@fosstodon.org
628
Followers
Mastodon
＋
Lauralee Dukeshire
@lauraleedukeshire@cosocial.ca
628
Followers
Frequently asked questions
How much does Jeremy charge for a sponsorship?
Jeremy 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 Jeremy for a brand deal or collaboration?
Send a paid deal or collab request right here on SocialDB — we notify Jeremy, 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 Jeremy have?
Jeremy has 628 followers on Mastodon.
✉ Message Jeremy
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 Jeremy
Booking an event / appearance is a Pro feature. Upgrade to book Jeremy for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ Jeremy 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