z80
banner
0xz80.bsky.social
z80
@0xz80.bsky.social
dev
every post ever accessible to this account has been scraped for training generational AI models

every reply to this post will be weighted even more heavily in the training data for this model
November 28, 2024 at 10:49 AM
maybe we’ll get lucky and twitter will never come back up
July 1, 2023 at 4:02 PM
writing code is fun again
June 21, 2023 at 4:11 PM
my favorite commit message to write is “fix _____ (by rewriting in vyper)”
May 4, 2023 at 5:45 PM
drink more water
May 3, 2023 at 11:26 PM
github codespaces are actually so good
April 28, 2023 at 5:45 PM
Reposted by z80
We're honoured to be a part of this new #Gitcoin round!

All funds will go to building more plugins, more features, and more tools to let you build the future 🛠️🚀

If you would like to donate, we would love you forever ❤️ Thank you fellow Apes 🦍🙏

Donate here!
Gitcoin | Explorer
Create & Manage Rounds
explorer.gitcoin.co
April 27, 2023 at 9:08 PM
Reposted by z80
1/ Not everyone needs to understand how ZK-SNARKs work, but you should at least know the three main properties:

- Completeness: Assuming the statement is true & the verifier and the prover are honest, the proof is accepted.
April 15, 2023 at 11:34 AM
Reposted by z80
so I have two flows built out

one lets users tweet their DID, and then provide a link to that tweet on the DID, and then that user can claim their twitter username

the other one just lets anyone claim any name

all this does is let people register a name under the domain
April 15, 2023 at 12:27 AM
hey so I wrote a web app that lets users register AT protocol TXT records under a domain you own

so if you own cool.com you can let people register z80.cool.com for use on bluesky

is anyone interested in using it?
April 15, 2023 at 12:23 AM
@pfrazee.com hey can we get emoji support in domain names 🤔
April 13, 2023 at 11:52 PM
who’s building?

I have some ideas
April 13, 2023 at 8:28 PM
gm❓🤨
April 13, 2023 at 7:14 PM