Absurdity of tunnels. Ban shovels? gravel?
-
-
Replying to @inthecloud247
@inthecloud247 nah, just need better sensors on our satellites.2 replies 0 retweets 0 likes -
Replying to @johanatan
@johanatan more sensors yes. And laser beams. Some precog algorithms.. Yess. Written in Haskell of course. Formally verified EyeofSauron.1 reply 0 retweets 0 likes -
Replying to @johanatan
@johanatan exciting world of Haskell-powered formally verified killing machines.
10:11 PM - 29 Jul 2014
0 replies
0 retweets
0 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.