José A. Alonso

[email protected]

Followers

Following

3,596

Notes

# Zaps

Joined

8/26/2023

Last Active

27 days ago

NIP-05

Verified

Lightning

Not Setup

New

🎯ProfilestrDeveloping

49/100

📊VertexBuilding Trust

bottom 50%

🌐RelatrLow Trust

0.25

View on Spacestr

View on NostrZap

About

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

Rothbard Quotes

@rothbard

Murray Rothbard quotes

npub1y86a0u90jxax3j2v0unkxvhseesw5y5npc94q2xfnv2xkcln2c5s9y9cej

Last Active11h ago

potter

npub10cypcme76qt6ph5yj403ggw0ktfx4cezgpzfllmupe209s9g9ngq494e9c

Last Active3d ago

Sir Spencer, Wolf of KC 🐺

@Spencer

[email protected]

Co-host of Bowl After Bowl https://bowlafterbowl.com Value-for-Value consultant. Frequently nude, never under-dressed. With nostr:npub19ha7tju4teqp3dmwv4p28wrcy9zd6h6hxkg5mwvjrlfycweazpkse2q0fa since Block 146699 Bitcoin boi, lightning node operations off the chain. Worked with nostr:npub1udgz58rr47hxj963aytu6y4msuvpgmzgfwaz3q3hapj2d5j05clqwpd0ds to produce the world's first music album written, recorded and released exclusively for #DeMu #v4v https://ableandthewolf.com Need a podcast guest? Interview inquiries welcome! Email [email protected]

npub1yvscx9vrmpcmwcmydrm8lauqdpngum4ne8xmkgc2d4rcaxrx7tkswdwzdu

Last Active2d ago