ineol1
Re:The Rustonomicon: The Dark Arts of Advanced and Unsafe Rust Program...
on Sunday July 10, 2016 @01:58PM (#12066451)
Derek Dreyer and collaborators are working on specifying what needs to be proven about unsafe code, see http://plv.mpi-sws.org/rustbelt/
Re:Mysteries of Dropbox: Property-Based Testing of a Synchronization S...
on Thursday November 26, 2015 @04:51PM (#10634899)
To give more context, B. Pierce, one of the authors of the Dropbox paper is (one of?) the main author of Unison, and also coauthor of the paper you linked.
EDIT: The parent cited http://www.cis.upenn.edu/~bcpierce/papers/unisonspec.pdf by Pierce in 2004, where the authors stressed the difficulty of writing a specification for a file synchronizer, in this case Unison.
Re:GitHub's Code of Conduct
on Tuesday August 11, 2015 @04:05PM (#10043970)
Given his support of GamerGate (http://matthewhopkinsnews.com/?cat=64) I don't really think his opinion on this matter are very fair and balanced...
Re:Guide for Technical Development
on Tuesday May 12, 2015 @01:16PM (#9533278)
Isn't Coq's language, Gallina, not Turing complete (all functions must terminate)? It's still a programming language.
Re:Proving false in Coq using an implementation bug
on Tuesday March 24, 2015 @07:04PM (#9260160)
It's for _any_ such system.
Edit : it says that if there is such a proof, then the system in inconsistant.
Re:‘Goodbye Photoshop’ and ‘Hello Krita’ at University Paris 8
on Friday January 16, 2015 @09:58AM (#8899234)
It's their PR photos.
There are these too (and many more on that blog) : http://universiteenruines.tumblr.com/image/103057236913 http://universiteenruines.tumblr.com/post/104835621673/nosta...