BT
rss
Development Follow 748 Followers

Dependent-Types Language Idris Reaches 1.0

by Sergio De Simone Follow 21 Followers on  Apr 06, 2017

A few months after reaching what could be considered alpha stage, Idris 1.0 is out, writes Idris creator Edwin Brady, Lecturer in Computer Science at the University of St Andrews, UK.

Development Follow 748 Followers

Idris Getting Close to Version 1.0

by Sergio De Simone Follow 21 Followers on  Dec 19, 2016

Dependent types-based language Idris will soon reach version 0.99, which can be viewed as an alpha release of 1.0, according to the Idris team. Idris 1.0 is expected sometime around February 2017.

Development Follow 748 Followers

Facebook's and Twitter's SDKs for Apple tvOS Enable Onboarding and Analytics

by Sergio De Simone Follow 21 Followers on  Dec 03, 2015

Facebook and Twitter have released SDKs for Apple tvOS to provide support for onboarding, user verification, and analytics.

Followers

Agile is Giving Testers More Influence

by Ben Linders Follow 29 Followers on  Mar 28, 2015

There is an evolution going on in testing. It used to be that testing was about confirming to the specification. Testers were often brought in too late and had too little influence, but that is changing now as Cirilio Wortel explained in his talk on the evolution of software testing.

Followers

Cooperation between European Space Agency and Lero

by Michael Stal Follow 0 Followers on  Aug 19, 2011

As announced on 18th August 2011, the Irish Software Engineering Research Center (Lero) has signed a €300.000 contract for a research project with the European Space Agency (ESA). Goal of the research activities is to provide a solution framework for future space missions.

BT