Skip to content

Protocols Made Fun (Unofficial)

[email protected]

Open in a client

Unofficial automated RSS/Atom links from the source Protocols Made Fun, covering Entries discuss formal verification of Tendermint/distributed protocols using Apalache, Lean, and AI tools. Original creators are credited at the source; follow original links. Zaps support the independent feed operator, not the source creators.

2,363 followers4,070 followingactive 14 h ago

Loading profiles: 0 of 4,070

Saved versionsOne copy saved. If this is your account, you can put an older one back.Show

  1. Oct 30, 2026 (14 h ago)Current

    4,070 following

Restoring signs a new kind 3 event with your Nostr signer and publishes it to your relays. It replaces your current list.

Other profiles

John

[email protected]

🔒 Expert Linux & Privacy 🌐 Protège tes données, gagne ta liberté 💡 Outils éthiques & accessibles à tous 🐧 Linux & KDE fan 🔐 E2EE chiffrement de bout en bout ₿ Bitcoin maxi 💪Ici pour construire, éduquer, décentraliser

64 followers, active 1 d ago

RWATimes

@rwatimes

10 followers, active 4 d ago

Jan Kotas

[email protected]

Co-founder of Bitcoin Paraguay and Hacking Lives. Paraguay 🇵🇾 | Flag Theory | Bitcoin | Sovereignty Helping people opt out and live life on their own terms.

340 followers, active 2 h ago