BT

New Early adopter or innovator? InfoQ has been working on some new features for you. Learn more

rss

Dependent-Types Language Idris Reaches 1.0

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

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