Join Nostr
researcher at Bloomberg 🅱️. somehow a computer doctor. 🐅

 posts about functional programming, metaprogramming, proof assistants, and sometimes about linguistics, or Turkey.

location: New York City
website: https://joomy.korkutblech.com
twitter: https://twitter.com/joomy
github: https://github.com/joom
Public Key
npub1rvnptjypsx9er4fd97hd08dc4jmluhwem9rkhcekwn44xpqdhy7qftt5h2
Profile Code
nprofile1qqspkfs4ezqcrzu365kjltkhnku2edl7thvaj3mtuvm8f66nqsxmj0qprpmhxue69uhhyetvv9ujumt0d4hhxarj9ecxjmnt96ynn4
Publishing to