LostInWeb3
175 posts
LostInWeb3
@LostIn_Web3
Working remotely in Web3 Company from 🇮🇩 Web3 runs 24/7… me? I run on naps and iced coffee | Team https://t.co/JsauYgcgyJ
Jakarta Katılım Temmuz 2023
90 Takip Edilen54 Takipçiler
Indonesia
Gm, we just launched a mini @ns here in Indonesia called the Web3 Education Center, with our grand opening happening in the next 2 days.
We plan to replicate this model across more than 5 big universities in Indonesia in the next 1 years.
A small space for every big dream. Let’s collaborate 🙌
IDNFT@idnft_
Web3 is coming to Surabaya! 🌐 Grand Opening Web3 Education Center (WEC) & Superteam Campus Club Blockchain Lab yang terbuka untuk umum. Tempat baru buat eksplorasi Web3, Blockchain, Crypto dan AI langsung dari sumbernya. Talk Show: "From Community to Global Industry" Perspektif langsung dari: EKRAF – Dandy Yudha Feryawan (Direktur Teknologi Digital Baru Kementerian Ekonomi Kreatif) @UpbitID – Resna Raniadi (CEO) @SuperteamINDO – Steven Wijaya Save the Date: 📅 29 April 2026 🕗 08.00 WIB - Selesai 📍 Universitas Kristen Petra, Gedung T (SBM), Sebelah Hush Puppies & Ruang AVT Lantai 5 (Seminar) See you there, Future Builders!
English
Being "consistent" is one of the hardest and most challenging parts of a journey. Yall agree with this?
English
I wonder what you guys expect when you actually sign up for some brand's newsletter?
English
@sosmedkeras Sering banget denger gini, tapi kok sales gw gapernah gini ya? selalu di layanin sampe akhirnya 3 kali beli dari dia terus.
Indonesia
Did you take the ZK bootcamp with Rareskills and finish it? Check your email now! Peace ✌️
English
Hit me up if yall wanna play Padel at 8PM tonight. Bangka/kemang area (splot bill).
English
@shashanator89 Now thinking of sharing my experience working under the same roof
English
Fasting isn’t as hard as job hunting.
The cheat code? Apply through @RareTalent_xyz and book a call! No need to wait for sunset, just book the call.
GIF
English
@guy_de For my case, more than 2L a day for sure and about 2,5-3gram a day before workout only.
English
TLDR; How I got into RareSkills and ended up co-authoring a book on formal verification.
On June 10, 2024, I got an unexpected call and was laid off due to restructuring. Within minutes, life went from feeling stable to full of uncertainty. I still remember having tears in my eyes while telling my mother about this.
From the very first day, I knew the traditional job hunt wasn't going to work for me. I needed to do something different.
At the time, the audit space was booming and there was a lot of buzz around formal verification. Out of curiosity, I started learning it using the Certora Prover. Instead of just learning quietly, I began documenting everything I understood.
A few months later, I messaged @Jeyffre on Twitter and asked if @RareSkills_io planning to publish formal verification content and whether I could contribute. I was honest. I was still learning, but I loved teaching and was willing to put in the work.
That conversation turned into a call, then an opportunity to join RareSkills, and eventually into working on this book.
RareSkills@RareSkills_io
After nearly a year of writing and revision, we’re proud to finally present a new book from RareSkills, created in collaboration with @Certora: Formal Verification with the Certora Prover Certora makes formal verification accessible—but for newcomers, there’s still a large set of unfamiliar concepts to learn. Teaching a broad and unfamiliar field comes with pedagogical challenges. Dive into projects too early, and you’re forced to use syntax you don’t yet understand. Delay compelling applications too long, and readers lose interest. We worked carefully to balance showing “cool examples” without presenting anything that feels magical—i.e., concepts the reader hasn’t yet built a mental framework for. Our hope is that this work helps formal verification become a more standard part of development and auditing. Clocking in at well over 60,000 words, this is not a small book. But like any RareSkills publication, it’s information-dense yet approachable, thorough without being academic, and above all, practical and illuminating. In a space that quickly jumps from one meta to the next, we’re proud to collaborate with a company willing to invest in long-horizon projects that make Web3 safer. Link in the reply.
English
As much as I want Drake Maye to win the Super Bowl, but Sam Darnold deserves it doe.
English
@shashanator89 So becoming disciplined is still easier than becoming a North Korean hacker. Ill go to the gym...
English
What is discipline and commitment?
Ask the North Korean hackers. They grind 24/7, fake identities & work experience and pull off crypto heists like pros.
Meanwhile, some of us ghost the gym mid week...
English