Liang-Ting Chen Add us as a preferred source on Google
🔄 Data last refreshed 1 day ago
🤝
Make a deal with Liang-Ting Chen
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
281
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 analysisfor Liang-Ting Chen
Known for
8 views
Photo post
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
Recent posts · likes + reposts
Jan 16latest
4
Avg engagement / post
2–7
Typical post (engagement)
1.4%
Engagement vs followers
71/100
Consistent reach
Nov 2022
On Mastodon since
Half of recent posts land between 2 and 7 likes + reposts (median 3) — a dependable floor a sponsored post can count on.
🔥 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 220 back. A more reciprocal / networked account.
Recent posts
View on Mastodon ↗
Strictness is fragile.
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..
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.
Today's episode is that I need to work in the internal language we just built to build another model internally. 🤯
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…
wondering what textbooks to read for proof-theoretic strength analysis...🧐
https://lawrencecpaulson.github.io/2026/04/23/Why_not_Lean.html
RE: https://mathstodon.xyz/@fnf/115960729940528764
Very happy to have @fnf visiting us and we did have very productive and exciting (!?) weeks for research. 🥳
Photo post
RE: https://discuss.systems/@amoine/115900176355656326
lol
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…
wondering what textbooks to read for proof-theoretic strength analysis...🧐
https://lawrencecpaulson.github.io/2026/04/23/Why_not_Lean.html
RE: https://mathstodon.xyz/@fnf/115960729940528764
Very happy to have @fnf visiting us and we did have very productive and exciting (!?) weeks for research. 🥳
Photo post
RE: https://discuss.systems/@amoine/115900176355656326
lol
🐘 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
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 (~1.4% 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
EstimatedEstimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.
iam-py-test :transgender_flag: :neocat_flag_lesbian:
17%
markus staab
16%
Sascha Niedrig
12%
FrostFire
11%
BIC Village & CTF
10%
Harry
10%
More like this
Find more →
Mastodon
＋
iam-py-test :transgender_flag: :neocat_flag_lesbian: ✓
@iampytest1@infosec.exchange
281
Followers
Mastodon
＋
markus staab ✓
@markusstaab@phpc.social
281
Followers
Mastodon
＋
BIC Village & CTF
@blacksincyber@defcon.social
281
Followers
Mastodon
＋
Sascha Niedrig ✓
@saschaniedrig@digitalcourage.social
281
Followers
Mastodon
＋
Harry ✓
@harrybo@gamerstavern.online
281
Followers
Mastodon
＋
FrostFire
@frostfire@gulp.cafe
281
Followers
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 281 followers on Mastodon.
✉ Message Liang-Ting Chen
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 Liang-Ting Chen
Booking an event / appearance is a Pro feature. Upgrade to book Liang-Ting Chen for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ Liang-Ting Chen 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.
Auto-generated from Mastodon's public data — no affiliation with or endorsement by SocialDB. Is this you? Claim it · Remove