Spark-2014.org

New 70-page report explains how to reduce safety certification effort through Ada language and qualified AdaCore tools RSRR 2016, PARIS, June 28, 2016 - AdaCore today announced the publication of AdaCore Technologies for CENELEC EN 50128:2011. Authored...

avatars in sharing dialog (WIP screenshot) February is the month that ownCloud development picked up steam, following the holiday period and the release freeze. ownCloud 8.0 was released on the 9th so code was free to flow in again, resulting in over...

Codes of conduct became a key issue for discussion and activism in 2014, in part kicked off by Ashe Dryden’s Code of Conduct Pledge in February of that year. And while many tech conferences and even local meetups adopted a code of conduct this year,...

Want events and other Boston news delivered to your inbox bright and early each morning? Of course you do – sign up for our lifestyle newsletter, In The Know, right here. Looking for tech networking events? Here. OK, let's get started ... The holidays...

The OCaml Labs initiative within the Cambridge Computer Laboratory is now just over two years old, and it is time for an update about our activities since the last update at the end of 2013 and 2012. The theme of our group was not to be pure research...