Hacker News new | ask | show | jobs
Cairo, a Turing complete language for writing provable programs, is released (medium.com)
3 points by midhunsezhi 2004 days ago