LIVE
⭐5.2M influencer listings 🏢63.5K sponsor listings 🌍77B combined audience reach 📊13 platforms indexed 🗺️130+ countries covered 🏷️10,000+ niches 🦋2.3M Bluesky creators 🎙️1.2M podcast creators 🟣882.1K Twitch creators 🐘169.1K Mastodon creators 📈149.6K Pinterest creators 🥊131K Kick creators 𝕏113.5K X creators ▶️93.2K YouTube creators ✈️62K Telegram creators 🎵47.9K TikTok creators 🎮9.3K Discord creators 🎬4.5K Rumble creators 📈2.5K Substack creators 🧵1.9K Threads creators ⭐5.2M influencer listings 🏢63.5K sponsor listings 🌍77B combined audience reach 📊13 platforms indexed 🗺️130+ countries covered 🏷️10,000+ niches 🦋2.3M Bluesky creators 🎙️1.2M podcast creators 🟣882.1K Twitch creators 🐘169.1K Mastodon creators 📈149.6K Pinterest creators 🥊131K Kick creators 𝕏113.5K X creators ▶️93.2K YouTube creators ✈️62K Telegram creators 🎵47.9K TikTok creators 🎮9.3K Discord creators 🎬4.5K Rumble creators 📈2.5K Substack creators 🧵1.9K Threads creators
Jonathan Brachthäuser

Jonathan Brachthäuser

Mastodon @[email protected]
⚔ Compare ☆ Follow Own this channel?
🔄 Data last refreshed 11 hours ago
🤝

Make a deal with Jonathan Brachthäuser

🔒 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→ 🎬UGC HireBranded content for your own channels & ads from $50→ 🎙️Podcast guest spotInvite Jonathan Brachthäuser onto your podcast (~45 min, rem… $26→ 📞1:1 ConsultPaid video call — advice, coaching or Q&A $75/hr→

Every booking is a normal escrow-protected deal.

Followers
302
Account age
3 yrs
🎁 Free analysisfor Jonathan Brachthäuser
🕵️Fake Followers CheckReal-audience % & bot risk→ 📊Engagement rateBenchmarked vs. peers→ 💰What they chargeFair sponsored-post price→

Known for

I am excited to announce that our paper "Back to Direct Style: Typed and Tight" has been accepted at OOPSLA'23. We present a typed translation, which allows compilers to go to CPS, perform optimizations, and go back to direct-style (DS). The translation... - preserves well-typedness - preserves semantics - is a syntactic right-inverse of the CPS translation (that is, going to CPS and back is the i41 views I am excited to announce that our paper "Back to Direct Style: Typed and Tight" has been accepted at OOPSLA'23. We present a typed translation, which allows compilers to go to CPS, perform optimizations, and go back to direct-style (DS). The translation... - preserves well-typedness - preserves semantics - is a syntactic right-inverse of the CPS translation (that is, going to CPS and back is the i "Tracing JIT Compilation for Effects and Handlers" In this paper we (@gaisseml, @cfbolz, and I) study how well tracing JIT Compilation works for languages with effects and handlers; as it turns out, many specialized optimizations simply arise for free when using tracing. https://se.cs.uni-tuebingen.de/publications/gaissert2025tracing.pdf38 views "Tracing JIT Compilation for Effects and Handlers" In this paper we (@gaisseml, @cfbolz, and I) study how well tracing JIT Compilation works for languages with effects and handlers; as it turns out, many specialized optimizations simply arise for free when using tracing. https://se.cs.uni-tuebingen.de/publications/gaissert2025tracing.pdf "The Simple Essence of Overloading" In this paper we (@jiribenes and I) show that type-directed overload resolution can be made compatible with Hindley-Milner-like type inference (TBH it is algebraic subtyping) and doesn't require backtracking search; it turns out it can be extremely fast as well. https://se.cs.uni-tuebingen.de/publications/benes2025overloading.pdf Online demo: https://se-tuebinge18 views "The Simple Essence of Overloading" In this paper we (@jiribenes and I) show that type-directed overload resolution can be made compatible with Hindley-Milner-like type inference (TBH it is algebraic subtyping) and doesn't require backtracking search; it turns out it can be extremely fast as well. https://se.cs.uni-tuebingen.de/publications/benes2025overloading.pdf Online demo: https://se-tuebinge "Compiling Classical Sequent Calculus to Stock Hardware" In this paper we explore how a Sequent Calculus based intermediate representation can bridge the gap between high-level programming languages (and logics) and low-level machine code (like RISC-V). https://dl.acm.org/doi/10.1145/372050713 views "Compiling Classical Sequent Calculus to Stock Hardware" In this paper we explore how a Sequent Calculus based intermediate representation can bridge the gap between high-level programming languages (and logics) and low-level machine code (like RISC-V). https://dl.acm.org/doi/10.1145/3720507

📊 Post engagement

16
Avg engagement / post
5.3%
Engagement vs followers
Nov 2022
On Mastodon since

🔥 Top post: I am more than proud of my PhD students, colleagues and collabor · 65 likes + reposts

📊 Activity & format

Posting cadence
0.08 / week
A lower-frequency account — each post lands with more weight.
Content mix
Mostly images
Recent: 4 text · 8 image · 0 video.
Follower / following
1.9×
Follows 157 back. A more reciprocal / networked account.

Recent posts

View on Mastodon ↗
🔥 Top post I am more than proud of my PhD students, colleagues and collaborators! Together we managed to have 5 papers at this year's OOPSLA'25 (R1 and R2) and 1 at the colocated ICFP'25. 🥳🎉 Our OOPSLA papers: - Compiling Classical Sequent Calculus to Stock Hardware - The Simple Essence of… ★ 65
"Multiple Resumptions and Local Mutable State, Directly" In this paper we (that is @serkm, Philipp, @michel and I) show how continuation capture and stack-allocated mutable state can be made constant time, while still also supporting mult… ★ 4 "The Simple Essence of Overloading" In this paper we (@jiribenes and I) show that type-directed overload resolution can be made compatible with Hindley-Milner-like type inference (TBH it is algebraic subtyping) and doesn't require backtrac… ★ 18 "Dynamic Wind for Effect Handlers" In this paper we reconcile complex control-flow patterns enabled by effect handlers with linear resources (aka the real world); to do so we generalize the common feature of finalization to interact well w… ★ 2 "Tracing JIT Compilation for Effects and Handlers" In this paper we (@gaisseml, @cfbolz, and I) study how well tracing JIT Compilation works for languages with effects and handlers; as it turns out, many specialized optimizations simply a… ★ 38 "The Simple Essence of Monomorphization" In this paper we capture the essence of monomorphization by tracking the flow of types through the program; the idea is not only simple (that's what we think 😅) but also powerful as it supports high… ★ 2 "Compiling Classical Sequent Calculus to Stock Hardware" In this paper we explore how a Sequent Calculus based intermediate representation can bridge the gap between high-level programming languages (and logics) and low-level machine code … ★ 13 In the last lecture of our introductory course on imperative and object-oriented programming, today, I reimplemented a tiny JVM. If you are interested, it is available here: https://github.com/se-tuebingen/mini-jvm ★ 10 Here is an example from the paper: ★ 1 I am excited to announce that our paper "Back to Direct Style: Typed and Tight" has been accepted at OOPSLA'23. We present a typed translation, which allows compilers to go to CPS, perform optimizations, and go back to direct-style (DS). T… ★ 41 @hazel According to the discussion it looks like their server is banned for bad behavior. So I guess that is a no ★ 1 @hazel hey, Gabriele and I tried to connect here, but there seems to be a problem with a block. Anything we can do there, or is it not possible to connect with people on that particular instance? Thanks :) https://twitter.com/gckeller/sta… ★ 1

🐘 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 16 views per post.
📤Posts about 0.1× per week.

🕵️ Fake follower check

Estimated
80/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 (~5.3% of followers engage each post) — an active, real audience.
  • Established account (3+ years old).

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

💚 Brand affinity

Estimated

Brands Jonathan Brachthäuser's audience is most likely to respond to — from detected sponsorships in this niche.

Twittodon

About

Researcher in computer science, all things effects, author of the Effekt language (http://effekt-lang.org), Full professor at the University of Tübingen. https://twittodon.com/share.php?t=__protected&m=

📸 Gallery

"Multiple Resumptions and Local Mutable State, Directly" In this paper we (that is @serkm, Philipp, @michel and I) show how continuation capture and stack-allocated mutable state can be made constant time, while still also supporting multiple resumptions; this paper forms the new basis of Effekt's LLVM backend. https://se.cs.uni-tuebingen.de/publications/muhcu2025multiple.pdf "The Simple Essence of Overloading" In this paper we (@jiribenes and I) show that type-directed overload resolution can be made compatible with Hindley-Milner-like type inference (TBH it is algebraic subtyping) and doesn't require backtracking search; it turns out it can be extremely fast as well. https://se.cs.uni-tuebingen.de/publications/benes2025overloading.pdf Online demo: https://se-tuebinge "Dynamic Wind for Effect Handlers" In this paper we reconcile complex control-flow patterns enabled by effect handlers with linear resources (aka the real world); to do so we generalize the common feature of finalization to interact well with arbitrary control flow. https://se.cs.uni-tuebingen.de/publications/voigt2025dynamic.pdf "Tracing JIT Compilation for Effects and Handlers" In this paper we (@gaisseml, @cfbolz, and I) study how well tracing JIT Compilation works for languages with effects and handlers; as it turns out, many specialized optimizations simply arise for free when using tracing. https://se.cs.uni-tuebingen.de/publications/gaissert2025tracing.pdf "The Simple Essence of Monomorphization" In this paper we capture the essence of monomorphization by tracking the flow of types through the program; the idea is not only simple (that's what we think 😅) but also powerful as it supports higher-rank polymorphism and existentials. https://dl.acm.org/doi/10.1145/3720472 "Compiling Classical Sequent Calculus to Stock Hardware" In this paper we explore how a Sequent Calculus based intermediate representation can bridge the gap between high-level programming languages (and logics) and low-level machine code (like RISC-V). https://dl.acm.org/doi/10.1145/3720507 Here is an example from the paper: I am excited to announce that our paper "Back to Direct Style: Typed and Tight" has been accepted at OOPSLA'23. We present a typed translation, which allows compilers to go to CPS, perform optimizations, and go back to direct-style (DS). The translation... - preserves well-typedness - preserves semantics - is a syntactic right-inverse of the CPS translation (that is, going to CPS and back is the i

🔀 Audience overlap

Estimated

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

tok 🕊️ tok 🕊️ 18% Propagandalf Propagandalf 17% Seosamh Mac Coılle Collection Seosamh Mac Coılle Collection 14% bs2 bs2 13% Dawid Zaleski Dawid Zaleski 12% Steve199 Steve199 10%

More like this

Find more →
Mastodon ＋
Dawid Zaleski
Dawid Zaleski
@[email protected]
302 Followers
Mastodon ＋
bs2
bs2 ✓
@[email protected]
302 Followers
Mastodon ＋
tok 🕊️
tok 🕊️
@[email protected]
302 Followers
Mastodon ＋
Propagandalf
Propagandalf
@[email protected]
302 Followers
Mastodon ＋
Seosamh Mac Coılle Collection
Seosamh Mac Coılle Collection ✓
@[email protected]
302 Followers
Mastodon ＋
Steve199
Steve199
@[email protected]
302 Followers

Frequently asked questions

How much does Jonathan Brachthäuser charge for a sponsorship?
Jonathan Brachthäuser 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 Jonathan Brachthäuser for a brand deal or collaboration?
Send a paid deal or collab request right here on SocialDB — we notify Jonathan Brachthäuser, 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 Jonathan Brachthäuser have?
Jonathan Brachthäuser has 302 followers on Mastodon.

✉ Message Jonathan Brachthäuser

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 Jonathan Brachthäuser

Booking an event / appearance is a Pro feature. Upgrade to book Jonathan Brachthäuser for an in-person or virtual appearance — payment held safely in escrow until the event is done.

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

Already Pro? Log in.

Auto-generated from Mastodon's public data — no affiliation with or endorsement by SocialDB. Is this you? Claim it · Remove

✉️ Contact