Top Tweets for #OPLSS
Oregon Programming Languages Summer School (OPLSS) 2025 Lectures
https://t.co/yZJNfmG7yh
Types, Logic, and Formal Methods
#OPLSS
Goodbye Oregon, I had such a great time here! #OPLSS
Headed to Eugene, OR today for #OPLSS
Done with my #OPLSS lectures. I had fun! But, woah, 4 days, 4 zoom lectures, and tons of slack threads later and I'm kinda wiped. Extra respect for all you profs who've been doing this all the time.
Really enjoyed Sam Stanton’s lectures at #OPLSS. Describes a dream of type safe PPLs with a highly approachable introduction to Bayesian probability, measure theory and quasi-Borel spaces. Video recordings available here: https://t.co/ysczoKiw3N
#OPLSS does Quiplash
#OPLSS Amal telling us about contextual equivalence
@gordondym @asajeffrey I've a feeling this will be a topic of conversation at #OPLSS next week, so I will need to print this out for the plane!
We're entering the Big Run Up to #OPLSS in Eugene, Oregon in a fortnight. I can tell it's going to be a Good One! Preparing my lectures on probabilistic programming.
OPLSS 2019 registration is open! Last year was incredible, highly recommended. Three weeks of biking, hiking, climbing, and swimming in the oregon sun. Some PL probably snuck in there too. https://t.co/vZ5iOrkJlX #oplss
#OPLSS was such a treat! A huge thank you to Zena Ariola and Bob Harper for creating and developing what is now such an important event in the programming language research landscape.
At #OPLSS last night, Prof. Arvind asked us whether Twitter (social media) lets us engage in academic discourse, one student said yeah, but I couldn't disagree more with emphasis on "discourse". https://t.co/yUa359uonm
How Twitter degrades discourse and encourages distortions: illustrated by ex-Pentagon official @RGoodlaw https://t.co/RlhSunRLA4 by @ggreenwald
Finally got to meet and thank @aaron_turon in person for his beautiful, clear and inspiring PhD thesis[1] that helped me so much during grad school applications back in late 2016. Also, shout out to #OPLSS for making it happen. :)
[1]: https://t.co/ZbGxOQfFVM
@JoJo_the_Geek @JoannaSharrad Same here! I usually tell myself that if I am attending a conference and I do not understand some talks, I am probably not the only one. In #OPLSS, I got lost in the category theory intro after 1h. I thought I was the only one but I was part of the 30% who got lost too
Last Seen Hashtags on Sotwe
癌殺す能力３４０００倍
Seen from United Kingdom
รับงานอยุธยา
Seen from Thailand
aiporn
Seen from Turkey
直男飞机
Seen from United States
nolimits nolimits
ท้าวเวสสุวรรณโณ
Seen from Thailand
ometv
Seen from United Kingdom
omegle
Seen from Canada
ClimateResilience
Seen from United States
OneClickRegistration
Seen from United States
Most Popular Users
Elon Musk 
@elonmusk
241.5M followers
Barack Obama
@barackobama
119.1M followers
Cristiano Ronaldo
@cristiano
113.6M followers
Donald J. Trump
@realdonaldtrump
111.8M followers
Narendra Modi
@narendramodi
107.2M followers
Rihanna
@rihanna
98.5M followers
NASA
@nasa
92.4M followers
Justin Bieber
@justinbieber
91.7M followers
KATY PERRY
@katyperry
89.5M followers
Taylor Swift
@taylorswift13
83.4M followers
Lady Gaga
@ladygaga
74.9M followers
Virat Kohli
@imvkohli
72.6M followers
Kim Kardashian
@kimkardashian
70.7M followers
YouTube
@youtube
68.8M followers
Neymar Jr
@neymarjr
65.6M followers
Bill Gates
@billgates
64.9M followers
Selena Gomez
@selenagomez
62.6M followers
The Ellen Show
@theellenshow
62.3M followers
CNN
@cnn
61.8M followers
X
@x
60.8M followers