Journal Intel = 14 nm, AMD = 7 nm, ARM = 7 nm… et mon serveur ?

Posté par  (site web personnel) . Licence CC By‑SA.
41
3
déc.
2019

Je me lance dans un projet personnel qui nécessite un serveur pour lequel je viens de faire le tour des actualités. Je vous partage ici mes découvertes et mes réflexions. Bonne lecture.

Je place ce document sous licence CC0.

Intel = 14 nm

Intel avait l’habitude d’adopter une nouvelle finesse de gravure tous les deux ans. Et avec chaque nouvelle finesse de gravure, les nouveaux processeurs étaient toujours plus véloces :

  • 45 nm en novembre 2007 (Penryn)
  • 32 nm en (…)

Journal Un RISC-V sous Linux abordable grâce au Kendryte K210 et Western Digital

Posté par  (site web personnel, Mastodon) . Licence CC By‑SA.
Étiquettes :
28
3
déc.
2019

Cher journal,

Je t'avais déjà dit que RISCV était desktop-ready grâce au travail de Western Digital sur la carte HiFive Unleashed.
Mais tu trouvais sans doute qu'un «pc» à plus de 3000€ c'était un peu cher.

Du coup tu seras sans doute ravi d'apprendre que Western Digital remet le couvert avec le portage de Linux (+Busybox) sur un petit processeur (très gros microcontrôleur) chinois -> le kendryte K210.

Pour cela, Western Digital a utilisé le kit Maix Go (…)

Journal Sémantiques mécanisées : quand la machine raisonne sur ses programmes.

Posté par  . Licence CC By‑SA.
Étiquettes : aucune
33
3
déc.
2019

Depuis l'an dernier, Xavier Leroy est le nouveau titulaire de la chaire « sciences du logiciel » au Collège de France. J'en avais fait un journal pour présenter le thème de sa première année de cours où il abordait la correspondance entre programmes et démonstrations mathématiques, connue sous le nom de correspondance de Curry-Howard.

Cette année, il a décidé d'aborder la formalisation de la sémantique des langages de programmation avec l'aide de la machine (en utilisant l'assistant de (…)

Journal Dégradation de la France

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes : aucune
4
3
déc.
2019

Bonjour Nal.

La fameuse institution marxisante nommée OCDE publie son enquête Pisa. Les performances des jeunes générations Françaises s'y maintiennent dans la moyenne de leurs homologues des autres pays de l'organisation. Ce qui est honorable mais peut-être un peu vexant pour un pays qui semble persister à s'imaginer au premier rang des nations.

Là où le bât blesse, c'est que si la performance moyenne est passable, la distribution des résultats apparaît aux commentateurs remarquablement étalée ; signature, paraît-il, d'un système (…)

Journal Créer son service perso de messagerie accessible n’importe où et sur n’importe quelle plateforme

Posté par  (site web personnel, Mastodon) . Licence CC By‑SA.
17
2
déc.
2019

'lut nal et les gens,

Jusqu’à présent j’utilisais les services de messagerie de mon hébergeur, je récupérais les mails sur son serveur POP et je renvoyais via son serveur SMTP. Localement j’ai mis en place un serveur POP et un serveur SMTP le tout basé sur dovecot et sur l'antique sendmail. Utilisant Thunderbird pour la messagerie, tous les mails ensuite se retrouvent dans le répertoire .thunderbird de la home directory de chaque utilisateur de mon réseau personnel. Cette home directory (…)

Journal 31 collectivités récompensées par le label Territoire Numérique Libre 2019 décerné par l'ADULLACT

15
2
déc.
2019

De quoi s'agit-il ?

Je vous renvoie au communiqué de l'April que je viens de parcourir et dont je cite un extrait :

Le label « Territoire Numérique Libre » est une initiative de l'ADULLACT (Association des Développeurs et des Utilisateurs de Logiciels Libres pour les Administrations et les Collectivités Territoriales), destiné à mettre en valeur l’utilisation de logiciels et systèmes d’exploitation libres au sein des collectivités (…)

Journal Des nouvelles de youtube-subscriptions, application pour regarder ses abonnements dans le terminal

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes :
16
2
déc.
2019

Nal,

Je t'avais précédemment présenté youtube-subscriptions, application pour le terminal sous liscense MIT,
qui sert à charger et regarder ses abonnements youtube.
Depuis, j'ai pu faire quelques améliorations qui pourront peut-être t'intéresser, à savoir, entre autres:

  • support de peertube (via la configuration channel_urls)
  • utilisation de mpv par défaut (mvp_mode) ce dernier incluant déjà youtube-dl
  • afficher la sortie et les erreurs des commandes externes lancées (youtube-dl, player video)
  • filtrage des videos (touche 'f' ou '|')
  • support de (…)

Journal Livre à gagner

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes : aucune
31
1
déc.
2019

Bonjour les moules<,

J'ai récemment produit un journal qui a été promulgué en dépêche à l'insu de mon plein gré. Pour des raisons que je ne comprends toujours pas, il semblerait que cette dépêche ait eu pas mal de succès (en tout cas plus que le journal où je parle de DEL qui clignotent, ce qui me parait aberrant parce que DEL qui clignotent quoi). Pour cette raison, LinuxFR - par le biais de son partenaire les éditions Eyrolles - (…)

Journal Mes activités open sources / libres "récentes"

42
1
déc.
2019

Cher journal,

En ce jour pluvieux, je profite de réécrire un rapport au sujet de mes contributions au monde open-source.

Le dernier que j'ai écrit date déjà de janvier dernier, je ne vais donc pas aller dans les détails. Je me rends compte d'ailleurs, que d'après mon gitlab, j'ai eu pas mal d'activités, mais je ne me souviens pas de tout :)

Depuis février, je travaille à 80% (ce qui fait environ 33 heures par semaine pour mon contrat) (…)

Journal Présentation des librairies pydiderotlibs dédiées à l'enseignement de python

Posté par  . Licence CC By‑SA.
Étiquettes :
17
1
déc.
2019

Présentation

Bonjour à tous,

Mon premier journal pour présenter un projet créé par des profs de math de Marseille: Pydiderotlibs

L'objectif est de créer des librairies dédiées à l'enseignement de python au lycée.

La démarche générale est de cacher les difficultés techniques en présentant des fonctions simples.

Le travail, sous licence MIT, a lieu sur ce dépôt github, on héberge la documentation sur readthedocs et le projet est sur pypi pour être installé facilement via pip.

Exemple 1: Un

(…)

Journal Rencontre Debian le 11 décembre 2019 à Nantes

Posté par  . Licence CC By‑SA.
10
30
nov.
2019

Bonjour à tous !

Toute l'équipe de Debian Nantes vous invite à participer à une rencontre le mercredi 11 décembre à 19h. Cet événement est accueilli par Epitech, dans les locaux d'E-ArtSup au 18, Rue Flandres-Dunkerque.

Tout comme Debian, la rencontre est en accès libre et ouverte à toutes et à tous. Technique ou non, expert ou débutant, venez jeter un coup d'œil aux conférences et participer aux discussions.

Au programme, des présentations autour du système d'exploitation (…)

Journal QtWebEngine sous raspbian, la croix et la galère…

Posté par  . Licence CC By‑SA.
21
30
nov.
2019

Salut à tous

Après avoir passé… «plusieurs heures» pour obtenir un QtWebEngine qui fonctionne sous raspbian, je me suis dit qu'il serait peut-être intéressant de partager l'expérience ici. À la fois pour le côté scientifique, documentaire de la chose, mais aussi tout simplement pour vider mon sac, parce qu'on en a gros. Puis ça fait longtemps que j'ai pas fait de journal, ça me manque…

Tout d'abord, petite observation : sur les dépôts raspbian, on trouve beaucoup de paquets… normal (…)

Journal Question de licence

Posté par  (Mastodon) . Licence CC By‑SA.
Étiquettes : aucune
8
29
nov.
2019

Cher journal,

Comme tu le sais, je ne suis pas très doué avec les licences libres et moins libres. Depuis mes malheureuses expériences, je redouble d’attention dans les licences utilisées par ceux que j’envisage de traduire. Cela m’arrive régulièrement avec des articles d’opensource.com.

Jusqu’à présent, j’ai à chaque fois trouvé le logo de la licence CC BY-SA 4.0. Cool, une vraie licence bien libre ! Pas de NC, pas de ND !

Si ce n’est que (…)

Journal LinuxFr.org : première quinzaine de novembre 2019

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes :
12
28
nov.
2019

Cent trente‐deuxième épisode dans la communication entre les différents intervenants autour du site LinuxFr.org : l’idée est de tenir tout le monde au courant de ce qui est fait par les rédacteurs, les admins, les modérateurs, les codeurs, les membres de l’association, etc.

L’actu résumée ([*] signifie une modification du sujet du courriel) :

Statistiques

Du 1er au 15 novembre 2019

  • 1 544 commentaires publiés (dont 9 masqués depuis) ;
  • 266 étiquettes (tags) posées ;
  • 104 comptes (…)