Skip to content

Mate Soos (Unofficial)

[email protected]

Open in a client

Unofficial automated RSS/Atom links to Mate Soos's work on Mate Soos’s current posts cover SAT solving/model counting, CryptoMiniSat, and academic research incentives. Original work is credited at the source; follow the source links. Zaps support the independent feed operator, not the author.

2,022 followers4,070 followingactive 19 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 (19 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

Sats4taxi

@sats4taxi

🚕 Taxi driver in Milan, Italy 🇮🇹 Bitcoin payment is accepted ⚡🧡 - I love posting Bitcoin related memes 😁

20 followers, active 29 d ago

Alfonso Siciliano (Unofficial)

[email protected]

Unofficial automated RSS/Atom links to Alfonso Siciliano's work on Findings are triage only. Original work is credited at the source; follow the source links. Zaps support the independent feed operator, not the author.

516 followers, active 22 h ago

OneNostrich

[email protected]

85 followers, active 15 d ago