2 ms·
At first I thought they were announcing a formal specification for PHP. Who's going to win the race to build the first formally verified blogging platform?
by cottonseed 12y ago
At first I thought they were announcing a formal specification for PHP. Who's going to win the race to build the first formally verified blogging platform?