News for hackers. Stuff that matters.

A comment on Cryptol DSL, a tool for writing correct crypto algorithms, is now open-source.

Re:Cryptol DSL, a tool for writing correct crypto algorithms... by Sephr on Thursday April 24, 2014 @06:08PM (#7643415)
I'm getting NXDOMAIN on the www link. Change it to the bare domain.
[ Parent | on HN ]
Re:Cryptol DSL, a tool for writing correct crypto algorithms... by acfoltzer on Thursday April 24, 2014 @07:11PM (#7643703)
It should be working again within minutes; sorry for the DNS snafu.
[ Parent | on HN ]