🤝
Make a deal with Jacob Neumann
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
174
Account age
2 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 Jacob Neumann
Known for
65 views
Happy to share that my PhD thesis defense was successful! Many thanks to my advisors @taooftypes & Graham Hutton, my examiners @buchholtz & Paige North, and all the amazing people in Nottingham & elsewhere who helped make my time as a PhD student such an amazing experience!
I put together a little website to showcase my PhD project; check it out at https://jacobneu.phd!
33 views
Most important part of the thesis revisions: coming up with an aesthetic cover
4 views
Scenes from my most recent talk (https://jacobneu.com/research/slides/sstt-2026.pdf)
3 views
Excited to share my design for the FroCoS/ITP/TABLEAUX conference happening at Reykjavik University this week. You can tell it's my design by the excessive use of bright colors.
https://icetcs.github.io/frocos-itp-tableaux25/programme-booklet.pdf
📊 Post engagement
25
Avg engagement / post
14.4%
Engagement vs followers
Feb 2024
On Mastodon since
🔥 Top post: Commenting on your own work in a double-blind submission is so u · 74 likes + reposts
📊 Activity & format
Posting cadence
0.24 / week
A lower-frequency account — each post lands with more weight.
Content mix
Mostly text
Recent: 8 text · 4 image · 0 video.
Follower / following
2.1×
Follows 82 back. A more reciprocal / networked account.
Recent posts
View on Mastodon ↗
RE: https://mastoxiv.page/@arXiv_mathCT_bot/116753243995520536
Finally got around to fixing "Paranatural category theory" (https://arxiv.org/abs/2307.09289)! The current version is still incomplete, but it proposes a new generalization of …
Scenes from my most recent talk (https://jacobneu.com/research/slides/sstt-2026.pdf)
When learning a new language, it's a good sign if you're starting to have dreams in your target language.
This gets weird, however, if your target language is a programming language: it's not that you dream of programming in the language, …
Revamped the website for my "Intro to HoTT" YouTube series, https://intro-hott.video, using @jonmsterling 's Forester tool (https://www.forester-notes.org).
Took some hacking to embed Agda code (e.g. https://intro-hott.video/000A), but I …
Back on the 'tube! I decided to make a few videos explaining the main ideas behind my PhD thesis. This one gives the historical background of Bourbaki vs. category theory, and how it connects to (homotopy) type theory. Hope you enjoy!
http…
I'm happy to share the talk recordings from the FroCoS/ITP/TABLEAUX conferences (and their co-located Rocq and Lean workshops) that took place in Reykjavik last month! Over a hundred excellent talks.
Webpage with links to the recordings, p…
Most important part of the thesis revisions: coming up with an aesthetic cover
My latest effort, "A Judgmental Construction of Directed Type Theory":
https://arxiv.org/abs/2510.17494
https://mastoxiv.page/@arXiv_csLO_bot/115411274046709571
Come hear me talk about it Saturday at the category theory Octoberfest:
https:…
Excited to share my design for the FroCoS/ITP/TABLEAUX conference happening at Reykjavik University this week. You can tell it's my design by the excessive use of bright colors.
https://icetcs.github.io/frocos-itp-tableaux25/programme-book…
Happy to share that my PhD thesis defense was successful! Many thanks to my advisors @taooftypes & Graham Hutton, my examiners @buchholtz & Paige North, and all the amazing people in Nottingham & elsewhere who helped make my time as a PhD …
However, the symmetry of (n,m)-cousin is more interesting: it says that, if X is my, say, 3rd cousin twice removed, then I'm also their 3rd cousin twice removed. This seems to involve a rotation of the tree of parenthood relations depicted…
Scenes from my most recent talk (https://jacobneu.com/research/slides/sstt-2026.pdf)
When learning a new language, it's a good sign if you're starting to have dreams in your target language.
This gets weird, however, if your target language is a programming language: it's not that you dream of programming in the language, …
Revamped the website for my "Intro to HoTT" YouTube series, https://intro-hott.video, using @jonmsterling 's Forester tool (https://www.forester-notes.org).
Took some hacking to embed Agda code (e.g. https://intro-hott.video/000A), but I …
Back on the 'tube! I decided to make a few videos explaining the main ideas behind my PhD thesis. This one gives the historical background of Bourbaki vs. category theory, and how it connects to (homotopy) type theory. Hope you enjoy!
http…
I'm happy to share the talk recordings from the FroCoS/ITP/TABLEAUX conferences (and their co-located Rocq and Lean workshops) that took place in Reykjavik last month! Over a hundred excellent talks.
Webpage with links to the recordings, p…
Most important part of the thesis revisions: coming up with an aesthetic cover
My latest effort, "A Judgmental Construction of Directed Type Theory":
https://arxiv.org/abs/2510.17494
https://mastoxiv.page/@arXiv_csLO_bot/115411274046709571
Come hear me talk about it Saturday at the category theory Octoberfest:
https:…
Excited to share my design for the FroCoS/ITP/TABLEAUX conference happening at Reykjavik University this week. You can tell it's my design by the excessive use of bright colors.
https://icetcs.github.io/frocos-itp-tableaux25/programme-book…
Happy to share that my PhD thesis defense was successful! Many thanks to my advisors @taooftypes & Graham Hutton, my examiners @buchholtz & Paige North, and all the amazing people in Nottingham & elsewhere who helped make my time as a PhD …
However, the symmetry of (n,m)-cousin is more interesting: it says that, if X is my, say, 3rd cousin twice removed, then I'm also their 3rd cousin twice removed. This seems to involve a rotation of the tree of parenthood relations depicted…
🐘 Community & instance
Home server
mathstodon.xyz
Their home server on the fediverse — the instance a creator picks signals the community they belong to.
On Mastodon since
Feb 2024
An established account with real history on the platform.
💡 Facts
🗓️Joined Mastodon in 2024 — 2 years ago.
👁️Averages 25 views per post.
📤Posts about 0.2× per week.
🕵️ Fake follower check
Estimated75/100
Good
Credibility score
92%
Real
Real audience
Low
Fake-follower risk
High
Data confidence
- Est. 92% real, active audience · Low fake-follower risk.
- Strong engagement (~0.1× of followers engage each post) — an active, real audience.
Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.
About
Ríkjafræðingur og gerðafræðingur at Reykjavik University
Previously a PhD student at Uni of Nottingham
Lover of bright colors and spicy foods
Has been known to sporadically create content
📸 Gallery
🔀 Audience overlap
EstimatedEstimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.
Küchenabenteuer
16%
EmB Philo
16%
Armin Kuhn
16%
Dortmund Solidarisch
16%
Pascal Savelon 🎷
14%
Bryan L. Fordham
11%
More like this
Find more →
Mastodon
＋
Bryan L. Fordham ✓
@bfordham@infosec.exchange
174
Followers
Mastodon
＋
Küchenabenteuer
@buntkueche@pixelfed.social
174
Followers
Mastodon
＋
EmB Philo
@mbtrueb@climatejustice.social
174
Followers
Mastodon
＋
Armin Kuhn
@armnkuhn@climatejustice.social
174
Followers
Mastodon
＋
Pascal Savelon 🎷
@psavelon@mamot.fr
174
Followers
Mastodon
＋
Dortmund Solidarisch ✓
@dortmund_solidarisch@ruhr.social
174
Followers
Frequently asked questions
How much does Jacob Neumann charge for a sponsorship?
Jacob Neumann 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 Jacob Neumann for a brand deal or collaboration?
Send a paid deal or collab request right here on SocialDB — we notify Jacob Neumann, 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 Jacob Neumann have?
Jacob Neumann has 174 followers on Mastodon.
✉ Message Jacob Neumann
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 Jacob Neumann
Booking an event / appearance is a Pro feature. Upgrade to book Jacob Neumann for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ Jacob Neumann 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