BT

Your opinion matters! Please fill in the InfoQ Survey!

rss
Development Follow 194 Followers

Dependent-Types Language Idris Reaches 1.0

by Sergio De Simone Follow 5 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 194 Followers

Idris Getting Close to Version 1.0

by Sergio De Simone Follow 5 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 194 Followers

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

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

Login to InfoQ to interact with what matters most to you.


Recover your password...

Follow

Follow your favorite topics and editors

Quick overview of most important highlights in the industry and on the site.

Like

More signal, less noise

Build your own feed by choosing topics you want to read about and editors you want to hear from.

Notifications

Stay up-to-date

Set up your notifications and don't miss out on content that matters to you

BT