Joseph

Mastodon @joseph314@mathstodon.xyz

⚔ Compare ☆ Follow Own this channel?

🔄 Data last refreshed 3 days ago

🤝

Make a deal with Joseph

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

Followers

Account age

1 yrs

🎁 Free analysisfor Joseph

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

Known for

You can cut a hole through a cube just large enough to pass an equally sized cube through. I wanted to try it for myself in blender. It isn't quite the maximally sized Prince Rupert's cube https://en.wikipedia.org/wiki/Prince_Rupert%27s_cube , but I think it looks good.

28 views You can cut a hole through a cube just large enough to pass an equally sized cube through. I wanted to try it for myself in blender. It isn't quite the maximally sized Prince Rupert's cube https://en.wikipedia.org/wiki/Prince_Rupert%27s_cube , but I think it looks good.

📊 Post engagement

Avg engagement / post

40%

Engagement vs followers

Feb 2025

On Mastodon since

🔥 Top post: You can cut a hole through a cube just large enough to pass an e · 28 likes + reposts

📊 Activity & format

Posting cadence

0.13 / week

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

Content mix

Mostly text

Recent: 9 text · 0 image · 1 video.

Follower / following

0.3×

Follows 55 back. A more reciprocal / networked account.

Recent posts

View on Mastodon ↗

▶ 🔥 Top post You can cut a hole through a cube just large enough to pass an equally sized cube through. I wanted to try it for myself in blender. It isn't quite the maximally sized Prince Rupert's cube https://en.wikipedia.org/wiki/Prince_Rupert%27s_cube , but I think it looks good. ★ 28

https://www.smbc-comics.com/comic/fur Finally a comic to convince my furry friends to learn Lean. Unfortunately the only response I've gotten so far is "Oh god". ★ 1 https://codeberg.org/wvhulle/lean-tui @isAdisplayName Will this solve your Lean in emacs woes? The question I wished I could have asked at @pluralistic 's book talk: How am I supposed to convince my local representative of any of this? Even when the EFF has a point, sending an email about things like the TAKE IT DOWN Act sounds craz… I've been playing around with how to work with JSON safely in Lean. We now have a more complete JSON Schema implementation at https://github.com/CAIMEOX/json-schema-lean/. I also tried making an embedded schema + subtyping rules, a design … ★ 5 I wanted to prove that ((x >>> s) + 1) >>> 1 was round x / 2^s. I spent way too long trying to massage the proof for Lean. It turned out I needed floor(x/n) = floor(x)/n. I check the git blame... and I was the last to modify floor_div_cast… ★ 1 I've written up two posts for my blog. The first is an informal introduction to Hilbert curves. https://josephmckinsey.com/hilbertcurves.html But wait there's more! I also have posted "Formalizing Hilbert Curves in Lean": sort of one part … ★ 3 "A Conversation with Joe Doob" by J. Laurie Snell has some hilarious tidbits like the following: > While writing my book I had an argument with Feller. He asserted that everyone said “random variable” and I asserted that everyone said “cha… ★ 1 Yesterday I was on a run and the yearly event finally happened: it was time to rederive the Cauchy-Schwarz inequality. ★ 2 I've finally finished my blog post about formalizing floating point numbers in Lean. I've put my work in a a little library called "Flean". It has some of the basic properties of IEEE-754 floats. https://josephmckinsey.com/flean2.html The… ★ 10

🐘 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

Feb 2025

An established account with real history on the platform.

💡 Facts

🗓️Joined Mastodon in 2025 — 1 year ago.

👁️Averages 6 views per post.

📤Posts about 0.1× per week.

🕵️ Fake follower check

Estimated

71/100

Good Credibility score

92%

Real Real audience

Low Fake-follower risk

Medium Data confidence

Est. 92% real, active audience · Low fake-follower risk.
Strong engagement (~0.4× of followers engage each post) — an active, real audience.

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

About

I'm here for the math.

🔀 Audience overlap

Estimated

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

shane '🌮' doucette 18%

Farran De Tao / Lĩ Phong 15%

Zerophnx 14%

WordCamp Canada 12%

Tim Rutherford 11%

Larry 11%

More like this

Find more →

Mastodon ＋

Farran De Tao / Lĩ Phong

@farran@mastodon.social

@zerophnx@mastodon.world

15 Followers

Mastodon ＋

Tim Rutherford

@tjrutherford@mstdn.ca

Frequently asked questions

How much does Joseph charge for a sponsorship?

Joseph 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 Joseph for a brand deal or collaboration?

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

Joseph has 15 followers on Mastodon.

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

Joseph

Make a deal with Joseph

Known for

📊 Post engagement

📊 Activity & format

Recent posts

🐘 Community & instance

💡 Facts

🕵️ Fake follower check

About

🔀 Audience overlap

More like this

Frequently asked questions

✉ Message Joseph

🎤 Event / appearance with Joseph