Show HN: A weekly newsletter of technical Web3 interview questions j jumpdest.substack.com 1 mmmmkay 3 years ago 1 comments
Building Robinhood's Non-Custodial Wallet While Auditing Smart Contracts r rss.com 1 mmmmkay 3 years ago 0 comments
Jumpdest's First Ever Smart Contract Security Contest Just Started Now j jumpdest.dev 1 mmmmkay 3 years ago 0 comments
Quint – a new language based on TLA+ with modern syntax and developer tooling g github.com 5 mmmmkay 3 years ago 1 comments
Inconvergent/Cl-Grph: In-Memory Immutable Graph Structure with Datalog g github.com 2 mmmmkay 3 years ago 0 comments