Alors, l'utilisation de canardcanardcéparti me renvoi bien à un site dont le texte est celui de l'affaire pingouin.
Mais il n'a plus rien à voir avec le site de l'époque, je n'ai même pas les images. Rendez moi le site en Web95 avec les photos de manchots et pingouin !
Donc bon, je vais continuer à mettre un billet sur Zephyr pour les prochaines années, ça me semble un choix bien plus sur.
Pour le moment c'est certainement le meilleurs choix pour faire de l'embarqué communiquant. Par contre si l'on veut de la sureté et de la sécurité je ne suis pas sûr qu'on puisse facilement certifier un produit avec Zephyr.
Tu as du passer à coté de Redox c'est un OS pour le bureau entièrement en Rust qui semble quazi fonctionnel.
J'en ai parlé dans le journal. En même temps Redox ne joue par vraiment dans la même cour que KataOS.
Dans un cas on a un OS «générique» pour faire tourner de multiples applications sur un gros processeur avec beaucoup de RAM.
Et dans l'autre cas on parle vraiment d'un système embarqué sur microcontrôleur avec quelques tâches temps réel et une certaine sûreté de fonctionnement.
Qu'on me corrige au besoin (j'ai à peine touché à l'embarqué en jouant avec de l'arduino), mais l'OS n'est pas vraiment certifié, seul le micro kernel (Sel4) l'est, et l'était déjà avant l'arrivée de google avec Rust.
Tout à fait, et si l'on veut être tatillon je dirais même que Sel4 n'est pas certifié non plus puisque c'est l'ensemble du système que l'on certifie.
Il vaudrait mieux parler d'OS «certifiable».
De mon point de vue, cet OS est plutôt un framework qui inclus un lib pour communiquer avec le kernel et qui vient avec quelques fonctions supplémentaires utiles (loggers, custom allocators, ..). Mais j'imagine que c'est ce qu'on appelle un OS à ce niveau :-)
On est proche du débat GNU/Linux. Peut-être devrait-on parler de distribution Sel4 pour le coup ?
Existe-t-il des solutions commercial avec Yunohost ?
Du genre je paye un abonnement à la OVH pour avoir un serveur yunohost préinstallé et préconfiguré ?
Tu peux aussi utiliser la fonctionnalité document maître au fait.
Rhaa, je l'ai fait, mais il m'a découpé tous les chapitres en document indépendant. Ce qui rend l'édition assez fastidieuse puisque je doit ouvrir chaque chapitre dans un document indépendant.
Il y a certainement une configuration plus simple, j'essaierai de regarder ça la prochaine fois.
C'est pas simple donc. Je pensais plus à un système d'assemblage de document. Genre je génère un document libreoffice avec pandoc à partir de mes sources markdown puis je le «colle» à la fin du document qui est lui écrit totalement en libreoffice.
Je suis le seul à y voir l'analogie avec le réchauffement climatique ?
Nous n'avons pas voulu écouter les scientifiques depuis presque 50 ans maintenant et nous sommes maintenant au pied du mur à choisir entre l'amputation (décroissance) ou la mort (guerres, famines, épidémies, …).
Et surtout: un ordinateur portable avec son clavier orthogonal ça serait magique !
Fini de se mélanger les doigts quand on geek sur le canapé ou de ce taper l'encombrant typematrix branché en usb :)
Je mets au défi les députés de nous montrer comment un enfant accède à des sites de porn depuis FreeDOS !
Bien vu. Du coup la réponse pourrait être : il y a bien un «logiciel de contrôle parental» puisque sans logiciel installé, impossible d'accéder à du p0rn.
# Un lien avec Celeste ?
Posté par martoni (site web personnel, Mastodon) . En réponse au journal Un jeu vidéo indé, RPG post-apocalyptique, moteur open-source, multi-plateformes, sort sur Steam. Évalué à 2.
D'après la vidéo de présentation il semble y avoir une grande proximité avec le jeux vidéo Celeste.
Hâte qu'ils le porte sur switch ;)
J'ai plus qu'une balle
[^] # Re: Tu es vraiment un manchot
Posté par martoni (site web personnel, Mastodon) . En réponse au journal L’affaire pingouin. Évalué à 2.
Alors, l'utilisation de canardcanardcéparti me renvoi bien à un site dont le texte est celui de l'affaire pingouin.
Mais il n'a plus rien à voir avec le site de l'époque, je n'ai même pas les images. Rendez moi le site en Web95 avec les photos de manchots et pingouin !
J'ai plus qu'une balle
[^] # Re: Combien de temps avant son abandon ?
Posté par martoni (site web personnel, Mastodon) . En réponse au journal KataOS, un OS sécurisé basé sur SeL4 écrit en Rust ... par Google. Évalué à 2.
Pour le moment c'est certainement le meilleurs choix pour faire de l'embarqué communiquant. Par contre si l'on veut de la sureté et de la sécurité je ne suis pas sûr qu'on puisse facilement certifier un produit avec Zephyr.
J'ai plus qu'une balle
[^] # Re: OS en Rust
Posté par martoni (site web personnel, Mastodon) . En réponse au journal KataOS, un OS sécurisé basé sur SeL4 écrit en Rust ... par Google. Évalué à 2.
J'en ai parlé dans le journal. En même temps Redox ne joue par vraiment dans la même cour que KataOS.
Dans un cas on a un OS «générique» pour faire tourner de multiples applications sur un gros processeur avec beaucoup de RAM.
Et dans l'autre cas on parle vraiment d'un système embarqué sur microcontrôleur avec quelques tâches temps réel et une certaine sûreté de fonctionnement.
J'ai plus qu'une balle
[^] # Re: Nuances
Posté par martoni (site web personnel, Mastodon) . En réponse au journal KataOS, un OS sécurisé basé sur SeL4 écrit en Rust ... par Google. Évalué à 4. Dernière modification le 20 octobre 2022 à 09:35.
Tout à fait, et si l'on veut être tatillon je dirais même que Sel4 n'est pas certifié non plus puisque c'est l'ensemble du système que l'on certifie.
Il vaudrait mieux parler d'OS «certifiable».
On est proche du débat GNU/Linux. Peut-être devrait-on parler de distribution Sel4 pour le coup ?
J'ai plus qu'une balle
[^] # Re: Version ePub
Posté par martoni (site web personnel, Mastodon) . En réponse à la dépêche Des nouvelles du Frido. Évalué à 3. Dernière modification le 12 octobre 2022 à 13:31.
En effet, en faisant une recherche sur linuxfr j'ai trouvé quelques trucs :
Mais en gros : c'est pas simple.
J'ai plus qu'une balle
# Version ePub
Posté par martoni (site web personnel, Mastodon) . En réponse à la dépêche Des nouvelles du Frido. Évalué à 3.
Il y a-t-il des projets de conversion au format epub pour lire sur des liseuses ?
J'ai plus qu'une balle
[^] # Re: C'est officiel...
Posté par martoni (site web personnel, Mastodon) . En réponse au journal Rust dans Linux, ça démarre fort!. Évalué à 4.
À quand le TapTempo en Algol ?
J'ai plus qu'une balle
[^] # Re: C'est officiel...
Posté par martoni (site web personnel, Mastodon) . En réponse au journal Rust dans Linux, ça démarre fort!. Évalué à 10.
Le bouquin officiel «the rust programming language» est particulièrement bien fait je trouve. Si le papier te fait souffrir sache que le livre est disponible gratuitement en ligne.
Ensuite il faut se trouver un «side project», du temps et surtout … de la persévérance.
J'ai plus qu'une balle
# .
Posté par martoni (site web personnel, Mastodon) . En réponse au journal Hier journée international de la paix . Évalué à -3. Dernière modification le 23 septembre 2022 à 13:44.
.
J'ai plus qu'une balle
[^] # Re: Autre solution
Posté par martoni (site web personnel, Mastodon) . En réponse au journal Hacking d'une machine à pain. Évalué à 2.
Avec une cocotte minute plutôt qu'un cuit vapeur ça marche aussi ?
J'ai plus qu'une balle
[^] # Re: Solution commercial Yunohost ?
Posté par martoni (site web personnel, Mastodon) . En réponse à la dépêche Sortie de YunoHost 11.0 (Bullseye). Évalué à 3.
Je me demandais ça car ça correspond bien à l'esprit chatons je trouve.
J'ai plus qu'une balle
[^] # Re: Bravo !
Posté par martoni (site web personnel, Mastodon) . En réponse au journal Hacking d'une machine à pain. Évalué à 4.
Génial !
J'adore les boulons-boutons capacitifs. Ça marche bien ça ? Même quand on a les mains pleine de pâte/eau/… ?
J'ai plus qu'une balle
# Solution commercial Yunohost ?
Posté par martoni (site web personnel, Mastodon) . En réponse à la dépêche Sortie de YunoHost 11.0 (Bullseye). Évalué à 5.
Existe-t-il des solutions commercial avec Yunohost ?
Du genre je paye un abonnement à la OVH pour avoir un serveur yunohost préinstallé et préconfiguré ?
J'ai plus qu'une balle
[^] # Re: Automatiquement pas vraiment mais c'est possible
Posté par martoni (site web personnel, Mastodon) . En réponse au message Ajout d'annexes markdown à un document libreoffice. Évalué à 2.
Rhaa, je l'ai fait, mais il m'a découpé tous les chapitres en document indépendant. Ce qui rend l'édition assez fastidieuse puisque je doit ouvrir chaque chapitre dans un document indépendant.
Il y a certainement une configuration plus simple, j'essaierai de regarder ça la prochaine fois.
J'ai plus qu'une balle
[^] # Re: Automatiquement pas vraiment mais c'est possible
Posté par martoni (site web personnel, Mastodon) . En réponse au message Ajout d'annexes markdown à un document libreoffice. Évalué à 2.
Ça fonctionne ! Merci.
Il reste plus qu'a l'automatiser pour générer un troisième document odt «final» à partir du «maître» odt et du doc markdown.
J'ai plus qu'une balle
[^] # Re: Automatiquement pas vraiment mais c'est possible
Posté par martoni (site web personnel, Mastodon) . En réponse au message Ajout d'annexes markdown à un document libreoffice. Évalué à 2.
Au pire sinon, je génère un pdf pour chaque puis j'assemble. Mais bon c'est plus modifiable.
J'ai plus qu'une balle
[^] # Re: Automatiquement pas vraiment mais c'est possible
Posté par martoni (site web personnel, Mastodon) . En réponse au message Ajout d'annexes markdown à un document libreoffice. Évalué à 2.
Merci,
C'est pas simple donc. Je pensais plus à un système d'assemblage de document. Genre je génère un document libreoffice avec pandoc à partir de mes sources markdown puis je le «colle» à la fin du document qui est lui écrit totalement en libreoffice.
J'ai plus qu'une balle
# Allégorie du réchauffement climatique ?
Posté par martoni (site web personnel, Mastodon) . En réponse au journal Une personne malade qui ne veut pas explicitement choisir aura.... Évalué à -1.
Je suis le seul à y voir l'analogie avec le réchauffement climatique ?
Nous n'avons pas voulu écouter les scientifiques depuis presque 50 ans maintenant et nous sommes maintenant au pied du mur à choisir entre l'amputation (décroissance) ou la mort (guerres, famines, épidémies, …).
J'ai plus qu'une balle
# Aucun lien (je suis fils unique)
Posté par martoni (site web personnel, Mastodon) . En réponse au journal Remplacement du système de fichiers utilisé en natif par Windows. Évalué à 5.
Un journal annonçant une nouvelle sans aucun lien pointant sur l'information ?
Bloup bloup bloup
J'ai plus qu'une balle
[^] # Re: Clavier matriciel
Posté par martoni (site web personnel, Mastodon) . En réponse à la dépêche L’ordinateur portable modulaire : La lumière au bout du tunnel. Évalué à 6.
Et surtout: un ordinateur portable avec son clavier orthogonal ça serait magique !
Fini de se mélanger les doigts quand on geek sur le canapé ou de ce taper l'encombrant typematrix branché en usb :)
J'ai plus qu'une balle
# Merci LinuxFR (et eni)
Posté par martoni (site web personnel, Mastodon) . En réponse à la dépêche 🏆 Meilleures contributions LinuxFr.org : les primées de février 2022. Évalué à 5.
Je vais pouvoir me mettre à TapTempo hors de Flash ;)
J'ai plus qu'une balle
# Ni wifi ni ethernet
Posté par martoni (site web personnel, Mastodon) . En réponse au journal La machine Linux à $15. Évalué à 5.
Par contre c'est sans wifi et sans ethernet. Ça limite un peu, même si on peut se rattraper sur le port USB.
J'ai plus qu'une balle
[^] # Re: FreeDOS
Posté par martoni (site web personnel, Mastodon) . En réponse au journal Effet de bords et PC sans OS ?. Évalué à 7.
Bien vu. Du coup la réponse pourrait être : il y a bien un «logiciel de contrôle parental» puisque sans logiciel installé, impossible d'accéder à du p0rn.
J'ai plus qu'une balle
[^] # Re: Pour faire respecter le stop pub
Posté par martoni (site web personnel, Mastodon) . En réponse au journal Nous avons remarqué que vous n'utilisez PAS de bloqueur de publicités !. Évalué à 4.
Oui, mais comment les faire appliquer ?
J'ai plus qu'une balle