Anyone here interested in formal methods? Kontrol plugs into your foundry tests to enable some really powerful stuff: https://runtimeverification.com/blog/kontrol-101
- 0 replies
- 0 recasts
- 0 reactions
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
- 0 replies
- 0 recasts
- 0 reactions
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...
- 0 replies
- 0 recasts
- 1 reaction
