chexxor Add us as a preferred source on Google
🔄 Data last refreshed 6 hours ago
🤝
Make a deal with chexxor
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
17
Account age
8 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 chexxor
📊 Post engagement
2
Avg engagement / post
11.8%
Engagement vs followers
Apr 2018
On Mastodon since
🔥 Top post: > Very few functions have inverses -- are "invertible". Predicat · 2 likes + reposts
📊 Activity & format
Posting cadence
0.11 / week
A lower-frequency account — each post lands with more weight.
Content mix
Mostly text
Recent: 11 text · 1 image · 0 video.
Follower / following
0.5×
Follows 35 back. A more reciprocal / networked account.
Recent posts
View on Mastodon ↗
I prefer a programming language which has type classes over one that does not, and one which has macros over one which does not.
Why? For the same reason I prefer functional languages -- they allow me to express my intent more concisely, a…
What is type theory?
I finally found an explanation that I like. Andrej Bauer said in a 2019 lecture [1], roughly,
> It is the mathematical theory of construction. It is the logical rules of construction and destruction. In HoTT, a constru…
TIL "quadratic", to refer to quadratic equations in math, has its origins in the Latin quadratus, meaning "square" or maybe "to make square".
Degree 1 – linear, Degree 2 – quadratic, Degree 3 – cubic, Degree 4 – quartic, Degree 5 – quintic…
Tonight I stayed up late reading the web to understand whether the epsilon infinitesimal in the hyperreal number system is constructive.
Sounds like, if you believe sqrt(2) is constructive via Cauchy sequence ideas, then epsilon is constru…
We can group related ideas into two groups:
1) sense, syntax, proofs;
and
2) denotation, truth, semantics, algebraic operations.
"This (algebraic) tradition (begun by Boole well before the time of Frege) is based on a radical application o…
"So, one of the most fundamental distinctions in logic is that made by Frege: given a sentence A, there are two ways of seeing it:
1) as a sequence of instructions, which determine its sense, for example A \/ B means a or b, etc.
2) as the…
"There is a finite computation process which shows that the *denotations* are equal. It is an abuse to say that 27 x 37 equals 999, since if the two things we have were the same then we would never feel the need to state their equality. Co…
"An alternative to the term "worď sometimes preferred by computer scientists is “string"; biologists often refer to words as “sequences"."
- Analytic Combinatorics, by Flajolet and Sedgewick.
Remembering these Greek letters is hard. Thanks for GPT, I discovered I did not know the pronunciation of some of these.
Interesting talk. The start is about representing some fields of math in an algebraic form of type theory.
I wish I could understand half of this - the speaker is very fluent in category theory.
"[Berkeley Seminar] CB Aberle: All Concepts …
"The investigators in the DeepSpec team each had major research projects underway. Each of these projects imports some specifications, and exports others. The specifications are rich, live, and formal. But only by connecting them together …
Remembering these Greek letters is hard. Thanks for GPT, I discovered I did not know the pronunciation of some of these.
Interesting talk. The start is about representing some fields of math in an algebraic form of type theory.
I wish I could understand half of this - the speaker is very fluent in category theory.
"[Berkeley Seminar] CB Aberle: All Concepts …
"The investigators in the DeepSpec team each had major research projects underway. Each of these projects imports some specifications, and exports others. The specifications are rich, live, and formal. But only by connecting them together …
🐘 Community & instance
Home server
functional.cafe
Their home server on the fediverse — the instance a creator picks signals the community they belong to.
On Mastodon since
Apr 2018
An OG fediverse account from Mastodon's early years — a long, established presence.
💡 Facts
🗓️Joined Mastodon in 2018 — 8 years ago.
👁️Averages 2 views per post.
📤Posts about 0.1× per week.
🕵️ Fake follower check
Estimated76/100
Good
Credibility score
97%
Real
Real audience
Low
Fake-follower risk
Medium
Data confidence
- Est. 97% real, active audience · Low fake-follower risk.
- Strong engagement (~0.1× of followers engage each post) — an active, real audience.
- Established account (8+ years old).
Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.
About
PureScript, Nintendo, keyboards, languages & types
🔀 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
＋
PandaNinjas ✓
@pandaninjas@infosec.exchange
17
Followers
Mastodon
＋
urrlich
@urrlich@ohai.social
17
Followers
Mastodon
＋
御無礼＠Pawoo🎲🔞🚸⚠ ✓
@tea_cup@pawoo.net
17
Followers
Mastodon
＋
Steffan
@steffanstringer@mastodon.world
17
Followers
Mastodon
＋
Jim Lipsey ✓
@localhost@mastodon.world
17
Followers
Mastodon
＋
jwiggler ✓
@jwiggler@mastodon.world
17
Followers
Frequently asked questions
How much does chexxor charge for a sponsorship?
chexxor 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 chexxor for a brand deal or collaboration?
Send a paid deal or collab request right here on SocialDB — we notify chexxor, 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 chexxor have?
chexxor has 17 followers on Mastodon.
✉ Message chexxor
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 chexxor
Booking an event / appearance is a Pro feature. Upgrade to book chexxor for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ chexxor 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