ℹ️ This listing was auto-generated from Mastodon's public data. Jonathan Brachthäuser hasn't claimed it, and it doesn't imply any partnership with or endorsement of SocialDB.
Is this you? Claim it · Request removal (free).
🤝
Make a deal with Jonathan Brachthäuser
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
301
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 Jonathan Brachthäuser
Known for
41 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
38 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
18 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
13 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 ↗
"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…
"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…
"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…
"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…
"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…
"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 …
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
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).
T…
@hazel According to the discussion it looks like their server is banned for bad behavior. So I guess that is a no
@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…
🐘 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
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 (~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.
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
🔀 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
柊木蓮@商業連載中
@hiiragimokuren@pawoo.net
301
Followers
Mastodon
Peggy Kern
@kernsac@mindly.social
301
Followers
Mastodon
かいじゅうマニア
@k_anima03@fedibird.com
301
Followers
Mastodon
Michele Neylon ✓
@mneylon@flipboard.social
301
Followers
Mastodon
Igal Tabachnik
@hmemcpy@functional.cafe
301
Followers
Mastodon
Bob le Chef ✓
@boblechef@jasette.facil.services
301
Followers
✉ 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
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
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.