Garrett Figueroa✓ Add us as a preferred source on Google

Mastodon @djspacewhale@mathstodon.xyz

⚔ Compare ☆ Follow Own this channel?

🔄 Data last refreshed 22 days ago

🤝

Make a deal with Garrett Figueroa

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

Followers

102

Account age

3 yrs

🎁 Free analysisfor Garrett Figueroa

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

Known for

#introduction I'm Garrett, a newly-minted math MS from Montana State. I'm interested in homotopy type theory & proof assistants (particularly on the "assistant" side, e.g. streamlining their use, implications on written proofs and math communication). Besides math, I've played viola for most of my life, and enjoy talking about movies, cooking/baking, playing board games and video games (especially

44 views #introduction I'm Garrett, a newly-minted math MS from Montana State. I'm interested in homotopy type theory & proof assistants (particularly on the "assistant" side, e.g. streamlining their use, implications on written proofs and math communication). Besides math, I've played viola for most of my life, and enjoy talking about movies, cooking/baking, playing board games and video games (especially

I've been getting really into DIY computer stuff and configuring my @archlinux setup of late and want to share some updates and projects I like.
- Configuring my niri window manager and noctalia shell has been a good bit more awkward than just using GNOME and PaperWM at times but I'm finally getting it to a place where I really like the result and it feels good! Using keybinds for things I'd have

2 views I've been getting really into DIY computer stuff and configuring my @archlinux setup of late and want to share some updates and projects I like. - Configuring my niri window manager and noctalia shell has been a good bit more awkward than just using GNOME and PaperWM at times but I'm finally getting it to a place where I really like the result and it feels good! Using keybinds for things I'd have

📊 Post engagement

📊 Activity & format

Posting cadence

0.15 / week

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

Content mix

Mostly text

Recent: 10 text · 2 image · 0 video.

Follower / following

0.4×

Follows 277 back. A more reciprocal / networked account.

Recent posts

View on Mastodon ↗

🔥 Top post #introduction I'm Garrett, a newly-minted math MS from Montana State. I'm interested in homotopy type theory & proof assistants (particularly on the "assistant" side, e.g. streamlining their use, implications on written proofs and math communication). Besides math, I've played v… ★ 44

#puzzmo #circuits https://puzzmo.com/play/circuits/cokzw1q04/share took me a while today, was very uncertain about a particular clue but I did get it in one try 😤 I'll be teaching math at the Community College of Denver this fall!!! After job hunting for nearly the past two years and working several odd jobs since and during my master's, I'm so grateful and excited to be back in the classroom and su… ★ 4

I've been getting really into DIY computer stuff and configuring my @archlinux setup of late and want to share some updates and projects I like. - Configuring my niri window manager and noctalia shell has been a good bit more awkward than… ★ 2 I think the biggest advantage the #AUR has over #nixpkgs is readability. I've never so much as read a PKGBUILD before two weeks ago and today was able to adopt an orphaned library project with not too much hassle, PKGBUILDs being just suga… https://puzzmo.com/play/circuits/z32iyo1fwg/share feeling good about my performance on today's circuit! #puzzmo Here's a cute combinatorial conundrum. I'm certain this has been thought about before, but this is my first time thinking about it and I'm not sure if this problem has a standard name. Let [𝑛] be the set with 𝑛∈ℕ elements, let 𝑆ₙ↻[𝑛] be th… ★ 3 I graduated in December and have been searching for work ever since. It's been nearly a year, then, and I've applied for what feels like thousands of jobs in different industries and also service jobs, and all I have to show for it is a we… ★ 3 formal verification fans after the Torment Nexus is verified for correctness: "hey, at least no one can hack our Torment Nexus!" (for reference: https://en.m.wiktionary.org/wiki/Torment_Nexus) ★ 1 There's a session tomorrow morning on 'homotopical combinatorics' which I imagine would make great brain food as ideas for the univalent-combinatorics part of UniMath, but sadly it's a time conflict with a job fair (important material prio… I'm at #JMM2025 ! ★ 1 evil algebraic topologists are all like "let 𝑋 be a mean space 😈" ★ 8

🐘 Community & instance

Home server

mathstodon.xyz

Their home server on the fediverse — the instance a creator picks signals the community they belong to.

✅ Link-verified

Verified link

Proved ownership of a website linked on their profile — Mastodon's green-check verification, a real identity signal rather than a paid badge.

On Mastodon since

Dec 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 8 views per post.

📤Posts about 0.2× per week.

🕵️ Fake follower check

Estimated

75/100

Good Credibility score

92%

Real Real audience

Low Fake-follower risk

High Data confidence

Est. 92% real, active audience · Low fake-follower risk.
Engagement (~7.8% of followers engage each post) is around typical for Mastodon.
Verified account.
Established account (3+ years old).

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

About

figuring things out as we go

🔀 Audience overlap

Estimated

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

to_sc 18%

dutifullyyoungavenue 18%

Flous :dwm: :arch: :freebsd: 17%

Jez Caudle :verified: 16%

BestMacFly 13%

mitim 11%

More like this

Find more →

Mastodon ＋

Jez Caudle :verified: ✓

@jezcaudle@infosec.exchange

102 Followers

Mastodon ＋

BestMacFly

@bestmacfly@troet.cafe

102 Followers

Mastodon ＋

to_sc ✓

@kirchenstill@chaos.social

102 Followers

Mastodon ＋

dutifullyyoungavenue

@dutifullyyoungavenue@mastodon.social

102 Followers

Mastodon ＋

mitim

@mitim@mastodon.social

102 Followers

Mastodon ＋

Flous :dwm: :arch: :freebsd: ✓

@lgeurts@fosstodon.org

102 Followers

Frequently asked questions

How much does Garrett Figueroa charge for a sponsorship?

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

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

Garrett Figueroa has 102 followers on Mastodon.

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

Garrett Figueroa✓ Add us as a preferred source on Google

Make a deal with Garrett Figueroa

Known for

📊 Post engagement

📊 Activity & format

Recent posts

🐘 Community & instance

💡 Facts

🕵️ Fake follower check

About

🔀 Audience overlap

More like this

Frequently asked questions

✉ Message Garrett Figueroa

🎤 Event / appearance with Garrett Figueroa