Sebastian Graf Add us as a preferred source on Google

Mastodon @sgraf@mastodon.online

⚔ Compare ☆ Follow Own this channel?

🔄 Data last refreshed 2 months ago

🤝

Make a deal with Sebastian Graf

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

Followers

112

Account age

4 yrs

🎁 Free analysisfor Sebastian Graf

🕵️Fake Followers CheckReal-audience % & bot risk→ 📊Engagement rateBenchmarked vs. peers→ 💰What they chargeFair sponsored-post price→

📊 Post engagement

📊 Activity & format

Posting cadence

1.1 / week

A lower-frequency account — each post lands with more weight.

Content mix

Mostly text

Recent: 12 text · 0 image · 0 video.

Follower / following

1×

Follows 112 back. A more reciprocal / networked account.

Recent posts

View on Mastodon ↗

🔥 Top post I finally overhauled my blog (it just took a PhD worth of time) and published a new blog post, using Haskell to make denotational semantics executable: https://fixpt.de/blog/2024-09-23-total-denotational-semantics.html ★ 6

* Instead of the closure-centric view, you could view local functions as PAPs of their lambda-lifted form. Then you only have CompPtr and a special kind of PAP which perhaps existentially quantifies over the locations of its argument. Such… * Can't you get by without reserving a tag bit for the forwarding pointer In a semispace GC? I would simply compare the pointer to the boundary address between the two spaces. If it points "across" this boundary, it's a forwarding pointer.… * For depth-first GC, you can probably save stack allocation by implementing Schorr-Waite pointer reversal. Probably merely a small win. * I would think that specialised GC code will be quite a bit larger than the equivalent pointer-non-po… * I had a student implementing an escape analysis and let him measure how often it found non-escaping allocations by instrumenting the external STG interpreter. Results can be found in Section 4 of his master's thesis: https://pp.ipd.kit.e… Exciting, as always :) I would be a happy user (and implementor) of your language! Just leaving a couple of notes: * Arena/region-based allocation is at least somewhat common in compilers: I know that libfirm (venerable research sea-of-nod… Aha, this seems to be exercise 8 of https://www.cs.ox.ac.uk/files/298/handbook.pdf. The key is to show id_D € {e | e ⊑ id_D and apply(e(w'(f))(w'(f)) ⊑ fix(f) } Then we get that Y(f) ⊑ fix(f) as well. I don't think I'm trying to prove this… ★ 1 Y(f) has the usual property of a fixpoint combinator: f(Y(f)) = Y(f). Clearly, w = w'(id), so Omega = Y(id). So it suffices to show that Y=fix, because fix(id) = ⊥. But is Y(f) really the *least* fixpoint of f? One would need to show ∀x. … ★ 1 Let's write apply(d,a) := case d of Lam(f) -> f(a) _ -> ⊥ (with the usual mathematical interpretation of this Haskell-y syntax). Now, let's abbreviate w(x) := apply(x,x); then Omega = w(Lam(w)). We get w(Lam(w)) = apply(Lam(w), Lam(w… ★ 1 In the denotational semantics of untyped lambda calculus in terms of Scott domains, how do I prove that the denotation Omega:=[[((λx. x x) (λx. x x))]] is ⊥? That is, how do I prove that Omega ⊑ ⊥? The intuition is clear, but what is the… ★ 1 Why is (1)+(2) a success? Because proving bisimulation (2) directly for a custom correctness relation in a higher-order language is DAUNTINGLY complex. https://www.cambridge.org/core/journals/journal-of-functional-programming/article/modul… ★ 1 IIUC, (2) is the original meaning of "logical relation" due to Plotkin; it says that if σ1 satisfies R, σ1 -> σ2 then σ2 satisfies R. The unary case is the "preservation lemma" of type systems. The binary case is "bisimulation". Combining … ★ 1

🐘 Community & instance

Home server

mastodon.online

A large general-interest Mastodon server. On the fediverse the server a creator picks hints at their community — this one spans all topics.

On Mastodon since

Apr 2022

An established account with real history on the platform.

💡 Facts

🗓️Joined Mastodon in 2022 — 4 years ago.

👁️Averages 2 views per post.

📤Posts about 1.1× per week.

🕵️ Fake follower check

Estimated

66/100

Good Credibility score

89%

Real Real audience

Low Fake-follower risk

High Data confidence

Est. 89% real, active audience · Low fake-follower risk.
Engagement (~1.8% of followers engage each post) is around typical for Mastodon.
Established account (4+ years old).

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

About

Talk to me about Haskell, GHC, static analysis, PL design and theory, general CS, or my trumpet

🔀 Audience overlap

Estimated

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

Treby 16%

Kyle Stewart 16%

Mika Rautio 13%

kvvoya!!! 🌸✨ 13%

JanPV 12%

Konform Browser 11%

More like this

Find more →

Mastodon ＋

Konform Browser

@konform@techhub.social

@kylestewart@hcommons.social

112 Followers

Mastodon ＋

Mika Rautio

@mrautio@infosec.exchange

112 Followers

Mastodon ＋

JanPV

@janpv@mastodon.social

Frequently asked questions

How much does Sebastian Graf charge for a sponsorship?

Sebastian Graf 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 Sebastian Graf for a brand deal or collaboration?

Send a paid deal or collab request right here on SocialDB — we notify Sebastian Graf, 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 Sebastian Graf have?

Sebastian Graf has 112 followers on Mastodon.

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

Sebastian Graf Add us as a preferred source on Google

Make a deal with Sebastian Graf

📊 Post engagement

📊 Activity & format

Recent posts

🐘 Community & instance

💡 Facts

🕵️ Fake follower check

About

🔀 Audience overlap

More like this

Frequently asked questions

✉ Message Sebastian Graf

🎤 Event / appearance with Sebastian Graf