At least I ' ll know which sites to never return to Edit Oops read that as pushing <| sep |> Is Monday going to be good for packs too ? I can ' t buy anything today because I ' m away from the PlayStation , I hope Cyber Monday has some offers . <| sep |> This could easily be one of the best examples on why I am sad I do not work retail . <| sep |> Do you have a favorite rendition ? <| sep |> what a load of horse shit <| sep |> I ' ve seen that talk when it came out and it ' s completely void of specifics . Then read the paper . In Eve ? No , in TLA , which is one of the inspirations for Dedalus , which is the basis of Eve . Eve currently hardly even exists , and it ' s not clear what uses its designers would optimize it for . I make no claims to Eve ' s utility , but it is theoretically interesting and built on very sound foundations both theoretical and practical synchronous languages are currently the languages most amenable to formal verification , and they ' re used in safetycritical systems with great success .