Project Lasso now has a new home page (http://open.loglogic.com/lasso) at the newly launched LogLogic Community Portal (http://open.loglogic.com).
All news and discussions related to Project Lasso should take place there.
Thanks
Jian