Steph. Luis Rolland-Brabant ⁂

Steph. Luis Rolland-Brabant ⁂

Mastodon @stphrolland@mathstodon.xyz
⚔ Compare ☆ Watch Own this channel?
🤝

Make a deal with Steph. Luis Rolland-Brabant ⁂

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

📣Sponsored postOne disclosed post (toot) with your link and message. $12→ 🧵Sponsored threadA multi-post explainer or story — the fediverse rewards dept… $30→ 📦Product seeding / honest reviewSend me your product — I post a disclosed, honest take. Auth… $16→ 📌Pinned sponsored postA disclosed post pinned to the top of my profile for the mon… $36/mo→ 🔗Profile link (bio field)Your link in one of my profile metadata fields for the month… $18/mo→ 🔁Boost packageI boost (repost) your account's toots through the month — di… $24/mo→ 🏛️Instance / community sponsorshipSponsor the server I run — a sponsor line in the About/rules… $30/mo→ 🤝Mutual boost collabWe boost each other across instances — a value swap between … Swap→

Every booking is a normal escrow-protected deal.

Followers
548
Account age
3 yrs

Known for

#monad #tutorials3 views #monad #tutorials #TIL octothorpe for the hash-sign # From what I have skimmed it is a fancy fabricated word with no root in medieval calligraphy... I am disappointed https://en.wikipedia.org/wiki/Number_sign#Octothorp1 views #TIL octothorpe for the hash-sign # From what I have skimmed it is a fancy fabricated word with no root in medieval calligraphy... I am disappointed https://en.wikipedia.org/wiki/Number_sign#Octothorp

📊 Post engagement

4
Avg engagement / post
0.7%
Engagement vs followers
Jul 2023
On Mastodon since

🔥 Top post: Super happy to see this article: https://arxiv.org/pdf/2512.0751 · 15 likes + reposts

📊 Activity & format

Posting cadence
0.65 / 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.2×
Follows 2.9K back. A more reciprocal / networked account.

Recent posts

View on Mastodon ↗
🔥 Top post Super happy to see this article: https://arxiv.org/pdf/2512.07511 "Canonical bidirectional typechecking" by Zanzi Mihejevs & Jules Hedges @zanzi @julesh I have just skimmed the surface of the surface... but I like what I think I understand It seems to echoe some remarks long a… ★ 15
RE: https://mstdn.social/@hkrn/116846928587276258 Wow... I am a bit surprised QualcommLife was so so so touchy about using open source code... I would not have bet on the existence of Qualcomm Linux RE: https://dair-community.social/@emilymbender/116801119514947623 I wonder if this person includes Machine Learning, Statistics, down to linear regression as "AI". And if not, why this person is not more precise? A phenomenon I have notic… ★ 1 I'm far far from having studied all of his videos, but each one dedicated to the concept I wished to work, each one was really insightful... (for a mathematical approach, but that helps me cement the computer science interpretations) I lik… ★ 7 #TIL octothorpe for the hash-sign # From what I have skimmed it is a fancy fabricated word with no root in medieval calligraphy... I am disappointed https://en.wikipedia.org/wiki/Number_sign#Octothorp ★ 1 RE: https://social.treehouse.systems/@krutonium/116525249392086752 Not a critic. I just remarked, seeing this post, that it is been years I no longer use any desktop short cut. Not a single one. I think it started with fluxbox, then xmonad… #monad #tutorials ★ 3 RE: https://mathstodon.xyz/@BartoszMilewski/116481526974088084 Comma object are not something I can play with. Same for Fibers. And Limits... I have intuition, but not the ease of manipulating them in real definitions... Most of the Catego… ★ 1 RE: https://mas.to/@lxer/116481309100311546 #TIL #linux #bash shell features, well it's more a refresher on some features I never started to use... (except sudo !!) !$ !* $_ Ctrl+R fc !number <-- I have never really liked this one But also… ★ 2 RE: https://techhub.social/@ironicbadger/116474639394059755 I had spent years 2000->2013/16 thinking Microsoft Visual Studio was the best software in the world. It was my tool, the tool I love for everyday work, hugely specialized in C++, … ★ 2 I have adopted #nixos some years ago Today I have typed in my CLI: guix --version guix (GNU Guix) 1.4.0-unstable-2025-06-24 Copyright (C) 2025 the Guix authors License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html> I… ★ 8 #TIL vimv: bulk renaming of files, with a vim interface... Rarely a tool jumps from "unknown", to "I will use it intensively as of right now immidiately without restriction" #linux #toolbelt #vim #vimv #rename To test it with nix package m… ★ 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
Jul 2023
An established account with real history on the platform.

💡 Facts

🗓️Joined Mastodon in 2023 — 3 years ago.
👁️Averages 4 views per post.
📤Posts about 0.7× per week.

🛡️ Audience credibility

52/100 Fair
  • Est. 69% real, active audience · Medium fake-follower risk.
  • Engagement (~0.7% of followers engage each post) is around typical for Mastodon.
  • Follows 2.9K accounts — more than its own followers — a common follow-for-follow / bot pattern.
  • Established account (3+ years old).
Est. authentic audience
69%
Fake-follower risk
Medium
Data confidence
High

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

About

More Curious Amateur than Expert #Linux #NixOS #SoftwareCraft #FunctionalProgramming Denotational Design & Semantics Graph Theory & Transformation & Formal Grammars HoTT/UF/CategoryTheory Diagrams & Props Networks Machine Learning/Statistics/Probability Natural Language Processing Computational Linguistics Information Theory Dynamical Systems Pde/Chaos DSP Audio Math+Music/MamuX Lots of things to learn. Endlessly learning. Trolls say they are not trolls. I am a night elf.

🔀 Audience overlap

Estimated

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

GuB GuB 14% The Medley Interlisp Project The Medley Interlisp Project 14% Der_Gregor Der_Gregor 13% Chris Jags Chris Jags 13% infoDOCKET infoDOCKET 11% Arne Arne 11%

More like this

Find more →
Mastodon
infoDOCKET
infoDOCKET
@infodocket@newsie.social
548 Followers
Mastodon
Arne
Arne ✓
@feinschmeckergarten@norden.social
548 Followers
Mastodon
GuB
GuB
@gub@framapiaf.org
548 Followers
Mastodon
The Medley Interlisp Project
The Medley Interlisp Project ✓
@interlisp@fosstodon.org
548 Followers
Mastodon
Der_Gregor
Der_Gregor
@der_gregor@climatejustice.social
548 Followers
Mastodon
Chris Jags
Chris Jags
@chrisjagged@mastodon.social
548 Followers

✉ Message Steph. Luis Rolland-Brabant ⁂

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
See Pro $9.95/mo →

Already Pro? Log in.

🎤 Event / appearance with Steph. Luis Rolland-Brabant ⁂

Booking an event / appearance is a Pro feature. Upgrade to book Steph. Luis Rolland-Brabant ⁂ for an in-person or virtual appearance — payment held safely in escrow until the event is done.

  • ✓ Book them for events, livestreams, panels & more
  • ✓ Steph. Luis Rolland-Brabant ⁂ gets notified by email
  • ✓ Fee held in escrow, released after the appearance
See Pro $9.95/mo →

Already Pro? Log in.