1 # Day changed to 1 janv. 2020
3 # Day changed to 2 janv. 2020
4 - julm: Enregistrement du domaine sourcephile.fr.
5 - julm: Achat d'un APU2D4 (mermet) et d'accessoires auprès de clemanis.fr.
6 - julm: Ouverture d'un compte stripe.com et réactivation d'un compte liberapay.org.
7 # Day changed to 3 janv. 2020
8 - julm: Recherches sur RAID1, LUKS et LVM pour mermet.sourcephile.fr.
9 - julm: Discussion sur le Jugement Majoritaire, Helios-C et l'échantillonnage représentatif sur le compte julm@framapiaf.org du Fediverse.
10 # Day changed to 4 janv. 2020
11 - julm: DDC8: Recherches sur ZFS et les SSD.
12 # Day changed to 5 janv. 2020
13 - julm: DDC8: Recherches sur ZFS.
14 # Day changed to 6 janv. 2020
15 - julm: DDC8: Révision3 de la DDC8.
16 # Day changed to 7 janv. 2020
17 - julm: DDC8: Préparation du disque de mermet.
18 - julm: Premier GRUB sur l’APU2E4.
19 - julm: Premier Memtest86+ : 2h de test, pas d’erreur, température ~51°C.
20 # Day changed to 8 janv. 2020
21 - julm: Préparation du disque de mermet.
22 - julm: Premier prompt NixOS via port série puis SSH sur l’APU2E4.
23 - julm: Configuration du chiffrement du swap.
24 # Day changed to 9 janv. 2020
25 - julm: Préparation de l’orchestration de mermet.
26 Premier déploiement NixOps de mermet.
27 - julm: Réorganisation et simplification de toute la configuration Nix.
28 - julm: Génération d’une clé OpenPGP julm@sourcephile.fr
29 dont les sous-clés sont mises sur YubiKey 4.
30 Il semble pas pertinent d’avoir une clé root@sourcephile.fr, mais plutôt une par membre qui a besoin.
31 password-store permet d'utiliser plusieurs clés, et d’en changer pour des sous-dossiers spécifiques.
32 # Day changed to 10 janv. 2020
33 - julm: Réorganisation et simplification de toute la configuration Nix.
34 # Day changed to 11 janv. 2020
35 - julm: Réorganisation et simplification de toute la configuration Nix.
36 - julm: Déboggage du nommage des interfaces réseau : https://github.com/NixOS/nixpkgs/pull/68953#issuecomment-573394801
37 - julm: Chiffrage et fixage du SSD dans l’APU2E4.
38 - julm: Mises à l’épreuve de la config de boot de mermet.
39 - julm: Mise-à-jour coreboot {v4.6.* => v4.11.0.2} sur mermet.
40 - julm: Report de bug dans nixos-install : https://github.com/NixOS/nixpkgs/issues/77481#event-3317431193
41 # Day changed to 12 janv. 2020
42 - julm: Clarification et amélioration des modules shell de l’orchestration.
43 # Day changed to 13 janv. 2020
44 - julm: Apprentissage et expérimentation de comment faire des sauvegardes manuelles avec zfs send/receive.
45 - julm: Renseignement sur quelques outils de sauvegarde de ZFS :
46 zfs-auto-snapshot (Bash), zfs_autobackup (Python), zfsnap (sh), znapzend (Perl), zrepl (Go).
47 - julm: Préparation d’un disque externe de sauvegardes sous ZFS.
48 - julm: Configuration d’un pare-feu IPv4/IPv6 shorewall sur mermet.
49 # Day changed to 14 janv. 2020
50 - julm: Correction de la configuration du shorewall de mermet.
51 - julm: Modification de la configuration des interfaces réseau de mermet.
52 - julm: Configuration d’un cache DNS (unbound) sur mermet.
53 - julm: Configuration d’un serveur DNS (NSD) sur mermet.
54 # Day changed to 15 janv. 2020
55 - julm: Configuration des enregistrements DKIM.
56 - julm: Configuration correcte du réseau dans l’initrd de mermet. ipconfig (ip=) n'est pas fiable, utilise ip address et ip route. Le module ipv6 doit être ajouté manuellement.
57 - julm: Configuration d’un annuaire (OpenLDAP) sur mermet.
58 - julm: Étude et commentaire de boot.network.ssh.host*Key.
59 - julm: Début de configuration des certificats X.509.
60 # Day changed to 16 janv. 2020
61 - julm: Amélioration diverses des outils Nix d’orchestration.
62 - julm: Code d’un module pour faire des certificats X.509 auto-signés.
63 - julm: Configuration de certificats X.509 auto-signés pour mermet.
64 - julm: Tentatives infructueuses de faire baisser la consommation de RAM de NSD (~100Mio).
65 - julm: Configuration d’un dépôt Git (gitolite) et d’une interface Web (gitweb) sur mermet.
66 # Day changed to 17 janv. 2020
67 - julm: Test des DNS derrière la VDSL de La Renouée.
68 - julm: Configuration d’un serveur de méls (postfix) sur mermet.
69 - julm: Désactivation de l’emergency shell de systemd sur mermet.
70 - julm: Installation de l’orchestration de mermet sur julm@mermet.
71 - julm: Premier déploiement NixOS de mermet depuis mermet.
72 - julm: Remerciement d’emilazy pour le déboggage du 2020-01-11 sur le nommage des interfaces réseau dans NixOS : https://github.com/NixOS/nixpkgs/pull/68953#issuecomment-575808294
73 # Day changed to 18 janv. 2020
74 - julm: Étude de home-manager.
75 - julm: Étude de direnv pour accélerer .envrc : rien à faire du côté de DIRENV_DIFF.
76 # Day changed to 19 janv. 2020
77 - julm: Accélération du chargement du .envrc en utilisant shasum sur les .nix.
78 - julm: Réécriture en standalone du .envrc.
79 # Day changed to 20 janv. 2020
80 - julm: Rackage de mermet aux PTTs de Tarnac. Cotisation à l’association PTT de 12€ (dont 2€ de prix libre) pour 2020, et hébergement pour à 5€/mois (dont 3€/mois pour une IPv4 : 80.67.180.129).
81 # Day changed to 21 janv. 2020
82 - julm: Préparation d’un déploiement de mermet sur VirtualBox.
83 # Day changed to 22 janv. 2020
84 - julm: Déploiement de mermet sur VirtualBox.
85 # Day changed to 23 janv. 2020
86 - julm: Intervention sur mermet pour changer l’adresse de sa passerelle : 80.67.180.{248 => 134}
87 - julm: Poursuite de la configuration de home-manager sur mermet.
88 # Day changed to 24 janv. 2020
89 - julm: Amélioration de la configuration de Nix sur mermet.
90 - julm: Amélioration de la configuration de Unbound sur mermet.
91 - julm: Étude de DNSSEC.
92 - julm: Enregistrement de la KSK de sourcephile.fr (Key Signing Key) via l’interface de Gandi.
93 - julm: Première résolution DNSSEC pour sourcephile.fr.
94 # Day changed to 25 janv. 2020
95 - julm: Correction de sudo sur mermet : comme NixOS met en dur "account required pam_unix.so" dans /etc/pam.d/sudo, il n’est pas possible de rajouter un compte dans le groupe wheel uniquement avec le LDAP, ce doit être fait dans /etc/group.
96 - julm: Correction de dovecot2 : mailUser n’a pas `isSystemUser = true`.
97 - julm: Installation d’un gestionnaire de boite méls (Dovecot2) sur mermet.
98 - julm: Première réception de mél sur julm@sourcephile.fr.
99 - julm: Première émission de mél depuis julm@sourcephile.fr.
100 - julm: Installation d’un antispam (RspamD) sur mermet.
101 # Day changed to 26 janv. 2020
102 - julm: Configuration de ManageSieve (le TLS ne fonctionne pas pour le moment).
103 - julm: Configuration des dossiers IMAP4 spéciaux.
104 - julm: Configuration de dovecot2 et rspamd pour l'apprentissage spam/ham selon le changement du flag IMAP "Junk" ou le déplacement dans ou depuis un dossier "Pourriel".
105 - julm: Premier spam/ham sur le serveur via l'icône flamme de Thunderbird.
106 # Day changed to 27 janv. 2020
107 - julm: Partage d’expérience sur l’emergency mode de systemd : https://discourse.nixos.org/t/nixos-went-to-systemd-emergency-mode/5647/5
108 # Day changed to 28 janv. 2020
109 - julm: Réflexion sur la gestion des clés OpenPGP.
110 - julm: Étude du TOFU de gnupg.
111 - julm: Configuration de neomutt sur mermet : IMAP ne semble pas bien supporté (pas de décompte des méls non-lus, et pas moyen de mettre des flags IMAP).
112 - julm: Test de notmuch, notmuch-emacs-mua et alpine.
113 - julm: Étude des nitrokeys, solokeys, yubikeys.
114 # Day changed to 29 janv. 2020
115 - julm: Étude de K-9 Mail.
116 - julm: Étude d'OpenKeyChain.
117 - julm: Empaquetage NixOS du plugin fts-xapian pour Dovecot2 et écriture d’une PR pour Nixpkgs : https://github.com/NixOS/nixpkgs/pull/78780
118 - julm: Déboguage de la configuration de dovecot, ôte notamment INDEXPVT == INDEX qui est absurde et corrompait INDEX.
119 - julm: Correction du DKIM lors de l’envoi : permissions vers /run/keys/
120 # Day changed to 30 janv. 2020
121 - julm: Le sell.nix de Sourcephile récupère maintenant le $PATH de l’hôte.
122 - julm: Utilisation de mailStorageDirectory pour pouvoir utiliser neomutt en local sur mermet avec maildir: tout en laissant sdbox: comme format de stockage par défaut des boîtes méls.
123 - julm: Meilleure réutilisation des options Dovecot de Nixpkgs.
124 - julm: Polissage de la configuration de Dovecot sur mermet.
125 # Day changed to 31 janv. 2020
126 - julm: Optimisation de l'envoi des clés sur mermet.
127 - julm: Polissage et correction de la configuration de Rspamd.
128 - julm: Demande de correction des options du service NSD de nixpkgs : https://github.com/NixOS/nixpkgs/pull/78968
129 - julm: Élaboration d’un moyen de rustiner nixpkgs localement depuis un shell.nix : https://logs.nix.samueldr.com/nixos-fr/2020-01-31#3020648;
130 # Day changed to 1 févr. 2020
131 - julm: Migration des ajouts à Nixpkgs des overlays aux rustines.
132 - julm: Amélioration de l'environnement du nix-shell et du rustinage de Nixpkgs.
133 # Day changed to 2 févr. 2020
134 - julm: Préparation de l'hébergement multi-domaines.
135 - Amélioration de la sécurité des mots de passe méls.
136 # Day changed to 3 févr. 2020
137 - julm: Activation du support de SHA2 et PBKDF2 dans le OpenLDAP de NixOS.
138 # Day changed to 4 févr. 2020
139 - julm: Étude d'une machine de build : KPGE-D16, Opteron 62xx, CH341A pour P-DIP8 25xx SPI, DDR3 1600 RDIMM, Nanoxia Deep Silence 5, Noctua NF-A12x25 PWM, Seasonic PRIME (Modular|Fanless) 80+ (Platinium|Titanium).
140 # Day changed to 5 févr. 2020
141 - julm: Réorganisation de la configuration pour supporter un domaine configuré différemment : autogeree.net
142 # Day changed to 6 févr. 2020
143 - julm: Tentative de configuration du multi-certificats X.509 de Postfix.
144 # Day changed to 7 févr. 2020
145 - julm: Correction de la configuration multi-certificats X.509 de Postfix : tls_server_sni_maps ne fonctionnait pas avec smtpd_tls_eecdh_grade = "ultra" ou "strong", donnant : "mermet postfix/smtpd[10207]: warning: key at index 1 in SNI data for mail.autogeree.net does not match next certificate"
146 # Day changed to 8 févr. 2020
147 - julm: Étude de coredumps sur mermet.
148 - julm: Configuration du multi-certificats X.509 dans Dovecot.
149 - julm: Configuration du multi-domaines dans Neomutt.
150 # Day changed to 9 févr. 2020
151 - julm: Étude de la configuration NixOS pour obtenir des certificats X.509 signés par Let's Encrypt avec simp_le.
152 - julm: Passage de mermet à nixpkgs-master pour tester le remplaçement de simp_le par lego dans la PR#77578.
153 # Day changed to 10 févr. 2020
154 - julm: Redémarrage de mermet sur linux-5.4.17.
155 - julm: Étude de knot pour remplacer nsd4 qui ne supporte pas la RFC2136 utile pour avoir un certificat avec wildcard signé par Let's Encrypt.
156 # Day changed to 11 févr. 2020
157 - julm: Remplacement de nsd4 par knot, en préservant les clés DNSSEC (KSK et ZSK) actives.
158 - julm: Doublement de l’ARC du ZFS de mermet pour éviter une saturation de ses CPUs, début de surveillance manuelle avec `arc_summary` et les threads noyaux dans `htop`.
159 # Day changed to 12 févr. 2020
160 - julm: Soumission et retrait du workaround pour keymgr : https://github.com/NixOS/nixpkgs/pull/79928
161 - julm: Génération d’un certificat X.509 `*.sourcephile.fr` avec lego en utilisant la méthode DNS-01 d’ACMEv2.
162 - julm: Configuration de Let's Encrypt dans nginx.
163 # Day changed to 13 févr. 2020
164 - julm: Correction des services NixOS de shorewall : https://github.com/NixOS/nixpkgs/pull/80154
165 # Day changed to 14 févr. 2020
166 - julm: Correction du chemin des plugins du dstat de Nixpkgs : https://github.com/NixOS/nixpkgs/pull/80151
167 - julm: Rapport de bogue dans direnv : https://github.com/direnv/direnv/issues/591
168 # Day changed to 24 févr. 2020
169 - julm: Réparation de l'environnement Haskell et PureScript.
170 # Day changed to 26 févr. 2020
171 - julm: Étude de Prometheus, Graphite, Telegraf, Grafana.
172 # Day changed to 27 févr. 2020
173 - julm: Renommage de hjugement en judgmentphile.
174 - julm: Poursuite de judgmentphile-web.
175 # Day changed to 28 févr. 2020
176 # Day changed to 29 févr. 2020
177 - julm: Renommage de hdoc en textphile.
178 - julm: Réécriture de la ligne de commande de textphile avec le nouveau symantic-cli.
179 - julm: Étude de machines de build basse conso et sans-bruit pour auto-hébergement chez un·e proche : le CPU basse-conso AMD Ryzen V1605B donnerait tout aussi bien que le i7-620M du x201, le refroidissement passif sans ventilation éviterait tout bruit, un port NVMe M.2 2280 supporterait un disque de travail très rapide, et un port SSD SATA 2.5" supporterait un disque interne de sauvegardes et autres stockages. https://mitxpc.com/products/ibox-v1000
180 # Day changed to 1 mars 2020
181 - julm: Recodage de la CLI de textphile en utilisant symantic-cli.
182 # Day changed to 2 mars 2020
183 - julm: Recodage de la CLI de textphile en utilisant symantic-cli.
184 # Day changed to 3 mars 2020
185 - julm: Recodage de la CLI de textphile en utilisant symantic-cli.
186 # Day changed to 3 mars 2020
187 - julm: Migration de la zone DNS autogeree.net vers mermet.
188 - julm: Création d’un certificat X.509 pour autogeree.net signé par Let's Encrypt.
189 - julm: Correction d’un bug dans le service shorewall de NixOS : https://github.com/NixOS/nixpkgs/pull/81774
190 # Day changed to 4 mars 2020
191 # Day changed to 5 mars 2020
192 # Day changed to 6 mars 2020
193 - julm: Migration de l’Irssi de julm de chomsky à mermet.
194 # Day changed to 7 mars 2020
195 - julm: Mise en ligne de www.sourcephile.fr pour publier quelques papiers scientifiques et/ou philsophiques.
196 # Day changed to 8 mars 2020
197 - julm: DDC9: Changement de plaidoirie en passant du KPGE-D16 pour l'alternative iBox-V1000.
198 # Day changed to 9 mars 2020
199 - julm: DDC9: Études de l'iBox-V1000, de transformateurs USB et d'écrans USB.
200 # Day changed to 10 mars 2020
201 - julm: Réemploi d'une dalle LG 10.1", en fixant ses circuits imprimés sur du carton, et en utilisant le socle d'un clavier Keys-to-Go.
202 - julm: Commande de 3 transformateurs de tension ZK-DP3D pour alimenter la dalle LG 10.1" et un futur mini-PC.
203 # Day changed to 11 mars 2020
204 - julm: Configuration d'adv_windowlist.pl et nickcolor.pl pour Irssi.
205 - julm: Ajout d'un robots.txt pour Gitweb.
206 - julm: Ajout d'un microcache pour Gitweb.
207 - julm: Répartition des logs nginx par virtual host et au format JSON.
208 # Day changed to 12 mars 2020
209 - julm: Correction de la soumission de méls à postfix.
210 # Day changed to 13 mars 2020
211 - julm: DDC9: Changement de plaidoirie en passant de l'iBox-V1000 au Shuttle XPC Slim DL10J.
212 - julm: Achat d'un Shuttle XPC Slim DL10J (losurdo) comme machine de dév très basse conso.
213 - julm: Mise-à-jour pour utiliser le dernière version de nixpkgs du channel nixos-unstable-small.
214 # Day changed to 14 mars 2020
215 # Day changed to 15 mars 2020
216 - julm: Réorganisation des configurations Nix en prévision de la nouvelle machine (losurdo).
217 # Day changed to 16 mars 2020
218 - julm: losurdo: Configuration initiale.
219 # Day changed to 17 mars 2020
220 - julm:losurdo: Installation de NixOS.
221 # Day changed to 18 mars 2020
222 - julm: losurdo: Clarification et tests du bootstrap.
223 - julm: losurdo: Pivotement de l'installation de losurdo de la carte SD au NVMe.
224 - julm: losurdo: Repivotement sur la carte SD car le Samsung 970 NVMe M.2 n'est pas supporté par le bootloader du DL10J pour le moment (version DL10J000.104).
225 - julm: losurdo: Réduction de la partition EFI à 8Mio et suppression du swap sur la carte SD.
226 # Day changed to 19 mars 2020
227 - julm: losurdo: Conservation de /boot et /boot/efi sur la carte SD, et migration de / sur le disque NVMe.
228 # Day changed to 20 mars 2020
229 - julm: sysadmin: Mise-à-jour pour utiliser le dernière version de nixpkgs du channel nixos-unstable-small.
230 - julm: sysadmin: Rappatriement des dépôts Git délaissés encore sur chomsky.autogeree.net.
231 - julm: dev: Empaquettement Perl et Nix de git-remote-gpg.
232 - julm: dev: Corrections mineures dans git-remote-gpg.
233 - julm: sysadmin: Utilisation de git-remote-gpg pour les données secrètes (sec/).
234 - julm: sysadmin: Correction de la duplication de nixpkgs dans le /nix/store due à pkgs.path.
235 # Day changed to 21 mars 2020
236 - julm: dev: haskell: Étude de all-hies et haskell-ide-engine, lts-15.4 (ghc-8.8.3) pas encore supportée.
237 - julm: dev: vim: Étude de coc.nvim et LanguageClient-neovim.
238 # Day changed to 21 mars 2020
239 - julm: dev: vim: Étude de vim-lsc, LanguageClient-neovim, coc.nvim (avec coc-json et éventuellement coc-list), et ALE. ALE est bien supérieur.
240 # Day changed to 22 mars 2020
241 - julm: dev: vim: Étude de vim-indent-guides, indentLine et vim-indentguides. indentLine fait l'affaire pour afficher quasiment comme avec des tabulations.
242 - julm: dev: vim: Adaptation du foldtext à du sans-tabulations.
243 # Day changed to 23 mars 2020
244 - julm: aide: nix: https://discourse.nixos.org/t/better-way-to-use-nixpkgs-git-repo/6376
245 # Day changed to 24 mars 2020
246 - julm: dev: vim: ALE: essai de correction de signalement de l'activité du LSP dans ALE.
247 # Day changed to 25 mars 2020
248 # Day changed to 26 mars 2020
249 - julm: dev: vim: ALE: réécriture robuste au réordonamcement des réponses du signalement de l'activité du LSP dans ALE : https://github.com/dense-analysis/ale/pull/3076
250 - julm: aide: nix: rétractation d'une précédante recommandation qui n'est valide que dans un cas très spécifique.
251 # Day changed to 27 mars 2020
252 - julm: dev: vim: ALE: configuration du complètement et autres.
253 - julm: adminsys: newsboat: configuration.
254 - julm: dev: shell: podl: script pour automatiser le téléchargement de podcasts.
255 # Day changed to 28 mars 2020
256 - julm: dev: perl: gitweb: correction de l'encodage UTF-8 en FastCGI, sauf dans git_blob_plain() et git_snapshot() : http://public-inbox.org/git/20200329002028.26080-1-julm+git@sourcephile.fr/
257 - julm: dev: direnv: correction d'un rechargement à chaque prompt du .envrc lors d'un touch sur un fichier suivi.
258 - julm: adminsys: postfix: désactivation de reject_unverified_recipient qui ne fonctionne pas lorsque le destinataire fait du greylisting.
259 - julm: adminsys: mail: fts_xapian: mise-à-jour vers la 1.2.11a : https://github.com/NixOS/nixpkgs/pull/78780
260 - julm: adminsys: backup: étude de syncoid (Perl) et sanoid, ainsi que de leur récente intégration à NixOS. Installation sur losurdo (syncoid) et mermet (sanoid).
261 # Day changed to 29 mars 2020
262 - julm: adminsys: backup: Mise en place de sauvegardes automatiques de mermet vers losurdo.
263 # Day changed to 30 mars 2020
264 # Day changed to 31 mars 2020
265 - julm: dev: nix: syncoid: correction : https://github.com/NixOS/nixpkgs/pull/83901
266 - julm: dev: nix: sanoid: correction : https://github.com/NixOS/nixpkgs/pull/83904
267 # Day changed to 1 avril 2020
268 - julm: dev: nix: sanoid: correction : https://github.com/NixOS/nixpkgs/pull/83904
269 - julm: dev: haskell: textphile: remplacement des tabulations par des espaces.
270 # Day changed to 2 avril 2020
271 - julm: dev: haskell: textphile: remise en fonction, mais réécriture from scratch envisagée pour mieux tout avoir en tête l'état d'avancement de chaque morceaux de code, et la direction à donner à chaque fonctionnalité : compilateur ou wiki ?
272 - julm: dev: haskell: symantic-xml: début de réécriture de Sym.hs en API.hs selon la méthode printf/scanf développée dans symantic-http et symantic-cli.
273 # Day changed to 3 avril 2020
274 # Day changed to 4 avril 2020
275 - julm: adminsys: dovecot: remise en marche des filtres sieve.
276 # Day changed to 5 avril 2020
277 - julm: dev: haskell: symantic-xml: poursuite d'API.hs
278 # Day changed to 6 avril 2020
279 - julm: dev: haskell: symantic-xml: réécriture de la validation RelaxNG.
280 # Day changed to 7 avril 2020
281 - julm: recherche: haskell: symantic-xml: construction automatique de l'injection et de la projection tuple <-> datatype pour `dimap` .
282 - julm: conseil: hébergement: conseils pour la restauration d'un site Web de voisin.nes, dont l'hébergeur est en cessation d'activités.
283 # Day changed to 8 avril 2020
284 - julm: recherche: haskell: symantic-xml: approfondissement de `GHC.Generics` pour convertir automatiquement entre `Either` et data types via `to . coerce . from`.
285 # Day changed to 9 avril 2020
286 - julm: recherche: haskell: symantic-xml: amélioration de `eotOfadt` et `adtOfeot`. Cependant il ne semble pas possible de produire l'arbre binaire des alternatives `(:+:)` à partir d'une imbrication associée à droite des `Either`.
287 # Day changed to 10 avril 2020
288 - julm: recherche: haskell: symantic-xml: étude de `generics-sop` pour fournir l'arborescence de `(:+:)` attendue par `GHC.Generics`.
289 # Day changed to 11 avril 2020
290 - julm: adminsys: installation de https://github.com/LAB-MI/deplacement-covid-19/ dans https://covid19.sourcephile.fr
291 # Day changed to 12 avril 2020
292 - julm: recherche: haskell: symantic-xml: intégration de `generics-sop`.
293 # Day changed to 13 avril 2020
294 - julm: recherche: haskell: symantic-xml: amélioration de l'intégration de `generics-sop`.
295 - julm: recherche: haskell: haskell-ide-engine: report d'un bug: https://github.com/haskell/haskell-ide-engine/issues/1740
296 # Day changed to 14 avril 2020
297 - julm: recherche: haskell: symantic-xml: extraction de `generics-sop` pour ne garder que le nécessaire.
298 # Day changed to 15 avril 2020
299 - julm: recherche: haskell: symantic-xml: optimisation supprimant SOP comme intermédiaire entre GHC.Generics.Rep et l'imbrication d'Either et Tuples.
300 - julm: dév: nix: tremc: création du package https://github.com/NixOS/nixpkgs/pull/85323
301 - julm: adminsys: torrent: installation de transmission sur losurdo.
302 # Day changed to 16 avril 2020
303 - julm: dev: nix: stig: améĺiore le package https://github.com/NixOS/nixpkgs/pull/85364 https://github.com/rndusr/stig/issues/133
304 # Day changed to 17 avril 2020
305 - julm: recherche: haskell: symantic-xml: explications de Generic.hs.
306 # Day changed to 18 avril 2020
307 - julm: recherche: haskell: symantic-xml: poursuite de la réécriture.
308 # Day changed to 19 avril 2020
309 - julm: recherche: haskell: symantic-xml: poursuite de la réécriture.
310 # Day changed to 20 avril 2020
311 - julm: recherche: haskell: symantic-xml: poursuite de la réécriture.
312 # Day changed to 21 avril 2020
313 - julm: recherche: haskell: symantic-xml: poursuite de la réécriture.
314 # Day changed to 22 avril 2020
315 - julm: recherche: haskell: symantic-xml: passage des attributs en HashMap.
316 # Day changed to 23 avril 2020
317 - julm: recherche: haskell: symantic-xml: tests d'usage mémoire avec `weigh` pour comparer différentes manières de mettre `Sourced` dans `Tree`.
318 # Day changed to 24 avril 2020
319 - julm: recherche: haskell: symantic-xml: différenciation de la validation des `attribute`.
320 # Day changed to 25 avril 2020
321 - julm: adminsys: losurdo: coupure électrique.
322 - julm: recherche: haskell: symantic-xml: différenciation de la validation des `attribute`.
323 # Day changed to 26 avril 2020
324 - julm: adminsys: knot: ajout de `whoami4.sourcephile.fr`.
325 # Day changed to 27 avril 2020
326 # Day changed to 28 avril 2020
327 - julm: dev: haskell: symantic-xml: réécriture et correction de l'écriture du XML.
328 # Day changed to 29 avril 2020
329 - julm: dev: haskell: symantic-xml: réécriture et correction de l'écriture du XML. Gérer les `attribute`s dans `element` serait plus logique, mais moins pratique et incompatible avec RelaxNG. Néanmoins cela est possible dans `NodeElem`, ce qui supprime `NodeAttr`.
330 - julm: adminsys: netdata: test sur losurdo.
331 # Day changed to 30 avril 2020
332 - julm: dev: haskell: symantic-xml: achèvement de la correction des tests.
333 # Day changed to 1 mai 2020
334 # Day changed to 2 mai 2020
335 - julm: dev: haskell: symantic-xml: écriture du rendu RelaxNG Compact.
336 # Day changed to 3 mai 2020
337 - julm: dev: haskell: symantic-xml: écriture du rendu RelaxNG Compact.
338 # Day changed to 4 mai 2020
339 - julm: dev: haskell: symantic-xml: écriture de tests.
340 # Day changed to 5 mai 2020
341 - julm: dev: haskell: symantic-xml: écriture de tests.
342 # Day changed to 6 mai 2020
343 - julm: dev: haskell: symantic-xml: écriture de tests.
344 # Day changed to 7 mai 2020
345 - julm: dev: haskell: symantic-xml: écriture de tests.
346 # Day changed to 8 mai 2020
347 - julm: dev: haskell: symantic-xml: écriture de tests.
348 # Day changed to 9 mai 2020
349 - julm: dev: haskell: symantic-xml: écriture du schema d'Atom pour tester.
350 # Day changed to 10 mai 2020
351 - julm: dev: haskell: symantic-xml: écriture du schema d'Atom pour tester.
352 - julm: dev: nix: ajout de julm comme maintainers dans Nixpkgs : https://github.com/NixOS/nixpkgs/pull/78780#discussion_r422487072
353 - julm: dev: haskell: symantic-base: extraction dans symantic-xml.
354 # Day changed to 11 mai 2020
355 - julm: dev: haskell: symantic-xml: écriture du schema d'Atom pour tester.
356 # Day changed to 12 mai 2020
357 - julm: dev: haskell: symantic-xml: tests des diagnostiques d'erreurs de la validation RelaxNG.
358 # Day changed to 13 mai 2020
359 - julm: dev: haskell: symantic-xml: réorganisations et réflexions pour implémenter les name-class de RelaxNG.
360 # Day changed to 14 mai 2020
361 - julm: dev: nix: sourcephile-nix: prise en main avancée de l'infrastructure de tests de NixOS pour l'adapter à sourcephile-nix.
362 # Day changed to 15 mai 2020
363 - julm: dev: nix: sourcephile-nix: correction du rechargement des services dépendant du certificat X.509 venant de Let's Encrypt.
364 - julm: dev: nix: sourcephile-nix: début de réorganisation de la configuration pour permettre les tests.
365 # Day changed to 16 mai 2020
366 - julm: assoce: réponse à une demande spontannée de VM de la part d'un développeur.
367 # Day changed to 17 mai 2020
368 - julm: dev: nix: sourcephile-nix: étude et amélioration des modules de configuration.
369 # Day changed to 18 mai 2020
370 - julm: dev: nix: sourcephile-nix: remplacement du déploiement NixOps par un script shell.
371 - julm: dev: nix: sourcephile-nix: génération depuis un .nix du script shell de déploiement.
372 # Day changed to 19 mai 2020
373 - julm: dev: haskell: symantic-xml: ajout des classes de noms pour RelaxNG.
374 - julm: dev: haskell: symantic-xml: continuation de l'écriture du test Atom.
375 # Day changed to 20 mai 2020
376 - julm: research: haskell: lecture de http://okmij.org/ftp/tagless-final/TaglessStaged/
377 # Day changed to 21 mai 2020
378 - julm: dev: haskell: symantic-xml: continuation de l'écriture du test Atom.
379 - julm: dev: haskell: symantic-base: extraction depuis symantic-xml.
380 - julm: dev: haskell: symantic-atom: extraction depuis symantic-xml.
381 # Day changed to 22 mai 2020
382 - julm: dev: haskell: symantic-xml: peaufinage.
383 # Day changed to 23 mai 2020
384 - julm: dev: haskell: symantic-xml: peaufinage.
385 # Day changed to 24 mai 2020
386 - julm: dev: haskell: symantic-xml: écriture du rendu direct depuis l'EDSL (Symantic.XML.Write).
387 # Day changed to 25 mai 2020
388 - julm: dev: haskell: symantic-xml: premier jet de ReadOptim.
389 - julm: dev: haskell: symantic-cli: mise à jour du style du code.
390 - julm: dev: haskell: symantic-cli: préparation à utiliser symantic-base.
391 # Day changed to 26 mai 2020
392 - julm: dev: haskell: symantic-xml: essai d'optimisation du schéma de validation en regroupant les élements alternatifs attendus au même endroit dans une Map, plutôt que de les essayer un après l'autre avec (<+>). Cela correspond à peu de choses près à ce qui est déjà implémenté dans symatic-cli et symantic-http-server. Toutefois la transformation devra être corrigée dans le cas des permutations.
393 - julm: adminsys: public-inbox: test sur mermet et report de problèmes sur https://github.com/NixOS/nixpkgs/pull/77450.
394 # Day changed to 27 mai 2020
395 - julm: adminsys: public-inbox: configuration du serveur NNTP.
396 - julm: adminsys: neomutt: configuration en tant que client NNTP.
397 # Day changed to 28 mai 2020
398 - julm: adminsys: neomutt: configuration en tant que client NNTP.
399 - julm: adminsys: nix: correction de l'envoi des overlays sur les machines.
400 - julm: adminsys: public-inbox: report d'un bug d'encodage Unicode : https://public-inbox.org/meta/20200528151216.l7vmnmrs4ojw372g@sourcephile.fr/T/
401 - julm: adminsys: mlmmj: test sur mermet.
402 # Day changed to 29 mai 2020
403 - julm: dev: nix: nixos: mlmmj: récriture du module pour le rendre plus configurable.
404 # Day changed to 30 mai 2020
405 - julm: adminsys: public-inbox: création des boîtes publiques :
406 - atelier@sourcephile.fr
408 - ecole@sourcephile.fr
409 - environnement@sourcephile.fr
410 - labo@sourcephile.fr
411 - machines@sourcephile.fr
412 - pont@sourcephile.fr
413 - julm: research: ddc10
414 # Day changed to 31 mai 2020
415 - julm: adminsys: public-inbox: désactivation du rejet des méls HTML pour une plus grande accessibilité.
416 - julm: research: ddc10
417 # Day changed to 1 juin 2020
418 - julm: research: ddc10: Le rôle stratégique du télécapteur Linky pour sécuriser l'électrification décarbonante de la France aux horizons 2030 et 2050
419 # Day changed to 2 juin 2020
420 - julm: research: ddc10
421 - julm: adminsys: public-inbox: ajout d'une feuille de style CSS.
422 # Day changed to 2 juin 2020
423 - julm: assoce: réponse à une demande spontannée de base SQL pour expérimenter Open Concerto en multi-postes.
424 # Day changed to 3 juin 2020
425 - julm: dev: nix: home-manager: broot: correction de l'installation : https://github.com/rycee/home-manager/pull/1303
426 - julm: dev: nix: nixpkgs: stig: mise-à-jour : https://github.com/NixOS/nixpkgs/pull/89557
427 # Day changed to 4 juin 2020
428 - julm: research: ddc10
429 # Day changed to 5 juin 2020
430 - julm: research: ddc10
431 # Day changed to 6 juin 2020
432 - julm: research: ddc10
433 - julm: adminsys: activation de zramSwap.
434 # Day changed to 7 juin 2020
435 - julm: research: ddc10: premier jet pour relecture par des ami.es.
436 # Day changed to 8 juin 2020
437 - julm: research: ddc10: v4
438 # Day changed to 9 juin 2020
439 - julm: research: ddc10: v5
440 # Day changed to 10 juin 2020
441 - julm: adminsys: nix: préparation de postgresql sur losurdo.
442 # Day changed to 11 juin 2020
443 - julm: adminsys: nix: acme: configuration de lego sur losurdo pour utiliser knot sur mermet.
444 - julm: adminsys: nix: préparation de postgresql sur losurdo.
445 # Day changed to 12 juin 2020
446 - julm: research: ddc10: v6:
447 - Phase: ConstructionDeConsensus
449 - julm: adminsys: nix: préparation de postgresql sur losurdo.
450 # Day changed to 13 juin 2020
451 - julm: adminsys: nix: préparation de postgresql sur losurdo.
452 # Day changed to 14 juin 2020
453 - julm: adminsys: postgresql: mise en service sur losurdo
454 de la base openconcerto1 pour expérimentations par des voisin.nes.
455 # Day changed to 15 juin 2020
456 - julm: adminsys: fail2ban: test sur losurdo avec shorewall.
457 # Day changed to 16 juin 2020
458 - julm: adminsys: fail2ban: test sur losurdo avec shorewall.
459 # Day changed to 17 juin 2020
460 - julm: adminsys: sécurité: utilisation de `profiles/hardened.nix`.
461 - julm: adminsys: nftables: remplacement de shorewall sur losurdo ;
462 la maintenance de shorewall est incertaine
463 (le dév principal de plus de 70 ans a annoncé qu'il diminuait/stoppait les mises-à-jour),
464 et shorewall n'apporte plus grand chose avec nix et nftables.
465 # Day changed to 18 juin 2020
466 - julm: research: ddc10: v6: corrections mineures.
467 - julm: adminsys: fail2ban: test sur losurdo avec nftables.
468 # Day changed to 19 juin 2020
469 - julm: adminsys: fail2ban: mise en production sur losurdo.
470 # Day changed to 20 juin 2020
471 - julm: dev: nix: ébauche du module `security.pass`.
472 # Day changed to 21 juin 2020
473 - julm: dev: nix: amélioration du module `security.pass` :
474 plus d'envoi par ssh mais intégration des .gpg dans le Nix store.
475 # Day changed to 22 juin 2020
476 - julm: adminsys: nix: mise en production du nouveau module `security.pass` sur losurdo.
477 # Day changed to 23 juin 2020
478 - julm: dev: nix: amélioration du module `security.pass`.
479 # Day changed to 24 juin 2020
480 - julm: dev: nix: amélioration du module `security.pass`.
481 - julm: dev: nix: amélioration du module `installer.ssh-nixos`.
482 - julm: adminsys: nix: mise en production du nouveau module `security.pass` sur mermet.
483 # Day changed to 25 juin 2020
484 - julm: adminsys: sécurité: utilisation de `profiles/hardened.nix` sur mermet.
485 - julm: adminsys: sécurité: remplacement de shorewall par nftables sur mermet.
486 - julm: adminsys: sécurité: installation de fail2ban sur mermet.
487 - julm: adminsys: sécurité: test de dovecot-2.3.10 avec ASAN, car il ne marche pas avec Scudo.
488 # Day changed to 26 juin 2020
489 - julm: research: ddc10: v7rc1: étude de la puissance réactive.
490 - julm: adminsys: nix: mise-à-jour vers le dernier nixos-unstable-small sur losurdo.
491 # Day changed to 27 juin 2020
492 - julm: research: ddc10: v7rc2: étude du suivi de charge des centrales nucléaires.
493 - julm: dev: nix: amélioration du module `services.transmission`.
494 # Day changed to 28 juin 2020
495 - julm: dev: nix: amélioration du module `services.transmission`.
496 # Day changed to 29 juin 2020
497 - julm: research: ddc10: v7rc3: étude du disjoncteur BACO/Legrand.
498 - julm: assoce: lecture du marché public DGFiP DGSSI 2000017
499 https://www.marches-publics.gouv.fr/index.php?page=entreprise.EntrepriseDownloadReglement&reference=NTkxNzM4&orgAcronyme=a4n
500 # Day changed to 30 juin 2020
501 - julm: dev: nix: amélioration du module `services.transmission`.
502 # Day changed to 1 juillet 2020
503 - julm: dev: nix: amélioration du module `services.transmission`.
504 # Day changed to 2 juillet 2020
505 - julm: research: ddc10: v7: envoi.
506 - julm: dev: nix: proposition du module `services.transmission` :
507 https://github.com/NixOS/nixpkgs/pull/92106
508 # Day changed to 3 juillet 2020
509 - julm: dev: nix: amélioration du module `services.transmission`.
510 # Day changed to 4 juillet 2020
511 - julm: dev: nix: amélioration du module `services.transmission`.
512 # Day changed to 5 juillet 2020
513 - julm: dev: nix: amélioration du module `services.transmission`.
514 - julm: dev: haskell: symantic-xml: préparation de l'introduction de ReadOptim.
515 # Day changed to 6 juillet 2020
516 - julm: adminsys: postgresql: test de pg_dump et pg_restore.
517 - julm: adminsys: postgresql: full_page_writes=off permis par ZFS.
518 # Day changed to 7 juillet 2020
519 - julm: dev: haskell: symantic-xml: préparation de l'introduction de ReadOptim.
520 # Day changed to 8 juillet 2020
521 - julm: adminsys: mermet: intervention aux PTTs pour rétablir l'initrd
522 (ne pas mettre la clé du serveur OpenSSH dans /run mais /root).
523 - julm: adminsys: backup: export des bases PostgreSQL de losurdo vers mermet.
524 - julm: adminsys: postgresql: création d'une base OpenConcerto pour La Bascule.
525 # Day changed to 9 juillet 2020
526 - julm: dev: haskell: symantic-xml: préparation de l'introduction de ReadOptim.
527 # Day changed to 10 juillet 2020
528 - julm: dev: haskell: symantic-xml: abandon de ReadOptim pour Parser.
529 # Day changed to 11 juillet 2020
530 - julm: dev: haskell: symantic-xml: passage de Parser en Church encoding.
531 # Day changed to 12 juillet 2020
532 - julm: dev: haskell: symantic-xml: support des parsers récursifs mais échec avec les alternatives.
533 # Day changed to 13 juillet 2020
534 - julm: dev: nix: amélioration du module `services.transmission`.
535 # Day changed to 14 juillet 2020
536 - julm: dev: nix: amélioration du module `services.transmission`.
537 # Day changed to 15 juillet 2020
538 - julm: aide: passage de rtl8723de à rtw88 dans Ubuntu-18.04
539 # Day changed to 16 juillet 2020
540 - julm: dev: nix: réécriture du module `security.apparmor`.
541 - julm: dev: bash: amélioration du script `podl`.
542 # Day changed to 17 juillet 2020
543 - julm: dev: nix: amélioration du module `security.apparmor`.
544 # Day changed to 18 juillet 2020
545 - julm: dev: nix: amélioration du module `security.apparmor`.
546 # Day changed to 19 juillet 2020
547 - julm: dev: nix: amélioration du module `security.apparmor` :
548 - julm: dev: nix: demande d'intégration en amont des améliorations
549 du module `security.apparmor`:
550 https://github.com/NixOS/nixpkgs/pull/93457
551 # Day changed to 20 juillet 2020
552 - julm: dev: nix: amélioration du module `security.apparmor`.
553 - julm: dev: nix: amélioration du module `services.transmission`.
554 # Day changed to 21 juillet 2020
555 - julm: dev: nix: factorisation des évaluations de configurations NixOS dans `machines.nix`.
556 - julm: dev: nix: amélioration du module `installer.ssh-nixos`.
557 - julm: dev: nix: correction du module `security.pass`.
558 # Day changed to 22 juillet 2020
559 - julm: dev: nix: petites améliorations de l'usage fait de `nixpkgs`.
560 - julm: dev: nix: proposition du module `services.croc` :
561 https://github.com/NixOS/nixpkgs/pull/93629
562 - julm: dev: nix: proposition du module `security.pass` :
563 https://github.com/NixOS/nixpkgs/pull/93659
564 # Day changed to 23 juillet 2020
565 - julm: dev: nix: amélioration du module `security.pass` en `security.gnupg`.
566 # Day changed to 24 juillet 2020
567 - julm: dev: nix: amélioration du module `security.gnupg`.
568 # Day changed to 25 juillet 2020
569 - julm: dev: nix: amélioration du module `services.transmission`.
570 - julm: adminsys: lhc: stretch -> buster
571 # Day changed to 26 juillet 2020
572 - julm: dev: nix: amélioration du module `services.transmission`.
573 # Day changed to 27 juillet 2020
574 - julm: dev: nix: amélioration du module `services.transmission`.
575 - julm: adminsys: lhc: roundcube, zramswap
576 # Day changed to 28 juillet 2020
577 - julm: dev: nix: amélioration du module `services.transmission`.
578 # Day changed to 29 juillet 2020
579 - julm: dev: nix: amélioration du module `services.transmission`.
580 # Day changed to 30 juillet 2020
581 - julm: dev: nix: amélioration du module `services.transmission`.
582 # Day changed to 31 juillet 2020
583 - julm: adminsys: nix: configuration d'un intranet avec wireguard.
584 # Day changed to 1 août 2020
585 - julm: adminsys: nix: dépannage de losurdo : nftables ne se chargeait pas durant le stage2 à cause d'un postStart voulant démarrer fail2ban.
586 - julm: dev: nix: correction de boot.initrd.network.flushBeforeStage2: https://github.com/NixOS/nixpkgs/pull/94531
587 # Day changed to 2 août 2020
588 - julm: adminsys: prosody: test du serveur XMPP sur losurdo.
589 - julm: adminsys: coturn: installation sur mermet.
590 # Day changed to 3 août 2020
591 - julm: adminsys: coturn: tests de STUN et TURN entre deux port restricted cone NAT.
592 # Day changed to 4 août 2020
593 - julm: dev: nix: amélioration du module `services.transmission`.
594 - julm: assoce: projet de Navirezo.
595 # Day changed to 5 août 2020
596 - julm: dev: nix: amélioration du module `security.apparmor`.
597 # Day changed to 6 août 2020
598 - julm: dev: nix: amélioration du module `services.transmission`.
599 - julm: dev: nix: intégration du module `services.transmission` dans Nixpkgs :
600 https://github.com/NixOS/nixpkgs/pull/92106
601 # Day changed to 7 août 2020
602 - julm: dev: nix: mise-à-jour de prosody-modules :
603 https://github.com/NixOS/nixpkgs/pull/94916
604 - julm: dev: nix: création du module `services.biboumi` :
605 https://github.com/NixOS/nixpkgs/pull/94917
606 # Day changed to 8 août 2020
607 - julm: research: environnement: ddc#: réduction rationnelle de l'impact environnemental des habitants de Gentioux-Pigerolles, en l'an -29 avant Jugement Carbone
608 # Day changed to 9 août 2020
609 - julm: research: environnement: ddc#
610 # Day changed to 10 août 2020
611 - julm: research: environnement: ddc#
612 # Day changed to 11 août 202#
613 - julm: dev: nix: migration vers `flake.nix`.
614 # Day changed to 12 août 2020
615 - julm: dev: nix: migration vers `flake.nix`.
616 # Day changed to 13 août 2020
617 - julm: dev: nix: migration vers `flake.nix`.
618 # Day changed to 14 août 2020
619 - julm: adminsys: dépannage NAS à Court-Circuit.
620 # Day changed to 15 août 2020
621 - julm: adminsys: migration vers ZFS et NixOS 20.09 de patate200.
622 # Day changed to 16 août 2020
623 - julm: dev: nix: migration vers `flake.nix`.
624 # Day changed to 17 août 2020
625 # Day changed to 18 août 2020
626 # Day changed to 19 août 2020
627 - julm: dev: nix: migration vers `flake.nix`.
628 # Day changed to 20 août 2020
629 # Day changed to 21 août 2020
630 - julm: dev: nix: amélioration du module `security.apparmor`.
631 # Day changed to 22 août 2020
632 - julm: dev: nix: amélioration du module `security.apparmor`.
633 # Day changed to 23 août 2020
634 # Day changed to 24 août 2020
635 # Day changed to 25 août 2020
636 - julm: dev: nix: proposition de correction de /etc/ld-nix.so.preload :
637 https://github.com/NixOS/nixpkgs/pull/96289
638 # Day changed to 26 août 2020
639 - julm: adminsys: nix: mise-à-jour et reboot de losurdo.
640 - julm: adminsys: nftables: amélioration du pare-feu de losurdo.
641 # Day changed to 27 août 2020
642 - julm: adminsys: nix: mise-à-jour et reboot de mermet.
643 - julm: adminsys: nftables: amélioration du pare-feu de mermet.
644 # Day changed to 28 août 2020
645 - julm: dev: haskell: essai de `haskell.nix`.
646 # Day changed to 29 août 2020
647 - julm: dev: nix: haskell: correction de la `flake.nix` d'`haskell.nix` :
648 https://github.com/input-output-hk/haskell.nix/pull/832
649 # Day changed to 30 août 2020
650 - julm: research: nix: haskell: étude de `haskell.nix`.
651 - julm: dev: nix: transmission: amélioration de la gestion des options du service :
652 https://github.com/NixOS/nixpkgs/pull/96655
653 - julm: dev: nix: amélioration du module `security.gnupg`.
654 # Day changed to 31 août 2020
655 - julm: research: haskell: étude de `Parsley`:
656 https://github.com/J-mie6/ParsleyHaskell
657 - julm: dev: nix: amélioration du module `services.biboumi`.
658 # Day changed to 1 septembre 2020
659 - julm: dev: nix: amélioration du module `services.biboumi`.
660 - julm: research: haskell: étude de `Parsley`.
661 # Day changed to 2 septembre 2020
662 - julm: dev: nix: amélioration du script `nixos-install`.
663 - julm: research: haskell: étude de `Parsley`.
664 # Day changed to 3 septembre 2020
665 - julm: research: haskell: étude de `Parsley`.
666 # Day changed to 4 septembre 2020
667 - julm: research: haskell: étude de `Parsley`.
668 - julm: research: haskell: étude de haskell.nix :
669 - https://github.com/Infinisil/all-hies/issues/73
670 - https://github.com/input-output-hk/haskell.nix/issues/836
671 - https://github.com/input-output-hk/haskell.nix/pull/837
672 - julm: research: haskell: étude de ghc.nix.
673 - julm: dev: nix: amélioration du script `nixos-install`.
674 # Day changed to 5 septembre 2020
675 - julm: dev: nix: amélioration du module `services.tor`.
676 # Day changed to 6 septembre 2020
677 - julm: dev: nix: amélioration du module `services.tor`.
678 # Day changed to 7 septembre 2020
679 - julm: dev: nix: amélioration du module `services.tor`.
680 # Day changed to 8 septembre 2020
681 - julm: dev: nix: amélioration du module `services.tor`.
682 # Day changed to 9 septembre 2020
683 - julm: dev: nix: amélioration du module `services.tor`.
684 # Day changed to 10 septembre 2020
685 - julm: dev: nix: amélioration du module `services.tor`.
686 # Day changed to 11 septembre 2020
687 - julm: dev: nix: amélioration du module `services.tor` :
688 https://github.com/NixOS/nixpkgs/pull/97740
689 # Day changed to 12 septembre 2020
690 - julm: dev: nix: amélioration du module `services.tor`.
691 # Day changed to 13 septembre 2020
692 - julm: dev: nix: amélioration du module `services.tor`.
693 # Day changed to 14 septembre 2020
694 - julm: dev: nix: amélioration du module `services.tor`.
695 - julm: research: haskell: étude de `Parsley`.
696 - julm: dev: haskell: petite optimisation de `cata` dans `Parsley`
697 https://github.com/J-mie6/ParsleyHaskell/pull/6
698 # Day changed to 15 septembre 2020
699 - julm: research: haskell: étude de `Parsley`.
700 - Rétrocontribution d'une optimisation mineure dans l'implémentation de `cata` : https://github.com/J-mie6/ParsleyHaskell/pull/6
701 - julm: dev: haskell: réécriture de `Parsley` dans `symantic-parser`.
702 # Day changed to 16 septembre 2020
703 - julm: research: haskell: étude de `Parsley`.
704 - julm: dev: haskell: réécriture de `Parsley` dans `symantic-parser`.
705 # Day changed to 17 septembre 2020
706 - julm: research: haskell: étude de `Parsley`.
707 - julm: dev: haskell: réécriture de `Parsley` dans `symantic-parser`.
708 # Day changed to 18 septembre 2020
709 - julm: research: haskell: étude de `Parsley`.
710 - julm: adminsys: aide: fonctionnement de `transmission` à Céline.
711 - julm: adminsys: étude de `wg-quick` et `ip netns` en aidant Case_Of sur #illyse.
712 - julm: dev: haskell: réécriture de `Parsley` dans `symantic-parser`.
713 # Day changed to 19 septembre 2020
714 - julm: dev: nix: correction de `gitolite`:
715 https://github.com/NixOS/nixpkgs/pull/98262
716 # Day changed to 20 septembre 2020
717 - julm: research: haskell: étude de Tagless Staged :
718 http://okmij.org/ftp/tagless-final/TaglessStaged/beyond.pdf
719 - julm: research: haskell: étude de `data-reify` :
720 http://www.ittc.ku.edu/~andygill/papers/reifyGraph.pdf
721 - julm: research: haskell: étude de `Parsley`.
722 - julm: research: haskell: étude de `dependent-map`.
723 # Day changed to 21 septembre 2020
724 - julm: research: haskell: étude de `Parsley`.
725 # Day changed to 22 septembre 2020
726 - julm: adminsys: étude de `Tor` :
727 https://lists.torproject.org/pipermail/tor-relays/2020-September/018936.html
728 - julm: adminsys: openwrt: configuration d'`openvpn` à La Renouée pour utiliser RiseupVPN vers millevaches.net qui bloque Tor et donc l'IPv4 de La Renouée car elle se trouve encore dans torbulkexitlist.
729 # Day changed to 23 septembre 2020
730 - julm: dev: nix: rapport de problème sur `syncoid` :
731 https://github.com/jimsalterjrs/sanoid/issues/532#issuecomment-697159696
732 # Day changed to 24 septembre 2020
733 - julm: adminsys: nix: cryptpad: installation.
734 # Day changed to 25 septembre 2020
735 - julm: adminsys: zfs: add a mirror SSD disk to losurdo.
736 - julm: dev: nix: mise à jour de `zerobin` :
737 https://github.com/NixOS/nixpkgs/pull/98734
738 # Day changed to 26 septembre 2020
739 - julm: research: haskell: étude de `Parsley`.
740 # Day changed to 27 septembre 2020
741 - julm: dev: nix: mise à jour de `zerobin`.
742 # Day changed to 28 septembre 2020
743 - julm: research: haskell: étude de `Parsley`.
744 # Day changed to 29 septembre 2020
745 - julm: dev: nix: mise à jour de `zerobin`.
746 - julm: research: haskell: étude de `Parsley`.
747 # Day changed to 30 septembre 2020
748 - julm: research: haskell: étude de `Parsley`.
749 - Rétrocontribution d'une optimisation dans l'algorithme de détection des points de définition ou de récursion : https://github.com/J-mie6/ParsleyHaskell/pull/7
750 # Day changed to 1 octobre 2020
751 - julm: research: haskell: étude de `Parsley`.
752 # Day changed to 2 octobre 2020
753 - julm: research: haskell: étude de `Parsley`.
754 # Day changed to 3 octobre 2020
755 - julm: research: haskell: étude de `Parsley`.
756 - julm: DDC9: étude d'onduleurs.
757 # Day changed to 4 octobre 2020
758 - julm: dev: nix: étude de `haskellPackages`.
759 - julm: DDC9: étude et achat d'un onduleur APC.
760 # Day changed to 5 octobre 2020
761 - julm: research: haskell: étude de `Parsley`.
762 - Meilleure compréhension des optimisations. Les instructions de la `Machine` ne sont pour l'instant pas optimisées, il n'y a qu'un début de fonction d'optimisation, non appliqué.
763 - Mise au point d'un `flake.nix` et `default.nix` pour utiliser l'infrastructure Haskell de Nixpkgs, et avoir un `nix develop` dans lequel `cabal repl` fonctionne.
764 - julm: adminsys: tor:
765 Le bannisement dû au test d'Exit node du 7 septembre dernier est enfin expiré :
767 curl -sL https://check.torproject.org/torbulkexitlist | grep 80.67.180.251
769 - julm: adminsys: network:
770 Le `MASQUERADING` du routeur de La Renouée a cessé de fonctionner pour la connexion Wireguard wg-intra entre losurdo et mermet:
772 root@LaRenouee:~# tcpdump -i pppoe-wan -n udp port 43642
773 16:25:19.978097 IP 192.168.1.215.43642 > 80.67.180.129.43642: UDP, length 148
774 16:25:25.098082 IP 192.168.1.215.43642 > 80.67.180.129.43642: UDP, length 148
775 16:25:30.730092 IP 192.168.1.215.43642 > 80.67.180.129.43642: UDP, length 148
777 Devrait être 80.67.180.251 en temps normal.
780 La table conntrack était mal initialisée avec `dst=192.168.1.215` :
782 root@LaRenouee:~# conntrack --get --proto udp --src 192.168.1.215 --dst 80.67.180.129 --sport 43642 --dport 43642
783 udp 17 55 src=192.168.1.215 dst=80.67.180.129 sport=43642 dport=43642 packets=2574 bytes=453024 [UNREPLIED] src=80.67.180.129 dst=192.168.1.215 sport=43642 dport=43642 packets=0 bytes=0 mark=0 use=1
786 Car elle doit être avec `dst=80.67.180.251`:
788 root@LaRenouee:~# conntrack --get --proto udp --src 192.168.1.215 --dst 80.67.180.129 --sport 43642 --dport 43642
789 udp 17 158 src=192.168.1.215 dst=80.67.180.129 sport=43642 dport=43642 packets=39 bytes=3036 src=80.67.180.129 dst=80.67.180.251 sport=43642 dport=43642 packets=6 bytes=720 [ASSURED] mark=0 use=2
791 Il s'agit probablement d'une condition de course avec la configuration de `pppoe-wan`, car le problème est survenu à peu-près au même moment qqu'une coupure de la ligne xDSL.
792 # Day changed to 6 octobre 2020
793 - julm: research: haskell: étude de `Parsley`.
794 - Petite modification pour afficher les instruction de la `Machine` de manière indentée, ce qui permet de lire les production, de commencer à faire sens de ce que fait la `Machine`, de repérer les endroits du code source qui produisent certains motifs d'instructions, et de les modifier légèrement pour voir le résultat.
795 # Day changed to 7 octobre 2020
796 - julm: research: haskell: étude de `Parsley`.
797 - julm: dev: nix: revert de `security.apparmor` à cause d'un problème incompris avec `Hydra`.
798 # Day changed to 8 octobre 2020
799 - julm: research: haskell: étude de `Parsley`.
800 - julm: dev: nix: mise à jour de `zerobin`.
801 # Day changed to 9 octobre 2020
802 - julm: research: haskell: étude de `Parsley`.
803 # Day changed to 10 octobre 2020
804 - julm: dev: nix: migration de `all-hies` à `haskell-language-server`: https://github.com/Infinisil/all-hies/issues/73#issuecomment-706429575
805 # Day changed to 11 octobre 2020
806 - julm: dev: haskell: poursuite de `symantic-parser`.
807 # Day changed to 12 octobre 2020
808 - julm: dev: haskell: poursuite de `symantic-parser`.
809 # Day changed to 13 octobre 2020
810 - julm: dev: haskell: poursuite de `symantic-parser`.
811 # Day changed to 14 octobre 2020
812 - julm: dev: haskell: poursuite de `symantic-parser`.
813 # Day changed to 15 octobre 2020
814 - julm: dev: haskell: poursuite de `symantic-parser`.
815 # Day changed to 16 octobre 2020
816 - julm: dev: haskell: poursuite de `symantic-parser`.
817 # Day changed to 17 octobre 2020
818 - julm: dev: haskell: poursuite de `symantic-parser`.
819 # Day changed to 18 octobre 2020
820 - julm: dev: haskell: poursuite de `symantic-parser`.
821 # Day changed to 19 octobre 2020
822 # Day changed to 20 octobre 2020
823 - julm: dev: nix: ouverture d'une nouvelle PR pour `security.apparmor` : https://github.com/NixOS/nixpkgs/pull/101071
824 - julm: dev: haskell: poursuite de `symantic-parser` : `observeSharing` ne fonctionne pas dans un programme exécutable alors qu'il fonctionne dans `ghci`. Grosse investiguation avec `trace`, `--enable-profiling`, `--enable-coverage`, et surtout `undefined` avec `+RTS -xc` : apparemment il faut absolument utiliser `unsafePerformIO` pour tout `IO` dans `ObserveSharing` sans quoi le `trace`.
825 # Day changed to 21 octobre 2020
826 - julm: dev: haskell: poursuite de `symantic-parser`.
827 # Day changed to 22 octobre 2020