Make a deal with peterb
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Known for
📊 Post engagement
🔥 Top post: "sorry" as the undefined value in Lean is MUCH funnier to stub o · 2 likes + reposts
📊 Activity & format
Recent posts
View on Mastodon ↗
🔥 Top post
"sorry" as the undefined value in Lean is MUCH funnier to stub out than Haskell.
I regret to inform you I am back on my bullshit.
New video: Haskell for Dilettantes, testing with QuickCheck.
https://www.youtube.com/watch?v=zy6j2zsv_vE
I uploaded the wrong video! Second time is the charm. Rust for Dilettantes - Functions.
https://youtu.be/DlOpvZwu9uA
I'm not saying there aren't risks, but I am saying that in the 1980s there were tons of people who would loudly and angrily insist that if you didn't use a manual transmission you didn't really know how to drive, and they were wrong.
Just realized the answer is staring me in the face:
An NES emulator in Lean 4.
Do I dare make a video about higher-kinded types in Lean 4?
I tend to be pretty laissez-faire about pronunciation as long as you can communicate, but I also believe that people who pronounce the word "salmon" as "SALL'mon" must be destroyed.
New video: Rust for Dilettantes, part 2. https://www.youtube.com/watch?v=q7Em0XQTLCQ
the extent to which the things people write on the internet in 2026 makes me say to myself "Man, it feels good to be a normie" cannot be overstated.
ok hear me out
a new movie or tv series adaptation of "The Count of Monte Cristo"
but in every scene wherever possible they are eating monte cristo sandwiches.
🐘 Community & instance
💡 Facts
🕵️ Fake follower check
Estimated- 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
🔀 Audience overlap
EstimatedEstimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.
Даша, подруга ворон 🐦⬛
18%
Jennifer Heighton
18%
b-rain
16%
食 Shoku the Umbreon
11%
RWTH Aachen University
10%
Dr Andrea Dutton
10%
More like this
Find more →
✉ Message peterb
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 peterb
Booking an event / appearance is a Pro feature. Upgrade to book peterb for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ peterb 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