Désolé pour le titre qui pourrait faire penser à une secte mais je n'y peux rien.
Renaissance Ada est le nom d'un ensemble bibliothèques et outils.
Le but de ces outils est de permettre la visualisation graphique de la structure d'un code, son analyse et sa modification en fonction de règles.
Pour ceux qui veulent aller vite (et les autres aussi, c'est intéressant), il y a une vidéo d'une vingtaine de minutes expliquant ce que l'on peut faire sur la (…)
Si vous avez contribué au site en janvier 2022 (dépêches ou journaux), lisez ci‑dessous. Sinon, pas la peine de perdre votre temps à lire la suite.
Si vous êtes l’un des pseudos suivants, consultez votre courriel (celui connu par LinuxFr.org) et vérifiez vos indésirables, vous avez certainement reçu un message vous indiquant que vous avez gagné un livre (version numérique ou papier). Ne procrastinez pas pour nous répondre s'il vous plaît, même si vous ne souhaitez pas y donner (…)
La dernière version de OpnSense 22.1 — « Observant Owl » — viens de sortir, avec son lot habituel d'améliorations, notamment basée sur FreeBSD13.
Groovy est un langage typé optionnellement, dynamique, pouvant supporter la compilation statique. Il utilise la plateforme Java, il permet entre autres la composition de scripts portables (Windows, Linux, Mac avec gestion de dépendances), tout en disposant d’une syntaxe simple et abordable.
Groovy simplifie également la création de DSL, la méta-programmation, la programmation fonctionnelle et la rédaction de tests.
Il s'agit d'une version optimisée d'ANTLR4 en lieu et place de l’ancien parseur (…)
Bonjour Nal,
Depuis peu, le weekend j'aime bien m'amuser sur des petits projets que je ne compte pas continuer.
Ce weekend, c'était concevoir rapidement un OS bootable basé sur Linux. Mais sans suivre LFS.
Je commence par me créer une petite image disque :
$ qemu-img create ./hd0.img 2G
Puis une table des partitions (à la va vite, une seule partition qui fait tout le disque):
$ cfdisk ./hd0.img
Enfin, je formate le tout en EXT4 (…)
Entre l'hébergement old school et le cloud je commence à me lasser de passer un temps fou à gérer de l'infra alors que mon job c'est plutôt le dev… D'autant que l'on nous pousse à avoir une résilience de GAFAM, si t'as pas une redondance multi-région t'as raté ta vie.
Pendant longtemps ça m'a beaucoup plus de tout gérer, du serveur http jusqu'aux mails, merci Linux.
Ca a commencé par systemd, puis docker, puis lambda etc. et je ne m'y (…)
Salut nal,
J’évoquais en commentaire du lien suivant (https://linuxfr.org/users/colargol/liens/dans-le-creux-de-la-vague-sigfox-place-en-redressement-judiciaire#comment-1881502) mon intérêt pour le sujet de l’AgTech. En ce moment je suis servi !
Cet article passionnant de NextInpact fait l’impasse sur SenCrop, une société lilloise qui dispose d’un réseau de stations météo appréciable. J’y connais plusieurs personnes, plusieurs de mes anciens élèves y travaillent. SenCrop c’est un peu comme SigFox : bien mais proprio. D’ailleurs SenCrop utilise le réseau qui avait été mis par SigFox.
Pour autant (…)
Dans cette release de CPU, dans la série Au service informatique de Sa Majesté : The swinging London, des start-ups dans la City, un courant anti-européen et bye bye Albion !
Est-ce que ça recrute toujours sur Londres ? Est-ce qu'il est toujours intéressant de déménager au Royaume-Uni quand on maîtrise des technologies ? Est-ce que les start-ups et les grosses entreprises ont fuit la City ?
Our guest is Mehdi Doghri, CTO co-fondateur de Save Your Wardrobe
En 2013, ce monsieur https://ryiron.wordpress.com/2013/12/16/argv-silliness/ prévenait sur la possibilité d'exploitation d'une faille dans pkexec parce que les arguments n'étaient pas correctement vérifiés.
Il proposa même un patch: https://pastebin.com/MheuF2UY
Problème, il semble que son mail ne soit jamais arrivé jusqu'à la liste de diffusion…
https://twitter.com/ryiron/status/1486207182404472832
On peut se dire qu'aujourd'hui, heureusement tout a changé, avec la démocratisation des github/gitlab favorisant la communication avec les mainteneurs d'un projet.
Pour ceux qui n'auraient pas suivi: https://blog.qualys.com/vulnerabilities-threat-research/2022/01/25/pwnkit-local-privilege-escalation-vulnerability-discovered-in-polkits-pkexec-cve-2021-4034
Cher journal,
Je ne sais pas si RISC-V est prêt pour le desktop. Mais une chose est sûr, le prix d'une «machine Linux» vient encore de franchir un cap vers le low-cost avec du ARM :
D'après benchoff, il est possible de produire cette machine complète pour $15 si c'est fait en volume.
La machine fait tourner un Linux récent en mode console.
La quasi-totalité de la machine se trouve en fait dans le composant nommé F1C100s de chez (…)
Dans la précédente émission de CPU, Infested Grunt, un ami journaliste spécialisé dans les réseaux télécoms, a parlé de la nouvelle loi éco-responsabilité du numérique et de ses conséquences.
Une fois de plus, je n'ai pu que remettre en cause les barèmes qui ressortent régulièrement en France (et quasi exclusivement en France) sur les calculs par exemple de consommation électrique supposée d'un e-mail, un méga-octet ou de 30mn de visionnage d'un journal télévisé en stream.
Et vous aurez sûrement (…)
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.
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 (…)
Bonjour Nal,
J'avais publié ici même un texte court cet l'été. Il avait été apprécié, aussi vais-je récidiver.
Je ne veux pas spammer notre journal, aussi, dites moi si vous ne souhaitez plus que je le fasse. D'un autre coté, les textes sont sous licence libre, il y a donc un petit lien avec notre site préféré.
Je continue mon exploration du format court, bien que cette fois-ci je me sois un peu laissé aller, une trentaine de pages.
Suite à la demande presque générale, j'ai décidé de faire un peu plus de journaux sur Ada et Spark.
Et hop, on commence avec la sortie de la dernière version de HAC.
HAC est un compilateur open-source Ada codé entièrement en… Ada.
Bon, ne nous enflammons pas, il ne couvre pas l'intégralité du langage mais cela a permis à Gautier, son concepteur, d'implémenter l'Advent of code de cette année et de l'intégrer au jeu des exemples (…)