ℹ️ This listing was auto-generated from Mastodon's public data. Rachit hasn't claimed it, and it doesn't imply any partnership with or endorsement of SocialDB.
Is this you? Claim it · Request removal (free).
🤝
Make a deal with Rachit
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
417
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 analysis for Rachit
📊 Post engagement
16
Avg engagement / post
3.8%
Engagement vs followers
Jan 2023
On Mastodon since
🔥 Top post: Hardware design should be SAFER! Memory-safe software languages · 88 likes + reposts
📊 Activity & format
Posting cadence
0.56 / week
A lower-frequency account — each post lands with more weight.
Content mix
Mostly text
Recent: 12 text · 0 image · 0 video.
Follower / following
2.4×
Follows 172 back. A more reciprocal / networked account.
Recent posts
View on Mastodon ↗
For the PL folks: I want to quickly prototype a structurally-typed DSL. I need to express a combination of linear, affine, and non-linear resources (ADTs + functions).
What language would you recommend for this? I know Haskell has a linear…
Phew, survived the first grant submission and now onto prepping my first lecture! People weren't joking when they said you can't no-life as a prof. because you'll still have commitments tomorrow 😆
People keep asking me what the "Rust for hardware design" would look like. Those who know their PL history know that, before we could build Rust, we had to define ideas like "Memory Safety".
A hopefully uncontroversial take is that Memory …
new acmart! time to CONFORM TO THE MACHINE!!!
Folks showing up to ASPLOS: would there be interest in having a "junior faculty social"? I used to organize in-person socials for PhD students at PLDI (pltea.github.io) and think it would be fun to have an excuse to meet the cohort of juni…
do people have favorite readings that motivate different styles of formal semantics?
i find it easy to motivate operational semantics to non-experts ("it's just an interpreter!") but motivating denotational and axiomatic are less obvious.
Curious about some programming languages history: when/where did the idea of "Memory Safety" come from? Is there a good source that traces its development and formalization?
I have a long-running beef with the word "transpiler" so I wrote another post trying to (1) formalize the various definitions of "transpiler" people give me, and (2) describing why they don't work (for me): https://people.csail.mit.edu/rac…
Becoming an advisor is learning to value all of the awesome teaching resources your colleagues make!
I cannot imagine what I would do if large swathes of PL and Compiler course curricula were not open-source!
"Program testing can be used to show the presence of bugs, but never to show their absence!"
Formal verification can used to show spec-conformance, but not correctness!
Do people have recommendations for courses on HW verification with good (publicly-accessible) lectures and assignments to follow?
[I am thinking of @adrian's exceptional CS 6120 self-guided compiler's course as a golden reference.]
🐘 Community & instance
Home server
discuss.systems
Their home server on the fediverse — the instance a creator picks signals the community they belong to.
On Mastodon since
Jan 2023
Joined in the Twitter-exodus wave of late 2022 — part of the migration that made Mastodon a real destination.
💡 Facts
🗓️Joined Mastodon in 2023 — 3 years ago.
👁️Averages 16 views per post.
📤Posts about 0.6× per week.
🕵️ Fake follower check
Estimated80/100
Excellent
Credibility score
97%
Real
Real audience
Low
Fake-follower risk
High
Data confidence
- Est. 97% real, active audience · Low fake-follower risk.
- Strong engagement (~3.8% 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
PhD Student @ Cornell | Programming Languages and Computer Architecture
🔀 Audience overlap
EstimatedEstimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.
avs :donor:
17%
Ricardo F. Diogo :loading:
17%
MizzBassie
13%
Mistheart
13%
Pinko Palest
12%
Nangpa 🇳🇴
11%
More like this
Find more →
Mastodon
avs :donor: ✓
@avs@infosec.exchange
417
Followers
Mastodon
MizzBassie
@mizzbassie@toot.cat
417
Followers
Mastodon
Pinko Palest
@pinkopalest@kafeneio.social
417
Followers
Mastodon
Mistheart
@mistheart@masto.es
417
Followers
Mastodon
Ricardo F. Diogo :loading:
@ricardofdiogo@masto.pt
417
Followers
Mastodon
Nangpa 🇳🇴
@nangpa@oslo.town
417
Followers
✉ Message Rachit
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 Rachit
Booking an event / appearance is a Pro feature. Upgrade to book Rachit for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ Rachit 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.