BT
rss

Idris Getting Close to Version 1.0

by Sergio De Simone 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.

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

by Sergio De Simone on  Dec 03, 2015

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

Agile is Giving Testers More Influence

by Ben Linders 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.

Cooperation between European Space Agency and Lero

by Michael Stal 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