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 🧵👇
@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@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.
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!
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.
https://t.co/JGyv77p9l5