Mon 26 January 2015

[GTLL] Retour sur la Matinale de l'Innovation "Logiciel libre et sécurité" en vidéo

Un événement coorganisé par Systematic Paris-Region (Groupes thématiques Logiciel Libre et Confiance Numérique & Sécurité) et l'Initiative de Recherche et Innovation en Logiciel Libre (IRILL) et qui a eu lieu le vendredi 12 décembre 2014.

Franche réussite pour cette matinale axée sur le "logiciel libre & Sécurité".

Retour sur le Programme proposé >>>

Voici un retour en vidéo :

TAGS:

logiciel librematinalessécuritéSystematic

[GTLL] Retour sur la Matinale de l'Innovation "Logiciel libre et sécurité" en vidéo

Un événement coorganisé par Systematic Paris-Region (Groupes thématiques Logiciel Libre et Confiance Numérique & Sécurité) et l'Initiative de Recherche et Innovation en Logiciel Libre (IRILL) et qui a eu lieu le vendredi 12 décembre 2014.

Franche réussite pour cette matinale axée sue le "logiciel libre & Sécurité".

Retour sur le Programme proposé >>>

Voici un retour en vidéo :

TAGS:

logiciel librematinalessécuritéSystematic

Fri 23 January 2015

[Pilot Systems] Cloud broker : ni cathédrales, ni briques jetables mais DSI durable

La tendance est de prédire aux DSI la fin des cathédrales et d?inciter à la fabrication rapide de briques jetables. Le Cloud broker à l?écoute des entreprises françaises aura une approche plus nuancée et une orientation de développement responsable et durable.

Thu 22 January 2015

[Adacore] RTECC Santa Clara

Jan 22, 2015 – Santa Clara CA, USA

AdaCore is an exhibitor at this event.

Mon 19 January 2015

[Adacore] New form of pragma Warnings for specific tool

Users of GNATprove can now specify pragma Warnings for GNAT and GNATprove separately, to selectively disable warnings from the compiler or the formal verification tool, using the syntax
  pragma Warnings (GNATprove, ...);
for GNATprove-specific warnings, and
  pragma Warnings (GNAT, ...);
for GNAT-specific warnings. This also allows detecting useless pragma Warnings with switch -gnatw.w, which was not possible previously as using this switch caused the tools to issue spurious warnings on the those pragma Warnings meant for the other tool.

Sun 18 January 2015

[Adacore] Better error recovery for WHEN in place of WITH

The compiler now handles the case of WHEN used accicentally instead of WITH to introduce aspect specifications, and gives a clear error message.

[Adacore] Add support for derived types

AWS's wsdl2aws tool has now full support for derived types. The namespace for the parent type is properly used when generating the corresponding Ada code. This has make it possible to clean-up some old code to handle Ada Character mapping for example. Any type derivation level is properly handled.

[Adacore] Add support for external schema

It is now possible to use WSDL with references to external schema. In this case, wsdl2aws tool, will check the schema locally and load it if found.

Sat 17 January 2015

[Adacore] New documentation on floating-point

A new section on "Floating-Point Operations" is added to the users guide. This section documents the infinity/NaN behavior of most GNAT ports, and also describes the -msse2 and -mfpmath=sse2 switches to force use of SSE2 arithmetic operations when the target is an x86.

Fri 16 January 2015

[Bearstech] Phar away

For a long time, PHP dependencies were a curse. It didn’t hurt anyone: each project embeded its owns libraries, reinventing the wheel each time. Now, there is Pear/PECL for sharing libraries and modules, and PHAR, an archive file format. In one PHAR file, you can put distinct files, and PHP can use it as a folder or even access files inside it. There is compression option, too. The magic of PHAR is its header. You can put a shebang (#!/usr/bin/env php) and some code before the archive blob. Your PHAR can be an application, including all needed parts in one file, cross plateform. You just need a php-cli installed somewhere, and your PHAR file.

But.

The PHAR is painful to read, it can use ZIP or TAR container, and compress with ZIP or BZ2. Your application is now a blob. Trust me, I’m a blob. There is no cli to unphar your blob, you have to write some throwable PHP script to read the code.

Now, PHP applications are delivered as a PHAR, wget that “.io” ending URL and trust them. Don’t care about trust, versionning or even signature, you never bath in the same river.

You are looking for sources? Composer is a tool used for fetching dependencies and building PHAR applications. Ok, I want to read its source, and build it. Composer use Composer to build itself. There no more bootstrap anywhere, you HAVE to download a blob somewhere on Internet. You need an egg to build a chicken.

You want to build a linux package? you know, the thing for deploying coherent version of an application, with its dependencies, and later upgrading. The application is opensource, but you have to download a blob, or building source with another blob. And you will sign this package, coming from somewhere. PHAR format handles checksum, but not signing.

Few package formats handle signature, but when the content of the package is a blob, the signature is mandatory.

Wed 14 January 2015

[Adacore] Car electronics Japan show

Jan 14-16, 2015 – Tokyo, Japan

AdaCore will be an exhibitor in this event (represented by ITAccess).

[Adacore] GB: Debugger field added to toolchain editor

Debugger command can be displayed and changed in the toolchain editor.