🤝
Make a deal with mike vollmer 🎃
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
382
Account age
5 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 mike vollmer 🎃
Known for
23 views
Update on a little hobby project:
My Z-machine emulator in Haskell (grue-hs) can now play most version 3 Infocom games, like Zork and Wishbringer.
https://github.com/vollmerm/grue-hs
5 views
Another graphical demo of my functional array language. This time, the demo program generates a PPM image using ray tracing. 25 deterministic samples per pixel, and up to 8 reflective bounces. 0.25 seconds when running on my Mac Studio GPU via MSL.
3 views
This is what I want official documentation to look like! https://interlisp.org/documentation/notecards_user_guide_v1.2.pdf
2 views
Drinking some beer in Margate with @Tori
📊 Post engagement
7
Avg engagement / post
1.8%
Engagement vs followers
Oct 2020
On Mastodon since
🔥 Top post: Update on a little hobby project: My Z-machine emulator in Haske · 23 likes + reposts
📊 Activity & format
Posting cadence
0.8 / week
A lower-frequency account — each post lands with more weight.
Content mix
Mostly text
Recent: 7 text · 5 image · 0 video.
Follower / following
2.1×
Follows 184 back. A more reciprocal / networked account.
Recent posts
View on Mastodon ↗
🔥 Top post
Update on a little hobby project:
My Z-machine emulator in Haskell (grue-hs) can now play most version 3 Infocom games, like Zork and Wishbringer.
https://github.com/vollmerm/grue-hs
This is what I want official documentation to look like! https://interlisp.org/documentation/notecards_user_guide_v1.2.pdf
The Pillars of Eternity games are so good. It makes me want to go play the old Infinity Engine games like Baldur's Gate and Icewind Dale, but I don't have nearly enough free time for that.
I feel like everything I do now gets filtered through the lens of "can we turn this into a grant" or "will this help us get more funding". And there are people now who rely on me to do this or they lose their funding. It's not great 😬
I wasn't prepared for how much of being a lecturer/assistant prof in academia revolved around trying to acquire grant funding.
My functional array programming language, Hydrangea, now successfully uses polyhedral analysis to automatically tile stencil computations like 2d Laplacian (example in the README).
https://github.com/hydrangea-project/hydrangea-compiler
Drinking some beer in Margate with @Tori
Another graphical demo of my functional array language. This time, the demo program generates a PPM image using ray tracing. 25 deterministic samples per pixel, and up to 8 reflective bounces. 0.25 seconds when running on my Mac Studio GPU…
Here's an example of the little prover working. It's implemented as a shallow embedded DSL in Python. This is the code to prove length(append(xs, ys)) == length(xs) + length(ys).
This is a functional, rank-polymorphic, data parallel array programming language with lightweight refinement type checking and aggressive fusion and loop nest optimization.
I've started pushing the compiler implementation to a public repo.…
Does anyone have any leads on jobs in FP, formal methods, or compilers, that are either remote or based in northern California?
I'm thinking of setting up a little blogging script using elisp and org-mode, and I don't know if I need to bother with generating an RSS feed. Do people still use RSS feeds?
🐘 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
Oct 2020
An OG fediverse account from Mastodon's early years — a long, established presence.
💡 Facts
🗓️Joined Mastodon in 2020 — 5 years ago.
👁️Averages 7 views per post.
📤Posts about 0.8× 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.8% of followers engage each post) — an active, real audience.
- Established account (5+ years old).
Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.
About
Lecturer in Computing, University of Kent. FP and compilers.
📸 Gallery
🔀 Audience overlap
EstimatedEstimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.
Hermine Termine
18%
LaBêteNwar
18%
Lyrae 🌈
16%
Claudio Dekker
15%
Token Sane Person
12%
Rural Witch 🧶🐓🔮
11%
More like this
Find more →
Mastodon
Rural Witch 🧶🐓🔮 ✓
@urbanhedgelady@mastodon.world
382
Followers
Mastodon
Token Sane Person
@tokensane@mastodon.me.uk
382
Followers
Mastodon
Claudio Dekker
@claudio@famichiki.jp
382
Followers
Mastodon
Hermine Termine
@hermine@kolektiva.social
382
Followers
Mastodon
Lyrae 🌈
@hirundo_sylvatica@masto.es
382
Followers
Mastodon
LaBêteNwar
@labetenwar@mastodon.art
382
Followers
✉ Message mike vollmer 🎃
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 mike vollmer 🎃
Booking an event / appearance is a Pro feature. Upgrade to book mike vollmer 🎃 for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ mike vollmer 🎃 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