Colin Gordon✓

Mastodon @csgordon@discuss.systems

⚔ Compare ☆ Watch Own this channel?

🔄 Data last refreshed 1 day ago

🤝

Make a deal with Colin Gordon

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

Followers

502

Account age

2 yrs

🧰 Free analysis for Colin Gordon

🕵️ Fake follower check 📊 Engagement rate 💰 What they charge

Known for

19 views @grimalkina 's book is finally here!

6 views Success!

📊 Post engagement

Avg engagement / post

1.2%

Engagement vs followers

Aug 2023

On Mastodon since

🔥 Top post: @grimalkina 's book is finally here! · 19 likes + reposts

📊 Activity & format

Posting cadence

1.4 / week

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

Content mix

Mostly text

Recent: 10 text · 2 image · 0 video.

Follower / following

0.3×

Follows 1.5K back. A more reciprocal / networked account.

Recent posts

View on Mastodon ↗

🔥 Top post @grimalkina 's book is finally here! ★ 19

Everyone who's not in tech (incl. CS/SE education): You're a CS professor, you must be great with computers! Me: Sticks the power cord for an old laptop *in the headphone jack*, doesn't notice for an hour. (Also: who the hell decided to pu… ★ 9 Not sure I trust this 55% number, but if true this would explain why I often get halfway through a dutch mastodon post before realizing it's not written in a language I actually know https://mastodon.social/@multilinguo/116976342307626446 ★ 4 I absolutely do not have the patience for such a thing Related to a recent thread: some academic journals in math, logic, and programming languages (however you draw those lines) sometimes still publish book reviews. I'm curious (1) whether anyone will have the patience to write an appropriate… ★ 8

Success! ★ 6 If you're a grad student in PL or SE, and interested in attending this year's combined SPLASH & ISSTA, you should consider applying to be a student volunteer, which covers registration costs in exchange for a few hours of work (12-15). Sad… ★ 3 Something something expert systems... https://neopaquita.es/@ehproque/116812666725541623 ★ 2 Well I've been needing to migrate off GitHub pages for a long while and it keeps getting preempted. But apparently GitHub has decided my GitHub pages should disappear, despite me not changing anything for a couple months. Recommendations?… ★ 2 You know, aside from a few specific albums I've listened to obsessively over the years (several NIN albums, Pink Floyd's Animals, some Mark Lanegan albums), I don't think there are many I've gotten as much out of as the Warped Tour 2003 (2… ★ 3 Wow, just did my first #FreeBSD pkgbase upgrade (to 15.1) and wow that's a lot smoother than the old process. ★ 1 They're trying very hard to make it impossible to do many things in the US. Today it's good science they're trying to make impossible https://elizabethginexi.substack.com/p/summary-of-key-changes-in-ombs-proposed ★ 5

🐘 Community & instance

Home server

discuss.systems

Their home server on the fediverse — the instance a creator picks signals the community they belong to.

✅ Link-verified

Verified link

Proved ownership of a website linked on their profile — Mastodon's green-check verification, a real identity signal rather than a paid badge.

On Mastodon since

Aug 2023

An established account with real history on the platform.

💡 Facts

🗓️Joined Mastodon in 2023 — 2 years ago.

👁️Averages 6 views per post.

📤Posts about 1.4× per week.

🕵️ Fake follower check

Estimated

70/100

Good Credibility score

87%

Real Real audience

Low Fake-follower risk

High Data confidence

Est. 87% real, active audience · Low fake-follower risk.
Engagement (~1.2% of followers engage each post) is around typical for Mastodon.
Verified account.

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

💚 Brand affinity

Estimated

Brands Colin Gordon's audience is most likely to respond to — from detected sponsorships in this niche.

Keeps

About

Programming languages professor, kernel hacker, aspiring linguist (syntax & compositional semantics). Currently figuring out how to combine all of my interests by mechanically translating English into formal specifications of a formally verified OS kernel for RISC-V. :freebsd_logo: :debian: :openbsd: :clang: :csharp: :racket: :rust: