Liang-Ting Chen

Mastodon @[email protected]

⚔ Compare ☆ Follow Own this channel?

🔄 Data last refreshed 5 hours ago

🤝

Make a deal with Liang-Ting Chen

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

Followers

275

Account age

3 yrs

🎁 Free analysisfor Liang-Ting Chen

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

Known for

8 views Photo post

I have been trying to see how capable of GPT 5.5 (Business plan, $20 per month) is by implementing an experimental language server for Agda after work.
So far, it kind of works but requires closer inspection and quite an intensive interaction between the agent / the chat mode to make the spec very detailed and to fix unexpected behaviour introduced when the spec is not clear enough.
I am not su

7 views I have been trying to see how capable of GPT 5.5 (Business plan, $20 per month) is by implementing an experimental language server for Agda after work. So far, it kind of works but requires closer inspection and quite an intensive interaction between the agent / the chat mode to make the spec very detailed and to fix unexpected behaviour introduced when the spec is not clear enough. I am not su

📊 Post engagement

Avg engagement / post

1.5%

Engagement vs followers

Nov 2022

On Mastodon since

🔥 Top post: Not assigning a specific topic directly for intern students alwa · 9 likes + reposts

📊 Activity & format

Posting cadence

0.45 / week

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

Content mix

Mostly text

Recent: 10 text · 2 image · 0 video.

Follower / following

1.3×

Follows 218 back. A more reciprocal / networked account.

Recent posts

View on Mastodon ↗

🔥 Top post Not assigning a specific topic directly for intern students always makes me excited about what students are capable of and the diversity of their interests. 🤩 Two years ago, one of interns proposed a research question about the equivalence of two fractal constructions as functio… ★ 9

Strictness is fragile. ★ 3 I just learned that the strong J (the SProp-to-Type elimination for the strict identity type) is actually okay and it is discussed already in the paper on definitional proof-irrelevance. I should have read the paper more carefully.. ★ 2 I wish there were other implementations of 2-level type theory, not just MLTT (outer) / HoTT (inner) but rather OTT / MLTT, as it is quite hard to track down which is which... 😵 Is Agda the only implementation that supports (indexed) inductive-recursive types? Let’s forget about the extra flexibility of the recursion part allowed in Agda. ★ 1 Today's episode is that I need to work in the internal language we just built to build another model internally. 🤯 ★ 3

I have been trying to see how capable of GPT 5.5 (Business plan, $20 per month) is by implementing an experimental language server for Agda after work. So far, it kind of works but requires closer inspection and quite an intensive interac… ★ 7 wondering what textbooks to read for proof-theoretic strength analysis...🧐 ★ 1 https://lawrencecpaulson.github.io/2026/04/23/Why_not_Lean.html ★ 5 RE: https://mathstodon.xyz/@fnf/115960729940528764 Very happy to have @fnf visiting us and we did have very productive and exciting (!?) weeks for research. 🥳 ★ 5

Photo post ★ 8 RE: https://discuss.systems/@amoine/115900176355656326 lol ★ 2

🐘 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

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 4 views per post.

📤Posts about 0.5× 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 (~1.5% 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.

🔀 Audience overlap

Estimated

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

Jeff Dukes 17%

Maxime 17%

Fuera de Series 📺 16%

Nothing Is Real Beatle Podcast 12%

Seebrücke Dresden 11%

gio k. 11%

More like this

Nothing Is Real Beatle Podcast

Frequently asked questions

How much does Liang-Ting Chen charge for a sponsorship?

Liang-Ting Chen 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 Liang-Ting Chen for a brand deal or collaboration?

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

Liang-Ting Chen has 275 followers on Mastodon.

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

Liang-Ting Chen

Make a deal with Liang-Ting Chen

Known for

📊 Post engagement

📊 Activity & format

Recent posts

🐘 Community & instance

💡 Facts

🕵️ Fake follower check

🔀 Audience overlap

More like this

Frequently asked questions

✉ Message Liang-Ting Chen

🎤 Event / appearance with Liang-Ting Chen