Tom de Jong

Tom de Jong✓

Mastodon @de_jong_tom@mathstodon.xyz
⚔ Compare ☆ Watch Own this channel?
🤝

Make a deal with Tom de Jong

🔒 Paid proposals held safely in escrow — released only when the work's approved.

📣Sponsored postOne disclosed post (toot) with your link and message. $12→ 🧵Sponsored threadA multi-post explainer or story — the fediverse rewards dept… $30→ 📦Product seeding / honest reviewSend me your product — I post a disclosed, honest take. Auth… $16→ 📌Pinned sponsored postA disclosed post pinned to the top of my profile for the mon… $36/mo→ 🔗Profile link (bio field)Your link in one of my profile metadata fields for the month… $18/mo→ 🔁Boost packageI boost (repost) your account's toots through the month — di… $24/mo→ 🏛️Instance / community sponsorshipSponsor the server I run — a sponsor line in the About/rules… $30/mo→ 🤝Mutual boost collabWe boost each other across instances — a value swap between … Swap→

Every booking is a normal escrow-protected deal.

Followers
672
Account age
3 yrs

Known for

As usual, I was reading this weekend's De Volkskrant (Dutch newspaper) and amused to find @jonmsterling quoted in @ionica's column 🙂 (Minor correction to the column: Jon isn't British.)26 views As usual, I was reading this weekend's De Volkskrant (Dutch newspaper) and amused to find @jonmsterling quoted in @ionica's column 🙂 (Minor correction to the column: Jon isn't British.) This week I'm very much looking forward to the "Formal proof and synthetic mathematics" workshop co-organized by @matematiflo! https://matematiflo.github.io/ProofWorkshop2026/ Can't say the same about the weather forecast...12 views This week I'm very much looking forward to the "Formal proof and synthetic mathematics" workshop co-organized by @matematiflo! https://matematiflo.github.io/ProofWorkshop2026/ Can't say the same about the weather forecast...

📊 Post engagement

12
Avg engagement / post
1.8%
Engagement vs followers
Oct 2022
On Mastodon since

🔥 Top post: The teaching materials (first version) for my course "Introducti · 37 likes + reposts

📊 Activity & format

Posting cadence
1 / week
A lower-frequency account — each post lands with more weight.
Content mix
Mostly text
Recent: 10 text · 2 image · 0 video.
Follower / following
3×
Follows 223 back. A more reciprocal / networked account.

Recent posts

View on Mastodon ↗
🔥 Top post The teaching materials (first version) for my course "Introduction to Homotopy Type Theory / Univalent Foundations" at ESSLLI 2026 are now available at https://github.com/tomdjong/ESSLLI-2026/ I really enjoyed putting this together and naturally I (re)learnt a thing or two mysel… ★ 37
One of the joys of using #Typesetter (a minimal editor for #typst) is that I find it improves after each update which is not usually the case for many other pieces of software 🥲️ ★ 6 This week I'm very much looking forward to the "Formal proof and synthetic mathematics" workshop co-organized by @matematiflo! https://matematiflo.github.io/ProofWorkshop2026/ Can't say the same about the weather forecast... ★ 12 The 37th European Summer School in Logic, Language and Information (ESSLLI), taking place from August 3rd to August 14th, 2026 at the Faculty of Civil Engineering, Czech Technical University, Prague, Czechia. https://2026.esslli.eu/ = Over… ★ 2 RE: https://mathstodon.xyz/@de_Jong_Tom/116435680670519184 The early-bird registration deadline for the European Summer School in Logic, Language and Information (ESSLLI) has been extended to 15 June. https://2026.esslli.eu/registration/re… ★ 5 Does anybody know how to typeset pullback/pushout corners in typst/fletcher? The code provided at https://github.com/Jollywatt/typst-fletcher/issues/50#issuecomment-2851846670 does not quite work for me and even when it does, it requires e… ★ 3 RE: https://mathstodon.xyz/@iblech/116675413147766207 I didn't know of this collection of notes by (the late) Thomas Streicher. Thanks for sharing them! https://www2.mathematik.tu-darmstadt.de/~streicher/mixed.pdf ★ 15 RE: https://mathstodon.xyz/@de_Jong_Tom/116075617642121293 Application deadline: 1 June. This year's edition will be the 10th! ★ 5 RE: https://mathstodon.xyz/@de_Jong_Tom/116435680670519184 Just over two weeks before early registration ends (31 May)! ★ 4 As usual, I was reading this weekend's De Volkskrant (Dutch newspaper) and amused to find @jonmsterling quoted in @ionica's column 🙂 (Minor correction to the column: Jon isn't British.) ★ 26 #TYPES 2026 is done! The slides for my talk are here: https://tdejong.com/talks/TYPES-2026.pdf. Joint work with @ljungstrom and @Nicolai_Kraus. ★ 20 On my way to Gothenburg for #TYPES. Please come and say hi! ★ 9

🐘 Community & instance

Home server
mathstodon.xyz
Their home server on the fediverse — the instance a creator picks signals the community they belong to.
✅ Link-verified
Verified link
Proved ownership of a website linked on their profile — Mastodon's green-check verification, a real identity signal rather than a paid badge.
On Mastodon since
Oct 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 12 views per post.
📤Posts about 1× per week.

🛡️ Audience credibility

89/100 Excellent
  • Est. 99% real, active audience · Low fake-follower risk.
  • Strong engagement (~1.8% of followers engage each post) — an active, real audience.
  • Verified account.
  • Established account (3+ years old).
Est. authentic audience
99%
Fake-follower risk
Low
Data confidence
High

Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.

About

Postdoc at the University of Nottingham working on type theory. PhD from the University of Birmingham. Mathematician, computer scientist and runner.

🔀 Audience overlap

Estimated

Estimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.

Windy city :verified: Windy city :verified: 18% Die_Primel Die_Primel 17% jotbe jotbe 14% JR Horsting JR Horsting 13% taylor :blobfoxmlem: taylor :blobfoxmlem: 13% Blogfeedser Blogfeedser 10%

More like this

Find more →
Mastodon
Windy city :verified:
Windy city :verified: ✓
@pheonix@hachyderm.io
672 Followers
Mastodon
Die_Primel
Die_Primel
@die_primel@det.social
672 Followers
Mastodon
jotbe
jotbe ✓
@jotbe@chaos.social
672 Followers
Mastodon
JR Horsting
JR Horsting
@jrhorsting@mastodon.cloud
672 Followers
Mastodon
taylor :blobfoxmlem:
taylor :blobfoxmlem: ✓
@tay@tech.lgbt
672 Followers
Mastodon
Blogfeedser
Blogfeedser
@blogfeedser@mastodon.nl
672 Followers

✉ Message Tom de Jong

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
See Pro $9.95/mo →

Already Pro? Log in.

🎤 Event / appearance with Tom de Jong

Booking an event / appearance is a Pro feature. Upgrade to book Tom de Jong for an in-person or virtual appearance — payment held safely in escrow until the event is done.

  • ✓ Book them for events, livestreams, panels & more
  • ✓ Tom de Jong gets notified by email
  • ✓ Fee held in escrow, released after the appearance
See Pro $9.95/mo →

Already Pro? Log in.