Dependent-Types Language Idris Reaches 1.0
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.
A Preview of Coming Features in PostgreSQL 10
While PostgreSQL continues to progress towards its tenth major release in September 2017, EnterpriseDB Chief Architect and PostgreSQL contributor Robert Hass compiled a list of notable features that will likely make it into PostgreSQL 10 based on its official roadmap.
GCC 7.1 Released with Full C++17 Support
The latest GNU Compiler Collection major release, GCC 7.1, brings substantial new functionality, writes GCC maintainer Jakub Jelinek, including experimental support for the current C++17 draft, better diagnostics, and new optimizations.
Cap’n Proto Interchange Format Adds Windows Support and Many New Features
After nearly 2.5 years since its previous release, data interchange format and RPC system Cap’n Proto reached version 0.6, adding Windows support, security hardening, and more.