Ramneet Singh(@Ramneet_Singhh) 's Twitter Profileg
Ramneet Singh

@Ramneet_Singhh

Visiting Researcher @gatech_scs | Senior Undergraduate in CS at IIT Delhi | Research in PL+ML | Learning Category Theory | Sports + Music + Food (in that order)

ID:1533448588759420933

linkhttps://ramneet-singh.netlify.app/ calendar_today05-06-2022 14:00:12

590 Tweets

481 Followers

2,9K Following

Ramneet Singh(@Ramneet_Singhh) 's Twitter Profile Photo
Ramneet Singh
@Ramneet_Singhh

9 hours ago

The disguised drop from Anmol oof. Itโ€™s so nice to watch her play.

account_circle
Ramneet Singh(@Ramneet_Singhh) 's Twitter Profile Photo
Ramneet Singh
@Ramneet_Singhh

2 days ago

This World Cup keeps giving us medals :)

account_circle
Ramneet Singh(@Ramneet_Singhh) 's Twitter Profile Photo
Ramneet Singh
@Ramneet_Singhh

3 days ago

When they stop you from seeing one sport, see another! Watch the Archery World Cup on Sony LIV people, India is dominating the entire Compound field :)

account_circle
Ramneet Singh(@Ramneet_Singhh) 's Twitter Profile Photo
Ramneet Singh
@Ramneet_Singhh

3 days ago

I came to India from the US literally hours ago and this is what happens๐Ÿ˜ญ๐Ÿ˜ญ

account_circle
Ramneet Singh(@Ramneet_Singhh) 's Twitter Profile Photo
Ramneet Singh
@Ramneet_Singhh

5 days ago

More vericool work!

account_circle
Ramneet Singh(@Ramneet_Singhh) 's Twitter Profile Photo
Ramneet Singh
@Ramneet_Singhh

1 week ago

New podcast found, life is good.

youtu.be/LifpyuEbBI4?siโ€ฆ

account_circle
jonathan selvaraj(@jon_selvaraj) 's Twitter Profile Photo
jonathan selvaraj
@jon_selvaraj

1 week ago

No Indian woman wrestler has ever made two Olympic teams. Vinesh Phogat just earned her third Olympic quota. Massive moment for one the greats of Indian sport. But there's at least one person who won't be very happy with this.

No Indian woman wrestler has ever made two Olympic teams. Vinesh Phogat just earned her third Olympic quota. Massive moment for one the greats of Indian sport. But there's at least one person who won't be very happy with this.
account_circle
Ramneet Singh(@Ramneet_Singhh) 's Twitter Profile Photo
Ramneet Singh
@Ramneet_Singhh

1 week ago

โค๏ธ

account_circle
(s)ad Astra ๐Ÿณ๏ธโ€โšง๏ธ๐Ÿณ๏ธโ€๐ŸŒˆ(@astradiol) 's Twitter Profile Photo
(s)ad Astra ๐Ÿณ๏ธโ€โšง๏ธ๐Ÿณ๏ธโ€๐ŸŒˆ
@astradiol

1 week ago

Mike just casually dropped the following on github last night, which is a new proof assistant that implements a type theory that is a common generalisation of dTT and HOTT!
github.com/mikeshulman/naโ€ฆ

account_circle
Ramneet Singh(@Ramneet_Singhh) 's Twitter Profile Photo
Ramneet Singh
@Ramneet_Singhh

1 week ago

Slide from a wonderful talk I'm watching - the citation for the Turing Award given to Robin Milner in 1991.

Slide from a wonderful talk I'm watching - the citation for the Turing Award given to Robin Milner in 1991.
account_circle
Ramneet Singh(@Ramneet_Singhh) 's Twitter Profile Photo
Ramneet Singh
@Ramneet_Singhh

1 week ago

Best thing I've read in a while. Happy birthday to your Appa, Sanjana!

account_circle