
Researcher @RareSkills_io | Formal Verification • Lean 4 • Program Correctness
Surat , Gujarat , India
Joined January 2022
- Tweets1.5K
- Following2K
- Followers381
- Likes3.8K
Got my copy of @KSHartnett’s book The Proof in the Code yesterday.
I’m on the verge of finishing the first part, and honestly, I didn’t expect to learn this much from it already.
Replying to @megabyte0x @RareSkills_io
We also have an awesome video on Modular Arithmetic and Finite Field: youtu.be/0lEwgX_zKqE?si=dDT2…
Replying to @sxohom
I think you will also love to hear this: youtu.be/LrdrcP2oiyU?si=Xla2…
🎉 I am very excited to 🔊announce that I am embarking on a new journey as a Technical Writer with the incredible team at @PinaxNetwork ! . Looking forward to craft meaningful content on #firehose and #substreams. Grateful for this opportunity! Let's document the future together
I got a buddy pass for @_nightsweekends s4.
Does anyone want it? If yes, dm me.
🎉 Excited and honored to be part of the @Consensys
Ambassador Program as a Product Pro! 🚀I. Special thanks to the @francescoswiss , @manbirmarwah and @crystaldstreet for making this possible!



