ℹ️ This listing was auto-generated from Mastodon's public data. Liang-Ting Chen 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 Liang-Ting Chen
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
274
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 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
4
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 217 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.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
EstimatedEstimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.
Przemo Plewiński
18%
Maxime
17%
TheRiver2010
16%
![Eth[̲̅a]n H[̲̅a]nsen :donor:](/img?u=https%3A%2F%2Fmedia.infosec.exchange%2Finfosec.exchange%2Faccounts%2Favatars%2F000%2F117%2F909%2Foriginal%2Fb0dcba4f43f01eea.jpg)
Eth[̲̅a]n H[̲̅a]nsen :donor:
12%
Mikko Heikkinen
10%
More like this
Find more →
Mastodon
Eth[̲̅a]n H[̲̅a]nsen :donor: ✓
@farewell_ladmin@infosec.exchange
274
Followers
Mastodon
N2DYI
@n2dyi@mastodon.radio
274
Followers
Mastodon
Przemo Plewiński
@przemo@101010.pl
274
Followers
Mastodon
TheRiver2010
@theriver2010@dresden.network
274
Followers
Mastodon
Mikko Heikkinen
@mikkohei13@ecoevo.social
274
Followers
Mastodon
Maxime
@maxbvrn@eldritch.cafe
274
Followers
✉ 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.