Skip to content

Leonardo de Moura (Unofficial)

[email protected]

Open in a client

Unofficial automated RSS/Atom links from the source Leonardo de Moura, covering Recent entries discuss Lean-kernel soundness bugs and verification of Signal/Rust, directly relevant to open-source theorem proving and software security. Original creators are credited at the source; follow original links. Zaps support the independent feed operator, not the source creators.

1,892 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

jmb421

npub1huqwfyaqs…

prosthodontist

73 followers, active 15 d ago

广阔星空

npub13cpa483de…

301 followers, active 39 min ago

Wojtek Powiertowski (Unofficial)

[email protected]

Unofficial automated RSS/Atom links to Wojtek Powiertowski's work on Personal photography and life writing include watch collecting and family moments, with identifiable original bylines. Original work is credited at the source; follow the source links. Zaps support the independent feed operator, not the author.

2,963 followers, active 12 h ago