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 20 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 (20 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

Bitcoin Portal Alerts

npub1xgz9n02xw…

Real-time Bitcoin alerts by thebitcoinportal.com

109 followers, active 7 h ago

T̸a̸n̶d̵r̵y̶ ̶L̶a̷k̶s̵a̵n̴a̴

[email protected]

Lawyer/₿itcoiner Legal Practitioners with more than 10y of experience on public/private-law under Indonesian Jurisdiction (accept ₿itcoin)

36 followers, active 6 d ago

diacisne/ディアさん

[email protected]

てっさくちゃんはいいぞ！ リレー用アカウントです！ メインアカウントをフォローしてください [@diacisne.bsky.social](https://bsky.brid.gy/r/https://bsky.app/profile/diacisne.bsky.social ) 頻繁にbioを変更してmomostrにkind0を送れないかテスト3

16 followers, active 2 d ago