Cryptol, Language of Cryptography, Now Available To the Public
solweil writes to mention that Cryptol, a 'domain specific language for the design, implementation and verification of cryptographic algorithms,' is now available to the public. Cryptol was originally designed for the NSA. It allows for a quick evaluation and continued revisions, and is available for Linux, OS X, and Windows.
First Post!
Thanks to the NSA, "Weed Man" isn't going to be opening any shops in any town.
We wiretapped his ass, and now we've decrypted the GPG emails he exchanged with his suppliers, we've got everything we need to lock him up for the rest of his life.
It will take decades and trillions of dollars, but someday, we'll have all of the Weed Men where they belong. IN JAIL.
Looks like the Technocrat 'creeps' are already migrating to /.:
http://news.slashdot.org/article.pl?sid=08/12/26/1126256