baller.hodl
@baller.hodl
60
Followers
645
Following
47
Notes
9
# Zaps
Joined
5/2/2023
Last Active
9 days ago
NIP-05
Not Verified
Lightning
Available
🎯ProfilestrDeveloping
43/100📊VertexBuilding Trust
top 5%🌐RelatrModerate
0.51Activity
Replies31
Media Posts5
Total Sats Zapped⚡ 304
Details
Public Key (npub)
npub1ry8mf7lpaddzdh5ufu2yu6k2ganz3zuav6svzetr75snacdwm4pslhpa3z
Hex Key
190fb4fbe1eb5a26de9c4f144e6aca4766288b9d66a0c16563f5213ee1aedd43
Lightning Address
Discover More Profiles
José A. Alonso
[email protected]
Mathematician interested in the study and teaching of computational logic, functional programming (Haskell) and interactive theorem proving (Lean, Isabelle/HOL).
10
Followers
3,596
Notes
0
# Zaps
Public Key
npub1pmahhjgr7nr8zmx56purp56y6747tds859tdu0x7rtq6t0ez4cwqfnv8pwLast Active20d ago
TheD
@TheD
15
Followers
21
Notes
0
# Zaps
Public Key
npub1ssjyj7u4at08tc8zlmrq87xrj6jkjrnhacg78t0v4ue04x8l646ssx7uh5Last Active8d ago
Ente
[email protected]
End-to-end encryption for your Photos. No ads, no tracking, fully open source.
40
Followers
187
Notes
0
# Zaps
Public Key
npub1zt83z2fgmet6pw4vf5l0948qpqqv4gm3s7azuq0z6zm5sjsgthwskek934Last Active22d ago