3Show HN: A weekly newsletter of technical Web3 interview questions (opens in new tab)(jumpdest.substack.com)1mmmmkay2y ago1
4Building Robinhood's Non-Custodial Wallet While Auditing Smart Contracts (opens in new tab)(rss.com)1mmmmkay2y ago0
5Jumpdest's First Ever Smart Contract Security Contest Just Started Now (opens in new tab)(jumpdest.dev)1mmmmkay2y ago0
6Quint – a new language based on TLA+ with modern syntax and developer tooling (opens in new tab)(github.com)5mmmmkay2y ago1
8Inconvergent/Cl-Grph: In-Memory Immutable Graph Structure with Datalog (opens in new tab)(github.com)2mmmmkay2y ago0
12Bug Bounty Wall of Shame – A leaderboard for projects who rug bug bounty hunters (opens in new tab)(bug-bounty-wall-of-shame.github.io)2mmmmkay3y ago0
13A Smart Contract Auditor Shows How They Hack Smart Contracts (opens in new tab)(youtube.com)4mmmmkay3y ago1
14Proofs, Arguments, and Zero-Knowledge [pdf] (opens in new tab)(people.cs.georgetown.edu)3mmmmkay3y ago0
