@remix7531
I work on formal verification for cryptography
Relays (3)
- wss://nostr.mom/ – read & write
- wss://nos.lol/ – read & write
- wss://nostr.bitcoiner.social/ – read & write
Recent Notes
Can't stop, won't stop. Announcing 17 new grants to move the needle towards freedom: formal verification, BitcoinerLAB, RewindBitcoin, Mastering Taproot, CDK, cashu-ts, Coco, krux-installer, libbitcoi...
If you are interested in formal verification. Check out the project website: https://remix7531.com
1❤️2
Check out my latest post "Learning Rocq with Software Foundations": https://remix7531.com/post/learning-rocq-with-software-foundations/
34,600,000,000 sats
nostr:nprofile1qqs8suecw4luyht9ekff89x4uacneapk8r5dyk0gmn6uwwurf6u9ruspzpmhxue69uhkumewwd68ytnrwghsz8nhwden5te0dehhxarj94c82c3wwajkcmr0wfjx2u3wdejhgtcqujekd 📈
https://blossom.p...
Thanks so much @OpenSats! Three months ago, if someone had told me I’d be working on formal verification for open-source cryptography, and actually getting paid for it, I never would have believed it. 100% remote and no annoying boss is the cherry on top.
15❤️13👍2🤙2❤️1🎉1🔥1
