José A. Alonso
10
Followers
0
Following
3,361
Notes
0
# Zaps
Joined
8/26/2023
Last Active
15 hours ago
NIP-05
Verified
Lightning
Not Setup
31
New
🎯ProfilestrDeveloping
53/100📊VertexBuilding Trust
bottom 50%🌐RelatrLow Trust
0.25About
Mathematician interested in the study and teaching of computational logic, functional programming (Haskell) and interactive theorem proving (Lean, Isabelle/HOL).
Activity
Replies75
Media Posts595
Total Sats Zapped⚡ 0
Details
Public Key (npub)
npub1pmahhjgr7nr8zmx56purp56y6747tds859tdu0x7rtq6t0ez4cwqfnv8pw
Hex Key
0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c
Discover More Profiles
RSS-to-Nostr of Quanta Magazine
RSS-to-Nostr feed of Quanta Magazine More RSS-To-Nostr can be found in my following list
20
Followers
23
Notes
0
# Zaps
Public Key
npub1zgq8uaxn40zt7celukwwsf262lv04qa0gfekzs0890wp2l0gzd7s5js2scLast Active21d ago
Minibits
@Minibits
[email protected]
₿ ecash and lightning wallet for instant, low-cost and private value transfers.
2,535
Followers
76
Notes
616
# Zaps
Public Key
npub1kvaln6tm0re4d99q9e4ma788wpvnw0jzkz595cljtfgwhldd75xsj9tkzvLast Active20h ago
eynhaender
[email protected]
AnCap | #Bitcoin
46
Followers
5
Notes
0
# Zaps
Public Key
npub15gd6hd2f98cszex2378uefgn35j63ykr974u3hmawv4ck54k3kpq4hwr8tLast Active16d ago