Researcher @RareSkills_io | Formal Verification • Lean 4 • Program Correctness

Surat , Gujarat , India
Joined January 2022
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.
1
5
188
Replying to @sxohom
I think you will also love to hear this: youtu.be/LrdrcP2oiyU?si=Xla2…
95
🎉 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
8
19
540
I got a buddy pass for @_nightsweekends s4. Does anyone want it? If yes, dm me.
84
🎉 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!
3
139