Publication de la nouvelle norme Ada 2012

42
17
déc.
2012
Ada

Après plusieurs années passées à parlementer, la nouvelle norme Ada 2012 vient enfin d'être publiée par l'ISO sous le numéro ISO/IEC 8652:2012. Il s'agit donc de la quatrième révision du langage ajoutant ainsi différentes fonctionnalités par rapport à la version 2005.

N. D. M. : GNAT est le compilateur Ada du projet GNU, faisant partie de GNU Compiler Collection (GCC). Toujours en logiciel libre, on peut citer MaRTE OS un système d'exploitation libre temps-réel en Ada.

La colorimétrie sous Linux, un pas de plus

Posté par  (site web personnel, Mastodon) . Édité par Florent Zara, Nÿco et claudex. Modéré par Nÿco. Licence CC By‑SA.
32
6
déc.
2011
Technologie

Le calibrage d'un écran sous Linux n'est pas toujours tâche aisée. Quelques outils existaient mais jusque là, il s'agissait toujours d'outils obtenus par ingénierie inverse, les ténors du domaine ne travaillant qu'avec les systèmes d'exploitation propriétaires.

La donne est en train de changer avec un colorimètre petit, beau, pas cher et surtout, exclusivement sous Linux. La bonne nouvelle est qu'une grande partie du logiciel est fournie sous licence GPLv2 mais pas que. Les schémas électroniques sont aussi disponibles sous GPL.

Comme en plus, on propose de l'avoir en tant que beta-testeurs moyennant une remise de 20 %, ce petit objet a de fortes chances d'avoir du succès. Alors, que demande le peuple ?

Alire, le package manager d'Ada

28
1
juin
2022
Ada

Dans un précédent journal, il m’a été demandé de présenter Alire sous la forme d’une dépêche. Voilà, j’ai fini par prendre le temps et j’ai choisi la façon de le présenter.
Je vous propose donc une sorte de pas-à-pas plutôt qu’une explication un peu brutale

Le but

Nous allons donc créer des crates Alire (les Rustistes auront reconnu le terme).
J’ai bien dit des car cela va permettre de voir les deux types, lib ou bin que l’on peut créer.

Le projet

Le but n’étant pas d’écrire du code Ada, on va prendre un de mes projets préférés qui n’a, au moment de l’écriture de ces lignes, pas de crate associée.
J’ai nommé le Corporate Bullshit Generator, logiciel ô combien indispensable, source inépuisable d’études en scalabilité (autopromotion).

Ce magnifique projet est l’œuvre de Gautier de Montmollin qui produit aussi des choses beaucoup plus sérieuses comme Zip-Ada, une lib pour gérer les archives zip, Ada PDF Writer ou HAC, un compilateur Ada partiel.
Évidemment, tout est codé en pur Ada.

Bon assez causé, on y va direct car c’est NOTRE PROJEEEEETTTT :)

Make with Ada deuxième édition

Posté par  (site web personnel, Mastodon) . Édité par Davy Defaud, Pierre Jarillon et Benoît Sibaud. Modéré par ZeroHeure. Licence CC By‑SA.
Étiquettes :
19
19
mai
2017
Ada

Concours de programmation en Ada

Ada est le langage de programmation par excellence lorsque la sécurité, la fiabilité et la pérennité sont essentiels.

Pour la deuxième année consécutive, AdaCore ouvre à tous un concours de programmation autour de ses technologies à savoir Ada et Spark.

Les détails sont en deuxième partie

Sendmail en cluster

Posté par  (site web personnel, Mastodon) . Modéré par Fabien Penso.
Étiquettes :
0
8
jan.
2002
Linux
Est paru chez IBM un article sur la mise en cluster de machines Linux pour l'utilisation de Sendmail. Différentes configurations sont fournies ainsi que les mesures de perfs respectives. Le but est d'obtenir un service courrier haute disponibilité et redimensionnable à souhait.
A lire

Merci à RootPrompt pour la news d'origine.

Daemonnews de décembre

Posté par  (site web personnel, Mastodon) . Modéré par Fabien Penso.
Étiquettes :
0
4
déc.
2001
FreeBSD
Le Daemonnews de Décembre est sorti :
- Devenir pote avec le C-Shell et le TC-Shell (première partie)
Pour mémoire, ce sont les deux shells utilisés sous FB
- Faites-vous confiance à vos logs système ?
Décrit l'utilisation du Modular Syslog qui permet de signer ses logs et de détecter leur modification par un cracker habile
- Développement d'un agent SNMP
- Générer des graphes MRTG des stats qmail sous FreeBSD
- Le cas d'un style de codage simple pour une application consistante

That's all, folks !

Pour pas faire une autre news de chez FreeBSDDiary.org:
- un serveur FTP anonyme (très sympa et comme d'habitude chez FreeBSDDiary, très simple à faire)

Daemonnews

Posté par  (site web personnel, Mastodon) . Modéré par oliv.
Étiquettes : aucune
0
2
nov.
2001
FreeBSD
Petit rappel pour ceux qui ne sont pas allés voir sur le site, le numéro de novembre de Daemonnews est sorti. Au programme, ce mois-ci :
- Booter Vinum : une fondation pour les serveurs fiables.
- Augmenter la taille des systèmes de fichiers FreeBSD
- Configurer IPSec sur OpenBSD 2.9
- Envoyer les logs dans une base de données avec Syslog
- S'orienter vers IPv6
Il y en a pour tout le monde, sachant que certains articles peuvent s'appliquer à Linux (les logs et IPv6).
A voir comme d'habitude quoi !!!

Daemonnews de septembre

Posté par  (site web personnel, Mastodon) . Modéré par Fabien Penso.
Étiquettes :
0
4
sept.
2001
FreeBSD
Le daemonnews de septembre est sorti.

Le sommaire :
- Serveur FTP derrière une passerelle NAT (ça cause aussi un peu de Linux ici)
- Configuration d'un réseau avec FreeBSD et OpenBSD
- « Jail Internals » (système type chroot)
- « Book Review : FreeBSD an Open Source OS for your PC »
- Les modules noyau pour OpenBSD

Voilà, il y a déjà de quoi lire.

La version 5.0 de FreeBSD retardée

Posté par  (site web personnel, Mastodon) . Modéré par Fabien Penso.
Étiquettes :
0
3
sept.
2001
FreeBSD
La version 5.0 de FreeBSD est retardée d'un an.
Explications (entre autres):
- La finalisation du support SMP
- Le support des architectures autres que i386 et Alpha

En clair, on attendra encore une petite année pour avoir une version qui justifie un changement de numéro majeur donc pour le moment, on restera en 4.x (pour le moment, 4.4 RC).

FreeBSDZine de Mai 2001 est sorti

Posté par  (site web personnel, Mastodon) . Édité par bubar🦥. Modéré par Fabien Penso.
Étiquettes :
0
2
mai
2001
FreeBSD
Le FreeBSDZine de mai première mouture est sorti. Au programme : maintenir sa documentation FreeBSD à jour via cvsup, utilisation de mutt (consultation de courrier), faire tourner Bind dans une prison (Jail dans la langue de Shakespeare) et scanner ses méls à la recherche de potentiels virus.
Juste un petit commentaire : l'article sur Bind que j'ai lu en diagonale n'a pas l'air très clair (mais je ne l'ai lu qu'en diagonale !!!).

Pour ceux qui veulent développer sour FreeBSD

Posté par  (site web personnel, Mastodon) . Modéré par Fabien Penso.
Étiquettes :
0
20
avr.
2001
FreeBSD
Pour ceux qui se décideraient à développer des applis pour FreeBSD, le groupe de documentation vient de sortir la première version du Developers Handbook. Bien sûr, la documentation étant en cours, il y a encore quelques trous dans celle-ci mais il y a déjà de quoi lire.

Pleins de Ports pour FreeBSD

Posté par  (site web personnel, Mastodon) . Modéré par Fabien Penso.
Étiquettes :
0
18
avr.
2001
FreeBSD
Sur le site de Daemonnews a été annoncé que le nombre de ports pour FreeBSD vient de passer à 5004. En fait et ce qui prouve à ce jour que cet os bouge pas mal, c'est la collection de ports qui contient 5036 logiciels.
Pour mémoire, le mécanisme des ports permet de charger les sources d'un logiciel et de les compiler simplement au travers d'un makefile qui se charge de tout depuis le téléchargement des sources jusqu'à l'installation des binaires générés dans le système. De plus, pour les paranos (enfin, pour tout le monde), le système vérifie une clé MD5 pour vérifier l'intégrité du source rapatrié.
Attention, ce fonctionnement n'a rien à voir avec les systèmes de packages que l'on trouve sous Linux (pour ça, il y a pkg_add).

Quelques raisons d'essayer FreeBSD

Posté par  (site web personnel, Mastodon) . Modéré par Fabien Penso.
Étiquettes :
0
4
avr.
2001
FreeBSD
Encore un article de Daemonnews d'Avril sur FreeBSD. Attention, il ne s'agit pas d'un Troll, lisez-l'article jusqu'à sa conclusion.
L'auteur explique pourquoi après avoir bossé sur Unix, il est passé sur Linux avec la Red Hat puis sur FreeBSD. C'est une sorte de comparatif sans en être un, ce serait d'ailleurs plutôt un avis perso. Je répète : lisez-le jusqu'à sa conclusion et causons-en dans les commentaires peut-être qu'après vous aurez envie d'utiliser FreeBSD comme moi.