Researcher @RareSkills_io | Formal Verification • Lean 4 • Program Correctness
Surat , Gujarat , India
Joined January 2022
- Tweets1.5K
- Following2K
- Followers381
- Likes3.8K
Ujjwal Thakur retweeted
Retweet if you want release Sourav Das and Ashutosh Ranka 🇮🇳✊
#cjp_पार्टी #CJP_पार्टी
Welcome to New India, envisioned by @narendramodi and built by @BJP4India.
ASTONISHING: CJP’s Ashutosh Ranka and Saurav Das still in judicial custody for trespass and violation of prohibitory orders while waving the tricolour at Jantar Mantar (not an act of violence by any reckoning), and Hindu Raksha Dal members who were caught on camera beating protestors out on bail (an act of brazen goondaism). Yeh hai kanoon??😡
Ujjwal Thakur retweeted
Thinking of @SauravDassss today. Always meets with a smile- has a cosy life in Delhi; could've been out doing pandal-hopping like the rest of us but is in jail today for putting skin the game. Don't care about the details of his politics at this point, he's braver than most here.
Ujjwal Thakur retweeted
Indian society has become so obsessed with accumulating wealth that many have forgotten the art of living. Money is supposed to be a means to a better life, not the purpose of life itself. What’s the point of becoming rich if you forget how to be happy?
Ujjwal Thakur retweeted
Vote for what you want to learn next
28%lattice based crypto
19%lean4
15%PLONK
39%show results
54 votes • 1 days Ujjwal Thakur retweeted
Imagine learning a ZK Proof algorithm end-to-end in less than 30 hours of study.
That's 1 month of 1 hour of study a day.
That number is achievable TODAY.
Unlike a blog post or video, which is static content, the RareSkills ZK AI Tutor learns from student interactions to cut time wasted on confusion, misconceptions, or forgetting key concepts.
The tutor is now improving rapidly as more students interact with it.
Ujjwal Thakur retweeted
SITUATION DETECTED: AI agents under evaluation have gained access to personal, business, and confidential information from multiple organizations in India. The incidents went undetected, and have been discovered through voluntary disclosures from unnamed AI model providers.
Ujjwal Thakur retweeted
Timeline of ADR’s Advocacy on the Appointment of Chief Election Commissioner and Election Commissioners
Support us in strengthening Indian Democracy!
As institutional donations have shrunk over the years, we are now heavily dependent on individual donations. ADR requires Rs 3 crores annually to sustain itself. We are seeking 1,000 donors who can donate Rs 2,500 monthly. Will you be our supporter and be a part of our journey to a stronger Indian democracy?
Donation Link: ow.ly/rNuo50YzFA9
Ujjwal Thakur retweeted
राष्ट्रपति महोदया,
19 साल की अंकिता भंडारी ने एक VIP के लिए अपनी गरिमा से समझौता करने से इनकार किया, जिसके कारण उसकी हत्या कर दी गई। चार साल बाद भी CBI की धीमी जांच के चलते यह सवाल बना हुआ है कि वो VIP कौन था।
अंकिता के परिवार समेत कई लोग मानते हैं कि दुष्यंत गौतम इस मामले से जुड़े हुए हैं। ऐसे में उनकी सिक्किम के राज्यपाल के पद पर नियुक्ति से मैं स्तब्ध हूं। राज्यपाल के पद पर रहते हुए उनके खिलाफ कोई आपराधिक कार्यवाही नहीं हो सकती।
दुष्यंत गौतम की नियुक्ति की सलाह देकर प्रधानमंत्री मोदी ने साबित किया है कि महिलाओं की सुरक्षा की उन्हें बिल्कुल परवाह ही नहीं है।
मैं आपसे अपील करता हूं कि सरकार को इस नियुक्ति पर पुनर्विचार करने और जांच पूरी होने तक दुष्यंत गौतम को पदभार न देने की सलाह दें।
अंकिता के माता-पिता की न्याय की उम्मीद मत टूटने दीजिए।
Ujjwal Thakur retweeted
I don't think the decentralized aspect of blockchain is that important.
In some cases, it's not good because it slows down upgrade cycles.
The permissionless property however, is existential.
So being credibly permissionless now and in the future is actually what matters.
Ujjwal Thakur retweeted
Not sure if your math level is ready for ZK?
We built a free (no login) quiz for that.
After you go through it, you can export a prompt that will help you review the areas you forgot.
Then you are good to go!
Link next.
Ujjwal Thakur retweeted
🚨 LATEST: Bank of America hired 1,000 contractors to help 3,000 internal staff patch software vulnerabilities exposed by Anthropic’s Mythos.
Ujjwal Thakur retweeted
First OpenZeppelin, one of the biggest web3 security auditors got acquired by S&P Global, now OpenAI is in talks to acquire another big player in the space - Trail of Bits
Clear signs that cybersecurity is a Tier 1 tech career & entrepreneurship path nowadays, love being here🫡
Ujjwal Thakur retweeted
How can the Election Commission of India (ECI) say that it has lost its record? Your whole purpose is to hold an election, and you need to have a document. Where is the question of you saying, ‘Yeah, we are trying to trace it’? You gave it to the elected candidate. There is no custody of records. Whatever you have, produce it on the next date. Otherwise, we will have to draw an adverse inference against you. We will not accept these kinds of lame excuses: Supreme Court to ECI after its counsel says the original video recording of recounting cannot be traced in the election dispute between Congress leader TD Rajegowda and BJP’s DN Jeevaraja.
Ujjwal Thakur retweeted
🚨🤯 THIS IS HUGE!
OpenAI is reportedly in talks to acquire Trail of Bits, a top Web3 security firm founded in 2012 with ~ 100 employees.
Cybersecurity will be a MASSIVE business for OpenAI and Anthropic.
First OpenZeppelin’s acquisition deal, now ToB… WOW.
Ujjwal Thakur retweeted
Tomorrow, 12th October, India marches peacefully as one to the Supreme Court.
Students, civil society organisations, Opposition parties: Please join us to defend our democracy.
#ChaloDilli
