Jeremy Kun

Mastodon @j2kun@mathstodon.xyz

⚔ Compare ☆ Watch Own this channel?

🔄 Data last refreshed 2 hours ago

🤝

Make a deal with Jeremy Kun

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

Followers

1.8K

Account age

9 yrs

🧰 Free analysis for Jeremy Kun

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

Known for

3 views https://intheweights.com/p/jeremy-kun

I have an audio mystery, for any physics/music people out there. Context: I'm building a PVC pipe thongophone. This involves cutting PVC pipe to match certain frequencies for each note.
For C4, my highest note and shortest pipe, 261.6 Hz gives roughly 65.5cm. However, I'm led to believe, this length is incorrect for various reasons, not limited to temperature variation and end correction factors f

3 views I have an audio mystery, for any physics/music people out there. Context: I'm building a PVC pipe thongophone. This involves cutting PVC pipe to match certain frequencies for each note. For C4, my highest note and shortest pipe, 261.6 Hz gives roughly 65.5cm. However, I'm led to believe, this length is incorrect for various reasons, not limited to temperature variation and end correction factors f

📊 Post engagement

Avg engagement / post

0.2%

Engagement vs followers

Jun 2017

On Mastodon since

🔥 Top post: This thread of mine about triangle centers over at Bluesky is go · 13 likes + reposts

📊 Activity & format

Posting cadence

1.2 / week

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

Content mix

Mostly text

Recent: 10 text · 2 image · 0 video.

Follower / following

4.5×

Follows 395 back. A more reciprocal / networked account.

Recent posts

View on Mastodon ↗

🔥 Top post This thread of mine about triangle centers over at Bluesky is going wild: https://bsky.app/profile/did:plc:6st2p3o4niwz5olbxkuimxlk/post/3mle4efjxzk2u First I enjoyed an article, noting a small bit of irony and giving the author some charity: https://bsky.app/profile/jeremykun.c… ★ 13

Has anyone had a chance to check out the GapCVP result from OpenAI yet? A deterministic reduction from 3-SAT seems great, though a machine-written proof and a 5-MiB lean file is a lot to sift through without some expert to judge the high-l… An interesting datapoint: their marketing intern was able to prototype an FHE application using their tooling and agent skill. https://www.reddit.com/r/SideProject/comments/1uzd47d/i_have_zero_coding_experience_and_vibe_coded_an/ ★ 2 Another interesting homomorphic encryption update: Niobium has released open source tooling for their accelerator https://niobium.co/press/open-sourcing-niobium-fhe-developer-tools It's got a DSL, an agent skill, and tooling for working wi… ★ 2 Belfort released a nice homomorphic encryption demo today: CIFAR-10 inference in CKKS with GPU acceleration in 163ms. With round-trip latency, it's 200ms. Live web demo here: https://sofar.belfortlabs.cloud/ Some more details on their blog… ★ 5

https://intheweights.com/p/jeremy-kun ★ 3

I have an audio mystery, for any physics/music people out there. Context: I'm building a PVC pipe thongophone. This involves cutting PVC pipe to match certain frequencies for each note. For C4, my highest note and shortest pipe, 261.6 Hz g… ★ 3 I was surprised to find out yesterday that I have a poster at STOC's "Can AI do theory" workshop https://pritishkamath.github.io/ai-tcs-stoc-2026/ for this paper: https://arxiv.org/abs/2605.14718 > Adapting AlphaEvolve to Optimize Fully Ho… ★ 1 @pluralistic in re https://pluralistic.net/2026/05/28/we-live-in-a-society/ You may find this paper interesting, at least to expand the idea of what cryptography can do in the presence of the "wrench attack": https://eprint.iacr.org/2022/6… ★ 4 I love the header image as well: the torus is a lie. Something I've been saying in the FHE world, in so many words, for ages :) ★ 2 I feel like this could make for a good webcomic. ★ 2 I have been seeing a few papers here and there giving new variations of CKKS involving bivariate rings. Here's a nice blog post from Jules Dumezy on the variant that they're working on in the new Poulpy library: https://jdumezy.com/blog/bi… ★ 1

🐘 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

Jun 2017

An OG fediverse account from Mastodon's early years — a long, established presence.

💡 Facts

🗓️Joined Mastodon in 2017 — 9 years ago.

👁️Averages 3 views per post.

📤Posts about 1.2× per week.

🕵️ Fake follower check

Estimated

43/100

Fair Credibility score

73%

Mixed Real audience

Medium Fake-follower risk

High Data confidence

Est. 73% real, active audience · Medium fake-follower risk.
Low engagement (~0.2% of followers engage each post) — a sign of an inflated or inactive audience.
Established account (9+ years old).

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

About

Author of Math ∩ Programming currently doing homomorphic encryption @ Google. Based in Portland, OR.

🔀 Audience overlap

Estimated

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

repo 18%

oldfartjmb says FREE PALESTINE 17%

c0c0bird 16%

Florian Gilcher 13%

🐕 13%

Friend Computer 10%

More like this

oldfartjmb says FREE PALESTINE

@johnb48@mastodon.online

1.8K Followers

Mastodon

repo

@repo@mastodon-belgium.be

@jbenjamint@mastodon.scot

1.8K Followers

Mastodon

c0c0bird

@c0c0bird@chaos.social

1.8K Followers

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

Jeremy Kun

Make a deal with Jeremy Kun

Known for

📊 Post engagement

📊 Activity & format

Recent posts

🐘 Community & instance

💡 Facts

🕵️ Fake follower check

About

🔀 Audience overlap

More like this

✉ Message Jeremy Kun

🎤 Event / appearance with Jeremy Kun