Hommage à Frances Allen

92
19
août
2020
Science

Frances Allen est la première informaticienne à avoir reçu en 2006, la plus haute récompense en informatique, le prix Turing, pour ses travaux sur l’optimisation des compilateurs. Elle vient de décéder, le jour de son anniversaire, à 88 ans. Frances Allen a conçu et écrit des compilateurs indépendants des machines et des langages rendant ainsi possible la création des compilateurs optimisés modernes. Le secteur entier de l’informatique lui doit énormément.

Toute sa longue carrière, 45 ans, s’est exclusivement déroulée chez IBM ou elle est entrée le 15 juillet 1957 pour prendre sa retraite en 2002. Avec elle, c’est un pan important de l’histoire de l’informatique qui disparaît.

Plutôt qu’une banale nécrologie qui va, forcément, faire un peu plagiat, la forme d’une interview imaginaire, donne l’occasion d’aborder l’histoire de l’informatique et des thèmes qui lui étaient chers, principalement la place des femmes en informatique, sujet qu’elle a abondamment abordé dans un discours après la remise de son prix Turing.

Journal Bootstrap Binary seed

60
4
fév.
2019

Demat'iNal,

J'ai été frappé (ouille) par cet exposé au FOSDEM 2019.
Le sujet sous-jacent était « comment arriver à un compilateur C » à partir de… source. Et il est vrai que jamais je ne m'étais posé la question sous cet angle : arriver à faire qu'un compilateur pour un langage X soit écrit dans ce même langage X suppose… que l'on ait déjà un compilateur pour X. Ce problème se gérant soit par la disponibilité d'un autre compilateur, soit (…)

TuxMake et le noyau Linux

60
9
mar.
2022
Linux

La compilation du noyau Linux est souvent présentée comme étant triviale : un appel à make et c’est réglé.

Cependant les choses se compliquent vite si l’on souhaite :

  • cross-compiler
  • utiliser différentes toolchains (ou versions)
  • reproduire une compilation sur une autre machine
  • utiliser une toolchain non-supportée par sa distribution

En connaissant bien le fonctionnement de sa distribution et les règles de compilations du noyau Linux, c’est tout à fait faisable même si cela reste fastidieux. D’ailleurs, beaucoup de développeurs du noyau possèdent un jeu de scripts maison pour cela.

Afin de rendre cela accessible à tous, Linaro a créé et maintient TuxMake.

Journal OSX, Windows, GNU/Linux Toolchains

Posté par  . Licence CC By‑SA.
47
12
déc.
2013

Depuis maintenant plus d'un an je travaille avec Ray Donnelly sur l'ajout dans l'outil crosstool-ng du support de Darwin(OSX) comme système cible.

Nous avons depuis maintenant un moment une solution fonctionnelle et somme en train de faire les demandes de patch pour que notre fork, ceci est plus une sandbox qu'un fork à proprement parlé, soit directement intégré dans la version officielle de crosstool-ng

De base, crosstool-ng est un outil permettant de générer des chaînes de cross-compilation depuis un (…)

Petit éventail des outils de construction (« builder ») libres

Posté par  . Modéré par patrick_g. Licence CC By‑SA.
43
5
sept.
2011
Ligne de commande

Je vous propose dans cette dépêche de revenir sur la panoplie d'outils de construction qui s'offre à nous (c'est à dire les outils permettant d'automatiser les étapes de préprocessing, compilation, éditions des liens, etc).
Je ne cherche pas à faire un comparatif, mais juste à les décrire pour en faire ressortir les avantages et inconvénients ainsi que les cas d'utilisation. Cette dépêche peut être vue comme un état de l'art allégé des outils de construction libres.

Je tiens à remercier les contributeurs de cette dépêche :

  • GeneralZod
  • tiennou
  • NedFlanders
  • claudex

Ce sont eux qui ont écrit la majeure partie de cette dépêche et qui l'ont améliorée et complétée grâce à leurs connaissances et au temps qu'ils y ont consacré.

Cette dépêche a pour objectif de faire découvrir ou redécouvrir des outils de constructions. Si vous en connaissez d'autres n'hésitez pas à en parler en commentaire.

Journal Un premier contact avec le langage Nim

Posté par  . Licence CC By‑SA.
30
3
juil.
2019

Au gré de mes pérégrinations sur Github, j'ai trouvé un benchmark de serveur Web qui date un peu mais qui m'a interpelé.

J'avais déjà entendu parlé du langage Nim mais je le classais plutôt comme projet de recherche.
En regardant de plus près, je tombe sur une version 0.20 aboutie et un éco-système déjà très riche.

Nim se décrit comme un langage compilé statiquement typé qui propose également la méta-programmation (macros), un ramasse-miette, le "pattern-matching" fonctionnel et une compilation (…)

Nouvelle compilation de logiciels libres pour Windows 64 bits

Posté par  . Édité par Florent Zara, ZeroHeure et palm123. Modéré par claudex. Licence CC By‑SA.
29
17
mai
2016
Microsoft

Une nouvelle compilation de logiciels libres pour Windows 64 bits est disponible en téléchargement libre et gratuit.

Logo compilibre

Plus de 60 logiciels libres ont été sélectionnés selon les critères suivant :

  • richesse fonctionnelle ;
  • licence(s) libre(s), de préférence copyleftées ;
  • logiciels disponibles à la fois pour Windows, Mac OS X et GNU/Linux, pour faciliter le passage de Windows à GNU/Linux ou de Mac OS X à GNU/Linux ;
  • développement actif.

Journal Re-implémentation de TweetNaCl en Spark

Posté par  (site web personnel, Mastodon) . Licence CC By‑SA.
Étiquettes :
28
26
jan.
2022

A l'origine, ce n'était qu'un lien mais finalement, cela méritait un journal sur Spark.

Avant de vous filer le lien sur le portage, on va commencer par un petit exemple rapide de ce que peut faire Spark.

Mais c'est quoi Spark ?

Spark est, aujourd'hui, un sous-ensemble d'Ada restreignant les capacités aux fonctions sécurisées et non-abmigües.

Via un ensemble d'aspects, une sorte d'annotations, le compilateur gnatprove génère des conditions de vérification pour chaque sous-programme.
Ces conditions de vérification (…)

Journal Pythran 0.7.2 - détails techniques

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes :
28
15
oct.
2015

Termi' Nal (humour du 42ème degré),

Pythran, compilateur open source dédié au Python scientifique, vient tout juste de sortir sa version 0.7.2, à l'occasion de PyConFR où il sera présent. Ceux qui ont loupé la saison 1 de ce magnifique compilateur seront peut-être intéressés par le tag pythran.

Au lieu de vous résumer le Changelog, le reste de ce journal va vous parler de deux points techniques, un sur (…)

Des MEMS et du Libre

Posté par  . Modéré par Florent Zara.
25
26
juil.
2011
Matériel

Je travaille dans les MEMS, les microsystèmes électromécaniques (Micro‐ElectroMechanical Systems), voir l'introduction dans la suite de cette dépêche issue d'un journal de maclag< pour plus de détails sur ce domaine.
Suite à un commentaire de ma part dans lequel je disais qu’il n’y a rien de libre dans le secteur où je bosse, j’en profite pour faire un état des lieux des « sources ouvertes » qui gravitent autour de ce secteur.

Journal Malfunction: réutiliser la représentation intermédiaire du compilateur OCaml

Posté par  . Licence CC By‑SA.
24
24
juin
2016

Stephen Dolan (github, vielle page perso) est un étudiant en thèse d'informatique à Cambridge, UK, et il a de nombreux talents et des centres d'intérêt variés au sein de la discipline. D'un côté il a un goût pour l'élégance mathématique assez visible dans ses travaux (en particulier son travail de thèse très intéressant sur le sous-typage, avec une forte inspiration algébrique), de l'autre c'est aussi un hacker qui s'intéresse à l'implémentation, et a par exemple fait une (…)

Des nouvelles de Fortran n°4 - Octobre 2022

Posté par  (site web personnel) . Édité par Benoît Sibaud, Julien Jorge et Ysabeau 🧶 🧦. Modéré par Pierre Jarillon. Licence CC By‑SA.
23
19
oct.
2022
Fortran

Que s’est-il passé dans le monde du Fortran depuis notre dépêche de février ? Faisons un point automnal en commençant par deux évènements marquants, des nouvelles du front des compilateurs, un point sur les activités de la jeune communauté Fortran-lang et des nouvelles de quelques projets Fortran. Nous conclurons par un étonnant retour vers le futur du développement logiciel !

Journal Compiler ses logiciels, exemple avec Geany 1.37.1

Posté par  (site web personnel) . Licence CC By‑SA.
22
19
août
2021

Grâce à l’effort des développeurs et mainteneurs de nos distributions, il est très rare que le besoin de compiler un logiciel se fasse sentir. C’est une tâche qui parait très compliquée, et pourtant cela se résume souvent à lancer quelques commandes en suivant une notice. Je vous propose donc un exemple avec le logiciel Geany qui se prête bien à l’exercice: ses dépendances peu nombreuses sont toutes présentes dans les dépôts de ma distribution (c’est la condition pour que la (…)

Mise à jour de la compilation de logiciels libres pour Windows (janvier 2016)

Posté par  . Édité par Benoît Sibaud et Nÿco. Modéré par Pierre Jarillon. Licence CC By‑SA.
Étiquettes :
18
22
jan.
2016
Microsoft

La compilation de logiciels libres faite avec COMPILIBRE a été mise à jour. Elle est disponible en téléchargement (merci à Framasoft qui offre un stockage FTP) ; le fichier ZIP à décompresser sur votre ordinateur ou une clé USB fait environ 5,1 Go.

Au menu, des mises à jour, des nouveautés comme le logiciel de généalogie Gramps, GnuCash, Gpg4win, KeePassX, OpenJDK, WinCompose qui a fait l'objet d'un article récent sur LinuxFr.org, la suppression de logiciels qui installent maintenant des virus ou d'autres logiciels indésirables (CC PDF Converter, PDF Creator, FreeFileSync) et qui salissent l'image des logiciels libres.

La compilation fonctionne sur une clé USB, c'est pratique si vous voulez installer des logiciels libres sur des postes Windows qui ont un accès bas débit ou pas d'accès internet du tout, prévoir dans le dernier cas d'y ajouter des bibliothèques de base (JAVA ou ZULU en 64 bits), Visual C++ 2005/2008/2010/2012/2013/2015, .NET Framework 3.5/4 ou 4.5.

Pour que le projet évolue, faites un don sur le site web du projet. De l'aide est aussi recherchée pour remplacer l'interface en XUL de l'installeur par une interface en HTML5.

Une nouvelle compilation de logiciels libres (Windows) pour les associations et les professionnels

Posté par  . Édité par Xavier Teyssier. Modéré par rootix. Licence CC By‑SA.
16
23
août
2012
Distribution

Une nouvelle compilation de logiciels libres pour les associations et les professionnels est disponible en téléchargement.
Elle contient des documentations et des logiciels libres pour la comptabilité, la gestion commerciale, les points de vente, la gestion de caisse, la messagerie électronique etc.