Web3 Security

Anyone here interested in formal methods? Kontrol plugs into your foundry tests to enable some really powerful stuff:

Anyone here interested in formal methods? Kontrol plugs into your foundry tests to enable some really powerful stuff:

https://runtimeverification.com/blog/kontrol-101

Because in a bull market, a 160 character narrative and a decent meme is enough to reach a popularity escape velocity

crypto

some bullrun advice from a mid-curve peasant who's been fumbling getting wealthy for 20 years now

some bullrun advice from a mid-curve peasant who's been fumbling getting wealthy for 20 years now 
https://medium.com/@paulstanlen/it-pays-to-be-mid-curve-in-a-crypto-bull-run-cec0642978a8

Base

Degen

I've been lurking here for a few weeks and still dont know how $degen works. I dont want to say I am too afraid to ask...

I agree it's a great business plan on that guys part

Ask security questions:

https://vitalik.eth.limo/general/2024/02/09/securityquestions.html

Farcaster

Serious question tho, how is it you still need a credit card to sign up for warpcast?

Cooking up a consumer onchain app 🪄 Best cappuccino and vibes seeker ☕ 🤙

Paul Len

@paull