Adi (tradeyourmeme.com) (@aditya_baradwaj) 's Twitter Profile
Adi (tradeyourmeme.com)

@aditya_baradwaj

Founder TradeYourMeme.com, @Astra_Markets
Ex-@AlamedaResearch engineer.
Previously at @Google and @UCBerkeley.

ID: 1306701602611290112

linkhttp://tradeyourmeme.com calendar_today17-09-2020 21:09:42

1,1K Tweet

18,18K Takipçi

5,5K Takip Edilen

Adi (tradeyourmeme.com) (@aditya_baradwaj) 's Twitter Profile Photo

rawdogging jupyter notebooks feels so archaic now without the AI support any good solutions for integrating llms into your jupyter notebook workflow?

Adi (tradeyourmeme.com) (@aditya_baradwaj) 's Twitter Profile Photo

More precisely, actions should be evaluated based on the utility/disutility they incur, and embryos almost certainly do not have the capacity to experience suffering

Adi (tradeyourmeme.com) (@aditya_baradwaj) 's Twitter Profile Photo

this is a huge and growing problem, and I think the only solution is to embrace formal verification in the future, software engineers will be mathematicians who model their problem domain with a type system and describe which lemmas/properties need to be provably true this

Adi (tradeyourmeme.com) (@aditya_baradwaj) 's Twitter Profile Photo

“why isn’t there a cheap, tasty, readily-available default food option that hits all my macros and that i can eat for every meal?” there is. it’s called Mexican food, and it’s awesome

“why isn’t there a cheap, tasty, readily-available default food option that hits all my macros and that i can eat for every meal?”

there is. it’s called Mexican food, and it’s awesome
Adi (tradeyourmeme.com) (@aditya_baradwaj) 's Twitter Profile Photo

we need an annual clandestine meeting of the small group of of shadowy software engineers controlling all of technology call it the “Builderberg Meeting”