Journal Re-implémentation de TweetNaCl en Spark

Posté par  (site Web personnel) . Licence CC By‑SA.
Étiquettes :
27
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 Compiler ses logiciels, exemple avec Geany 1.37.1

Posté par  (site Web personnel) . Licence CC By‑SA.
Étiquettes :
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 (…)

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 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 (…)

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 (…)

Forum Linux.debian/ubuntu Compilation Gimp

Posté par  (site Web personnel) . Licence CC By‑SA.
Étiquettes :
0
7
fév.
2018

Bonjour,

J'essaie de compiler la version de test de Gimp depuis leur repo git. J'ai déjà réussi à compiler libmypaint et babl, mais j'ai ce message d'erreur lors de la compilation de gegl:

/usr/bin/ld: .libs/exr_load_la-exr-load.o: relocation R_X86_64_32 against `.text' can not be used when making a shared object; recompile with -fPIC
.libs/exr_load_la-exr-load.o: error adding symbols: Bad value
collect2: error: ld returned 1 exit status
Makefile:1013 : la recette pour la cible « exr-load.la » a échouée

Est ce que vous savez ce qui (…)

Journal Version minimum de CMake

Posté par  . Licence CC By‑SA.
13
7
juin
2017

Bonjour Nal,

Je vais bientôt me retrouver face à un dilemme insoluble : choisir la bonne version minimum de CMake pour écrire un CMakeLists.txt. Jusqu'à présent, ma distribution préférée avait CMake 3.0.2 dans sa mouture stable. Donc, c'est celle que j'utilisais et c'est celle que je prenais comme version minimum. Déjà, ça me posait un certain nombre de problème parce que dans Ubuntu Trusty (la LTS de 2014), qui est installé dans mon univ, CMake en est à (…)

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 (…)

Nouvelle compilation de logiciels libres pour Windows 64 bits

Posté par  . Édité par Florent Zara, ZeroHeure et palm123. Modéré par Xavier Claude. 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.