🤝
Make a deal with Inductive nat : Set
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
56
Account age
7 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 Inductive nat : Set
📊 Post engagement
4
Avg engagement / post
7.1%
Engagement vs followers
Nov 2018
On Mastodon since
🔥 Top post: I will defend my Ph.D. "Towards an efficient and formally-verifi · 10 likes + reposts
📊 Activity & format
Posting cadence
0.03 / week
A lower-frequency account — each post lands with more weight.
Content mix
Mostly text
Recent: 8 text · 2 image · 0 video.
Follower / following
0.7×
Follows 78 back. A more reciprocal / networked account.
Recent posts
View on Mastodon ↗
My latest programming project is taking shape: https://github.com/Ekdohibs/subleq/blob/main/run.subleq
It is an implementation of a small Forth kernel for the extremely simple Subleq ( https://en.wikipedia.org/wiki/One-instruction_set_comp…
Je viens de recevoir un mail pour la création d'un compte sur un site, qui contenait la phrase suivante :
« Si le message d'erreur "Le certificat de sécurité de ce site Web présente un problème." est affiché, merci de bien vouloir cliquer …
After some more work, I have completed the second step towards my ocaml bootstrap: compiling the ocaml interpreter writter for the first step to C.
Compilation is hugely inefficient - running the ocaml compiler inside that interpreter can …
So, I finally finished by ocaml interpreter that is able to run the ocaml bytecode compiler and make it compile itself: it can be found at https://github.com/Ekdohibs/camlboot/blob/master/interp.ml .
The code is still quite ugly and needs …
La SNCF m'envoie un mail pour TGVmax pour m'annoncer qu'ils ont réglé leurs problèmes par rapport aux prélèvements. Par contre, dans la version texte brut du mail (enfin, la partie lisible pas noyée au milieu de trackers), ils ont repris l…
Je suis dans un train ou un avion, en fait ‽
Finding me on various git hosting websites:
- Github: https://github.com/Ekdohibs/
- Gitlab: https://gitlab.com/Ekdohibs
The ones I use less:
- Framagit: https://framagit.org/Ekdohibs
- Inria gitlab: https://gitlab.inria.fr/ncourant
Instan…
La propriété universelle bien connue d'#xkcd :
Pour tout sujet ou toute remarque en rapport avec des ordinateurs, il y a un xkcd sur ce sujet.
Question : y'a-t-il d'autres webcomics avec une propriété universelle sur d'autres sujets ?
Liste de projets fous à faire un jour (c'est vraiment raisonnable?) :
- Réécrire Bourbaki en espéranto, avec pour axiomes la théorie des ensembles
- Faire la même chose pour l'informatique
- Écrire un assistant de preuve pour la théorie de…
La SNCF m'envoie un mail pour TGVmax pour m'annoncer qu'ils ont réglé leurs problèmes par rapport aux prélèvements. Par contre, dans la version texte brut du mail (enfin, la partie lisible pas noyée au milieu de trackers), ils ont repris l…
Je suis dans un train ou un avion, en fait ‽
Finding me on various git hosting websites:
- Github: https://github.com/Ekdohibs/
- Gitlab: https://gitlab.com/Ekdohibs
The ones I use less:
- Framagit: https://framagit.org/Ekdohibs
- Inria gitlab: https://gitlab.inria.fr/ncourant
Instan…
La propriété universelle bien connue d'#xkcd :
Pour tout sujet ou toute remarque en rapport avec des ordinateurs, il y a un xkcd sur ce sujet.
Question : y'a-t-il d'autres webcomics avec une propriété universelle sur d'autres sujets ?
Liste de projets fous à faire un jour (c'est vraiment raisonnable?) :
- Réécrire Bourbaki en espéranto, avec pour axiomes la théorie des ensembles
- Faire la même chose pour l'informatique
- Écrire un assistant de preuve pour la théorie de…
🐘 Community & instance
Home server
framapiaf.org
Their home server on the fediverse — the instance a creator picks signals the community they belong to.
On Mastodon since
Nov 2018
An OG fediverse account from Mastodon's early years — a long, established presence.
💡 Facts
🗓️Joined Mastodon in 2018 — 7 years ago.
👁️Averages 4 views per post.
📤Posts about 0× per week.
🛡️ Audience credibility
80/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 (~7.1% of followers engage each post) — an active, real audience.
- Established account (7+ years old).
Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.
About
R&D engineer at OCamlPro, OCaml hacker, type systems enthusiast, math & games lover, core developer of Luanti.
she/her 🏳️⚧️
🔀 Audience overlap
EstimatedEstimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.
Ivana Daskalovic
15%
Defnet Media
15%
Harriet Jones
15%
Se toinen Petteri
14%
Nicky Bond
14%
Chris
11%
More like this
Find more →
Mastodon
Ivana Daskalovic ✓
@ivana@infosec.exchange
56
Followers
Mastodon
Se toinen Petteri
@pkarsisto@mementomori.social
56
Followers
Mastodon
Chris
@chris4man@mastodonapp.uk
56
Followers
Mastodon
Nicky Bond
@bondiela@mastodonapp.uk
56
Followers
Mastodon
Defnet Media
@defnetmedia@mastodonapp.uk
56
Followers
Mastodon
Harriet Jones
@harrietjonesct@newsie.social
56
Followers
✉ Message Inductive nat : Set
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 Inductive nat : Set
Booking an event / appearance is a Pro feature. Upgrade to book Inductive nat : Set for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ Inductive nat : Set 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.