divya (@div) header
divya (@div) profile picture

divya

@div
 nyc
instagram.com/divya
Joined December 2008
  • Tweets26.5K
  • Following713
  • Followers3.7K
1.4KMedia
Photo by divya (@div)Photo by divya (@div)Photo by divya (@div)Photo by divya (@div)Photo by divya (@div)Photo by divya (@div)Photo by divya (@div)Photo by divya (@div)Photo by divya (@div)Photo by divya (@div)
NYC is giving us the most “calm before the storm” sunset I’ve ever seen. #noreaster
Image from divya (@div)
1
388
Verus is an open-source, automated program verifier for Rust that mechanically checks code against a formal mathematical specification for all possible inputs. Amazon used it to prove correctness of Nitro Isolation Engine primitives. amazon.science/blog/developi…
Developing provably correct Rust code with Verus

Developing provably correct Rust code with Verus

How the Verus "program verifier", which automatically checks code against a mathematical specification of its functionality, helps increase security assurance in software projects.

amazon.science
8
69
14
540
74,540
Meet Amazon Nova Act — an effortless way to build AI agents that can reliably use browsers 🧑‍💻 With our new model, compose robust steps into complex workflows; handle everything from bookings to QA testing. Getting started takes just 3 lines of code. See what Nova Act can do 🧵👇
76
193
99
1,053
330,120
the irony of this "rebrand" having outdated brand assets available for download with "our logo is our most recognizable asset"... about.twitter.com/en/who-we-…
Image from divya (@div)
1
2
1,172
#makeTwittergreatagain Do you remember when you joined Twitter? I do! #MyTwitterAnniversary
Image from divya (@div)
1
1,771
My fave take on the Elon/Twitter takeover so far: “It’s giving Dunder Mifflin” nytimes.com/2022/11/04/podca…
Life Under Musk: Two Twitter Employees Speak Out (Published 2022)

Life Under Musk: Two Twitter Employees Speak Out (Published 2022)

A radical shake-up is underway at the social media company.

nytimes.com
1
second covid booster (bivalent) ✅ 2022 flu shot ✅ the next couple of days will be ROUGH 🥲
Officially accepted that summer is over by swapping out my seasonal wardrobe. #winteriscoming
1
The new Terminal C at LGA is beautiful (including the new Sky Club 😍) but the walk to the gates feels like an eternity.
1
3
I just want to know what Netflix’s OOH budget is 🤯
Empire State Building Observation Deck (@EmpireStateBldg) profile pictureEmpire State Building Observation Deck
@EmpireStateBldg27 May 2022
Welcome to the Empire Strange Building @Stranger_Things @netflix
1
7
Miami is finally playing like the #1 seed. #HeatNation 🔥
Finally watched this movie and wow. 🥲
This quoted post is unavailable.
Try viewing anyway · View on X
1
2
Some personal news: I’m joining @Amazon to lead digital marketing efforts for @AmazonScience. Excited for this next chapter! #DayOne 🚀
7
27
The last product launch I worked on at J&J:
Gizmodo (@Gizmodo) profile pictureGizmodo
@Gizmodo30 Mar 2022
Your Contact Lenses Can Now Seep Antihistamines Into Your Eyes, If You Want dlvr.it/SMg9pY
Image from Gizmodo (@Gizmodo)
4
What is happening
2
Traveling without having to set an out of office hits different. #funemployment
1
4
Besides work, funemployment has also made me forget about Wordle. Goodbye, streak. 🥲
Image from divya (@div)
savage
Instagram (@instagram) profile pictureInstagram
@instagram23 Mar 2022
Replying to @XComms
@TwitterComms
Screenshot of Instagram's Edit button.

ALT Screenshot of Instagram's Edit button.

3
After 5 years at J&J, today is my last day. What a ride it’s been, but looking forward to the next chapter. Now off to travel and chill for a few weeks. ✌🏽
4
13
As someone who’s lived in both…New York or nowhere.
natbalda (@natbalda) profile picturenatbalda@natbalda15 Mar 2022
LA vs NY… whats your take and why?
2
Load more