Ton Chanh Le

Introducing Vana Academy: a 9-week program to build the frontiers of the new AI data economy and launch a successful data capital business. If you're interested in the market potential of user-owned data, this is your launchpad. Apply Now 🧵👇

This is bullish.

Anna showing the growth in data contributions to @UNWRAPPED_DATA the new Spotify DataDAO on Vana 🎵 🚀

@JoeBiden Liar! This year we need to pay more for summer programs.

From including funding for after-school and summer programs to hiring more teachers, counselors, and school psychologists, our American Rescue Plan helped deliver critical support for schools.

@JoeBiden Liar!!!

We’ve created 12.7 million jobs—nearly 800,000 new manufacturing jobs. Unemployment is at a 50-year low. Workforce participation is at its highest in 15 years. We're building an economy that leaves no one behind.

@USCIS My I-140 and I-485 are getting dust at Nebraska Service Center since 03/2021 while I see many later cases got approval. Please processing cases fairly.

USCIS is doing everything necessary to use all available employment-based immigrant visas. We are working to identify adjustment of status applications with available immigrant visas that lack a valid Form I-693 (immigration medical examination form).

@USCIS 449 days and more waiting for your jurisdiction. It is the main source of my mental stress and anxiety. #MakeNSCWork

Your mental health matters. If you feel you need help with your mental health but don't know where to start, this infographic may help guide you. To find help and support, visit: #MentalHealthAwarenessMonth" target="_blank" rel="nofollow noopener">nimh.nih.gov/health/find-he…

@USCIS @POTUS @USCISDirector Please speed up the processing time of I-140 NIW at Nebraska Service Center. Its pace is too slow.

In response to @POTUS’ Executive Order 14012 (Restoring Faith on our Legal Immigration System), an interagency working group was established. We're excited to report on the group’s progress & provide their strategy for promoting naturalization. Learn more: uscis.gov/sites/default/…

@USCIS @USCISDirector Please listen to us, I-140 NIW applicants. I have been waiting for the jurisdiction from Nebraska Service Center for 14 months. I am tired of checking the status day by day in hopeless.

It's official. Thank @NSF for funding our work on dynamic temporal analysis for safety and liveness properties nsf.gov/awardsearch/sh…

@_thannd I hope that I can meet you in Chicago.

After 5 years, I am working on the termination problem again. I am happy to share that our work on dynamic analysis for termination and non-termination proofs is conditionally accepted at OOPSLA. Yeah!

@JCParking The No Parking sign opposite 49 Waverly St is covered but I and many other people still got tickets when parking there. Pls fix.

I wrote an article on preparing good artifacts for evaluation in PL/SE/Systems conferences. It draws upon my experiences with artifact evaluation at PLDI, ISSTA, and OOPSLA. rohanpadhye.github.io/Artifact-Evalu…

My first post at the new SIGPLAN blog: Gradual Typing from Theory to Practice blog.sigplan.org/2019/07/12/gra…

New achievement: Two papers accepted at top tier ACM conferences in the same year @PLDI @splashcon.