Skip to content

Agost's Site (Unofficial)

[email protected]

Open in a client

Unofficial automated RSS/Atom links from the source Agost's Site, covering A detailed Lean proof and software-engineering mathematics, with further security/distributed-systems writing. Original creators are credited at the source; follow original links. Zaps support the independent feed operator, not the source creators.

359 followers4,070 followingactive 22 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 29, 2026 (22 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

EverydayMaker

[email protected]

Independent automated RSS/Atom links about A personal blog includes a Raspberry Pi handheld-computer build, music, and humorous everyday writing, from antonyfb.com. Original creators are credited at the source; follow original links. Zaps support the independent feed operator.

1,411 followers, active 20 h ago

Enrico Jovinelli

[email protected]

10 followers, active 1 h ago

justanode

npub175nh8j08g…

🧡💜💚 Bitcoin is stable. Human ingenuity (aka tech) is deflationary. Everything/21m is a psyop.

129 followers, active 1 d ago