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 1 d 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 (1 d 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

zed

@zed-erwan☕️✏️🎨

Art by Zed DM with nostr if interess thx

22.9k followers, active 1 h ago

Texugo do BTC

npub1psskx4vxc…

Jesus é o caminho, a verdade e a vida!

11 followers, active 11 d ago

Patrick (Unofficial)

[email protected]

Unofficial automated RSS/Atom links to Patrick's work on Pilot-authored aviation commentary and history, including a first-person September 11 memory and safety. Original work is credited at the source; follow the source links. Zaps support the independent feed operator, not the author.

2,267 followers, active 1 d ago