José A. Alonso
10
Followers
0
Following
3,596
Notes
0
# Zaps
Joined
8/26/2023
Last Active
19 days ago
NIP-05
Verified
Lightning
Not Setup
29
New
🎯ProfilestrDeveloping
49/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
Replies4
Media Posts645
Total Sats Zapped⚡ 0
Details
Public Key (npub)
npub1pmahhjgr7nr8zmx56purp56y6747tds859tdu0x7rtq6t0ez4cwqfnv8pw
Hex Key
0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c
Discover More Profiles
Piriya ⚡🟧
@Piriya ⚡🟧
[email protected]
Bitcoin is the antidote to the Fiat poison.
4,610
Followers
3,216
Notes
2,830
# Zaps
Public Key
npub1prya33fnqerq0fljwjtp77ehtu7jlsjt5ydhwveuwmqdsdm6k8esk42xcvLast Active19d ago
Thomas
@radmakr
Building on NOSTR and Bitcoin
124
Followers
170
Notes
40
# Zaps
Public Key
npub1cj90x4rdphxzctp0gd52w28pqc709rf7jhhs0e7tf2766s50na4s56d7myLast Active22d ago
Kyle 🐆
@Kylesantiago
[email protected]
🔐 Don’t Trust, Verify GPG: 0x23ae8a8ea7e24e38
94
Followers
197
Notes
23
# Zaps
Public Key
npub1acr7ycax3t7ne8xzt0kfhh33cfd5z4h8z3ntk00erpd7zxlqzy3qrn2tqwLast Active17d ago