🤝
Make a deal with Jeremy
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
623
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 analysis for Jeremy
📊 Post engagement
5
Avg engagement / post
0.8%
Engagement vs followers
Nov 2022
On Mastodon since
🔥 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.
🛡️ Audience credibility
66/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 (~0.8% of followers engage each post) is around typical for Mastodon.
- 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
@stevewfolds
@stevewfolds@mastodon.world
623
Followers
Mastodon
cpm ✓
@cpm@spore.social
623
Followers
Mastodon
Alex Kidman
@alexkidman@aus.social
623
Followers
Mastodon
Thin
@thinink@journa.host
623
Followers
Mastodon
Starrffax
@starrffax@chitter.xyz
623
Followers
Mastodon
Dr. Redfern Jon Barrett
@redfern@wandering.shop
623
Followers
✉ 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.