🤝
Make a deal with Bulhwi Cha
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
37
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 analysisfor Bulhwi Cha
📊 Post engagement
2
Avg engagement / post
5.4%
Engagement vs followers
Nov 2022
On Mastodon since
🔥 Top post: I'll Still Write Formal Proofs by Myself ChatGPT 5.2 Thinking pr · 5 likes + reposts
📊 Activity & format
Posting cadence
0.36 / week
A lower-frequency account — each post lands with more weight.
Content mix
Mostly text
Recent: 12 text · 0 image · 0 video.
Follower / following
0.1×
Follows 304 back. A more reciprocal / networked account.
Recent posts
View on Mastodon ↗
Here are some of the things I've been working on lately:
1. Reading "Formal Languages and Compilation."[1] I need to know how to write parsers to develop a video game that teaches mathematics, computer science, and logic.
2. Reading Chapte…
From https://codeberg.org/small-hack/open-slopware:
> Free/Open Source Software tainted by LLM developers/developed by genAI boosters, along with alternatives.
EDIT: I fixed the statement of the above theorem. See https://leanprover.zulipchat.com/#narrow/channel/116395-maths/topic/accessibility.20and.20descending.20chains/near/581309657.
A state-of-the-art AI agent like GPT-5.4 still can make mistakes about basic concepts in Lean's type theory. I don't recommend using AI agents as one's first source of knowledge. See https://leanprover.zulipchat.com/#narrow/channel/219941-…
When I was in high school in 2012, I read the formal definition of a function on Wikipedia and it blew my mind. One year later, I dropped out of high school and tried to rigorously define everything in high school mathematics from scratch.…
From https://danielchasehooper.com/posts/code-agents/:
> First off, You should review everything it does.
>
> Secondly, You dictate how you use it, so instead of prompts like “implement this whole feature, k thanks bye”, do things like “r…
I had difficulty explaining Nat.below and Nat.brecOn in Section Structural Recursion and Induction of Theorem Proving in Lean 4. Sadly, I'll have to record a video of myself doing it again because my explanation missed the point. Still, I'…
Lately, I've been reading Mario Carneiro's PhD thesis on Metamath Zero (MM0) and watching his tutorial. I want to use MM0/MM1 and Lean for developing my educational video game.
• Git repository: https://github.com/digama0/mm0
• PhD thesis:…
I want a Korean grammar checker that is better than Bareun Hangeul (바른 한글, "Barun Hangul"), but doesn't rely only on large language models (LLM).
• Bareun Hangeul: https://nara-speller.co.kr/speller/
From https://lkml.org/lkml/2006/1/25/273:
> I think it's insane to require people to make their private signing keys available, for example. I wouldn't do it. So I don't think the GPL v3 conversion is going to happen for the kernel, since …
I've replaced my NVIDIA GeForce GTX 1660 SUPER with a Wuthering Waves edition of AMD Radeon RX 7700 XT. It works great! Now I can play Clair Obscur: Expedition 33.
🐘 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 2 views per post.
📤Posts about 0.4× 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 (~5.4% 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.
About
I aim to create video games and other media for learning STEM disciplines. Pronouns: he/him/his.
🔀 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
＋
1ban.news
@1ban_news@mastodon.social
37
Followers
Mastodon
＋
pharoSTudios
@pharostudios@mastodon.scot
37
Followers
Mastodon
＋
Matt Johnson
@onlymattjohnson@indieweb.social
37
Followers
Mastodon
＋
foodcentric
@foodcentric@sfba.social
37
Followers
Mastodon
＋
Angus
@grango@mastodon.nz
37
Followers
Mastodon
＋
Yegor Wienski
@wienski@mastodon.gamedev.place
37
Followers
Frequently asked questions
How much does Bulhwi Cha charge for a sponsorship?
Bulhwi Cha 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 Bulhwi Cha for a brand deal or collaboration?
Send a paid deal or collab request right here on SocialDB — we notify Bulhwi Cha, 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 Bulhwi Cha have?
Bulhwi Cha has 37 followers on Mastodon.
✉ Message Bulhwi Cha
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 Bulhwi Cha
Booking an event / appearance is a Pro feature. Upgrade to book Bulhwi Cha for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ Bulhwi Cha 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