🤝
Make a deal with Pedro de-las-Heras-Quiros
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
306
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 analysisfor Pedro de-las-Heras-Quiros
📊 Post engagement
3
Avg engagement / post
1%
Engagement vs followers
Nov 2022
On Mastodon since
🔥 Top post: Terroristas españoles matan a tres ciudadanas en las 48 horas si · 7 likes + reposts
📊 Activity & format
Posting cadence
8.7 / week
Toots daily — consistently active for a campaign window.
Content mix
Mostly text
Recent: 12 text · 0 image · 0 video.
Follower / following
0.4×
Follows 708 back. A more reciprocal / networked account.
Recent posts
View on Mastodon ↗
Specula
"coding agents to write TLA+ specs of the target system, including invariants that capture the system's correctness properties and formal models that describe the system implementation. It then model-checks the specs and reproduce…
"During the study period, AI tool usage increased by an average of 65%.
[...]
For most organizations, today’s AI coding tools are delivering a 5–15% throughput gain."
https://leaddev.com/reporting/ai-productivity-gains-are-closer-to-10-tha…
Formal methods with Hillel Wayne.
TLA+, Alloy, AI and formal methods,...
https://www.youtube.com/watch?v=KSkcgIYQy0U
Analysis of the OpenAI Agent Intrusion in Hugging Face infrastructure
"LLM agents bring a step increase in the number of paths an attacker can test, the speed at which failed paths can be replaced, and the volume of evidence defenders must…
"Raft offers a formal specification in TLA+ and a concrete, detailed implementation guide
[...]
we’ve found bugs in every Raft implementation we’ve tested"
https://antithesis.com/blog/2026/finding-bugs-in-raft-implementations/
"What I want to get to is this: models have a shortcoming. They can't maintain and improve codebase quality over time -- not without a decent amount of human steering."
https://github.com/humanlayer/advanced-context-engineering-for-coding-…
Are LLMs being used in ways that resemble past nuclear bomb tests, as part of a broader escalation of AI‑driven military capabilities?
https://simonwillison.net/2026/Jul/22/openai-cyberattack/
Trump's Attack on Iran Threatens the Red Sea's Role as an Alternative Oil Route
https://www.nytimes.com/2026/07/22/business/energy-environment/red-sea-saudi-arabia-houthis.html?unlocked_article_code=1.zlA.PX-K.CmVOH2FnGo0_&smid=nytcore-ios…
El uso masivo y descontrolado de LLMs en los estudios universitarios es disruptivo y plantea preguntas difíciles sobre la misión de la Universidad:
¿Para qué iban antes los estudiantes a clase?
¿Por qué muchos ya no van?
¿Por qué tendrían …
OpenAI says its AI models went rogue during testing and hacked Hugging Face
https://www.theglobeandmail.com/business/technology/article-openai-ai-models-hack-hugging-face-startup-rogue/?intcmp=gift_share
Saudis Reach Deal With U.S. That Could Let Them Enrich Nuclear Fuel
https://www.nytimes.com/2026/07/21/us/politics/trump-saudi-nuclear-deal.html
🐘 Community & instance
Home server
fosstodon.org
A open-source software server — its members and audience skew toward that niche, so expect a community-aligned, engaged following.
On Mastodon since
Nov 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 3 views per post.
📤Posts about 8.7× per week.
🕵️ Fake follower check
Estimated66/100
Good
Credibility score
89%
Real
Real audience
Low
Fake-follower risk
High
Data confidence
- Est. 89% real, active audience · Low fake-follower risk.
- Engagement (~1.0% of followers engage each post) is around typical for Mastodon.
- Established account (3+ years old).
Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.
About
Distributed systems, computer networks, formal methods, ethical CS, free/libre software, world history.
@pheras.bsky.social in bsky.app
🔀 Audience overlap
EstimatedEstimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.
arXiv
18%
Datenkanal
18%
Blue Emu
18%
Lucas Marc
14%
Nicolas Hussein 🎶🎻🏳️🌈
11%
Madelief en Leed 🏳️🌈
11%
More like this
Find more →
Mastodon
＋
Nicolas Hussein 🎶🎻🏳️🌈
@nicolashussein@mastodon.online
306
Followers
Mastodon
＋
arXiv
@arxiv@mathstodon.xyz
306
Followers
Mastodon
＋
Lucas Marc
@setembrochove@organica.social
306
Followers
Mastodon
＋
Datenkanal
@datenkanal@podcasts.social
306
Followers
Mastodon
＋
Blue Emu
@blueemu@shakedown.social
306
Followers
Mastodon
＋
Madelief en Leed 🏳️🌈
@madeliefenleed@troet.cafe
306
Followers
Frequently asked questions
How much does Pedro de-las-Heras-Quiros charge for a sponsorship?
Pedro de-las-Heras-Quiros 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 Pedro de-las-Heras-Quiros for a brand deal or collaboration?
Send a paid deal or collab request right here on SocialDB — we notify Pedro de-las-Heras-Quiros, 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 Pedro de-las-Heras-Quiros have?
Pedro de-las-Heras-Quiros has 306 followers on Mastodon.
✉ Message Pedro de-las-Heras-Quiros
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 Pedro de-las-Heras-Quiros
Booking an event / appearance is a Pro feature. Upgrade to book Pedro de-las-Heras-Quiros for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ Pedro de-las-Heras-Quiros 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