🤝
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 analysis for 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.
S1m
17%
dilong
17%
John Aleshunas
17%
Jayson E. Street......---. 💙🤗💛
14%
Claus Hecking
12%
John Brayton
10%
More like this
Find more →
Mastodon
S1m ✓
@s1m@infosec.exchange
306
Followers
Mastodon
dilong
@dilong@sauropods.win
306
Followers
Mastodon
Jayson E. Street......---. 💙🤗💛
@jayson@defcon.social
306
Followers
Mastodon
Claus Hecking
@claushecking@dju.social
306
Followers
Mastodon
John Brayton
@johnbrayton@iosdev.space
306
Followers
Mastodon
John Aleshunas
@jaleshunas@mastoart.social
306
Followers
✉ 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.