WEBVTT


00:00:00.031 --> 00:00:04.599
[Prot]: Comment on dit « chat » en français ?

00:00:04.619 --> 00:00:06.483
Parce que je n'ai pas chat.

00:00:06.543 --> 00:00:08.547
[Richard]: Non, on dit chat.

00:00:09.208 --> 00:00:12.153
[Prot]: Ah, on dit chat.

00:00:13.295 --> 00:00:13.676
D'accord.

00:00:13.696 --> 00:00:14.277
C'est facile.

00:00:14.358 --> 00:00:18.544
[Sacha]: Bonjour à tous et à toutes et bienvenue

00:00:18.564 --> 00:00:21.488
dans ce tout premier épisode d'Emacs Chat en

00:00:21.528 --> 00:00:22.109
français.

00:00:22.450 --> 00:00:25.374
J'ai hâte de converser avec notre invité, Richard

00:00:25.394 --> 00:00:28.058
Bonichon, pour parler d'Emacs, d'Org Mode et

00:00:28.098 --> 00:00:28.839
d'autres sujets.

00:00:29.179 --> 00:00:32.503
Comme dans l'épisode d'Emacs Chat en anglais,

00:00:32.564 --> 00:00:35.989
j'espère que nous pourrons explorer les choses

00:00:36.029 --> 00:00:39.033
qui ne sont pas évidentes, rien que sa

00:00:39.194 --> 00:00:42.278
configuration ou son code, comment utiliser et

00:00:42.318 --> 00:00:43.740
combiner les fonctions

00:00:43.720 --> 00:00:45.779
dans vos flux de travail

00:00:45.780 --> 00:00:47.913
les raccourcis clavier le plus utiles,

00:00:47.914 --> 00:00:54.058
les astuces. J'espère aussi que nous pourrons tous rencontre

00:00:54.059 --> 00:00:56.138
les personnes passionnées qui font vivre

00:00:56.139 --> 00:00:57.482
la communauté Emacs.

00:00:57.483 --> 00:01:01.064
Bonjour Richard, merci beaucoup d'avoir accepté

00:01:01.124 --> 00:01:02.185
mon invitation.

00:01:02.738 --> 00:01:04.420
[Richard]: Le plaisir, c'est pour moi, en fait,

00:01:04.440 --> 00:01:09.646
de vous rencontrer tous les deux, en réalité.

00:01:09.666 --> 00:01:12.870
J'avoue que j'ai accepté en me disant, en voyant

00:01:13.110 --> 00:01:17.015
tes efforts, Sacha, pour écrire en français et

00:01:17.035 --> 00:01:18.277
apprendre le français.

00:01:19.418 --> 00:01:21.801
Et si je pouvais t'aider un tout petit peu avec

00:01:21.821 --> 00:01:23.603
tout ce que tu donnes à la communauté Emacs, et

00:01:23.623 --> 00:01:28.469
donc à moi, en t'aidant en français, alors c'est

00:01:28.489 --> 00:01:29.590
un plaisir de le faire.

00:01:29.941 --> 00:01:33.366
[Sacha]: Et merci aussi à Prot de nous rejoindre

00:01:33.446 --> 00:01:36.610
pour m'aider à garder une conversation fluide et

00:01:36.650 --> 00:01:40.255
m'épauler si jamais je me retrouve bloquée par la

00:01:40.275 --> 00:01:41.137
barrière de la langue.

00:01:42.058 --> 00:01:44.081
Je vais vous présenter mes excuses d'avance.

00:01:44.381 --> 00:01:47.385
Je ne suis qu'une débutante en français qui a

00:01:47.546 --> 00:01:50.023
envie de vidéos intermédiaires sur Emacs,

00:01:50.024 --> 00:01:52.853
que je puisse écouter mille et une fois.

00:01:53.935 --> 00:01:56.438
Donc voilà mon plan diabolique.

00:01:56.458 --> 00:01:58.581
En français, salut Prot!

00:01:59.675 --> 00:02:01.617
[Prot]: Salut Sacha, salut Richard.

00:02:02.197 --> 00:02:04.860
Allons-y, on va parler.

00:02:04.920 --> 00:02:06.802
[Sacha]: Vous appelez ?

00:02:07.422 --> 00:02:07.503
Oui.

00:02:07.523 --> 00:02:08.062
C'est parti.

00:02:08.604 --> 00:02:10.525
Tout le monde, Richard, peut-être vous présenter ?

00:02:11.707 --> 00:02:14.890
[Richard]: Oui, alors moi, je suis Richard

00:02:14.910 --> 00:02:17.933
Bonichon, donc je suis français et je suis un

00:02:17.953 --> 00:02:20.835
utilisateur d'Emacs depuis bien longtemps.

00:02:20.855 --> 00:02:23.358
Je peux raconter un peu l'histoire, comment ça

00:02:23.378 --> 00:02:23.618
est arrivé.

00:02:24.199 --> 00:02:26.161
Ça a commencé en école d'ingénieur.

00:02:26.921 --> 00:02:28.703
Donc en France, les études...

00:02:29.763 --> 00:02:32.106
Pas souvent en dehors de l'université, donc par

00:02:32.126 --> 00:02:34.169
des écoles dédiées, des écoles d'ingénieurs.

00:02:34.749 --> 00:02:35.751
Et là, on devait choisir.

00:02:35.831 --> 00:02:38.234
Et à l'époque, on nous avait encouragé à choisir

00:02:38.294 --> 00:02:41.878
entre Vi et Emacs sous Solaris.

00:02:43.721 --> 00:02:48.547
Et plus exactement, c'était l'époque, il fallait

00:02:48.567 --> 00:02:51.811
prendre X et Emacs.

00:02:52.412 --> 00:02:54.955
Fin des années 90, début des années 2000, il y

00:02:54.975 --> 00:02:56.597
avait encore ces deux choix.

00:02:56.577 --> 00:03:00.884
Moi, j'ai fait des études d'informatique.

00:03:00.904 --> 00:03:03.989
Aujourd'hui, je suis ingénieur, programmeur,

00:03:04.009 --> 00:03:06.072
ingénieur logiciel après avoir été chercheur

00:03:06.152 --> 00:03:09.898
pendant très longtemps dans le domaine des

00:03:09.938 --> 00:03:12.763
méthodes formelles, des langages de programmation.

00:03:13.351 --> 00:03:16.375
Et mon langage de programmation préféré, c'est

00:03:16.395 --> 00:03:16.795
OCaml.

00:03:17.496 --> 00:03:21.501
Et dans la communauté OCaml, l'éditeur, jusqu'à

00:03:21.801 --> 00:03:23.483
maintenant ça change un peu, l'éditeur de

00:03:23.523 --> 00:03:25.125
prédilection pendant très longtemps, c'était

00:03:25.145 --> 00:03:25.806
Emacs.

00:03:25.826 --> 00:03:28.209
Parce que c'est lui qui avait le meilleur support

00:03:28.249 --> 00:03:32.254
pour le langage à travers le mode Tuareg et le

00:03:32.274 --> 00:03:32.854
mode Caml.

00:03:33.135 --> 00:03:37.901
Et donc, quand j'apprenais au niveau académique

00:03:37.921 --> 00:03:39.122
dans mon domaine,

00:03:39.473 --> 00:03:45.041
Tous mes encadrants utilisaient Emacs pour coder en

00:03:45.081 --> 00:03:45.782
Caml.

00:03:46.383 --> 00:03:48.927
C'est là que le choix définitif s'est fait et ça

00:03:48.947 --> 00:03:51.911
n'a fait que s'empirer entre guillemets.

00:03:53.153 --> 00:03:55.777
Après, j'ai commencé à creuser moi-même et en

00:03:55.817 --> 00:03:57.499
particulier...

00:03:57.479 --> 00:04:00.643
Grâce à toi, Sacha, grâce à la newsletter

00:04:00.944 --> 00:04:05.530
hebdomadaire que tu fournis, parce que ça permet

00:04:05.790 --> 00:04:09.795
de perdre un temps fou dans tout ce que font les

00:04:09.835 --> 00:04:12.319
gens sur Emacs et d'aller voir comment ça se

00:04:12.339 --> 00:04:15.082
fait, ce qu'il y a de nouveau, essayer un nouveau

00:04:15.143 --> 00:04:20.769
mode ou un nouveau environnement tout le temps.

00:04:21.188 --> 00:04:26.154
Et j'ai aussi passé le virus après à mes

00:04:26.174 --> 00:04:29.338
étudiants, donc les encourager à utiliser Emacs

00:04:31.360 --> 00:04:33.062
et tout ce qu'il y avait dans Emacs, en

00:04:33.082 --> 00:04:36.246
particulier Org Mode et Magit, qui sont deux

00:04:36.286 --> 00:04:41.512
points d'entrée super importants et incroyables

00:04:41.532 --> 00:04:45.116
en termes de qualité pour utiliser Emacs.

00:04:45.957 --> 00:04:50.082
Et donc, il y en a d'autres qui l'utilisent.

00:04:50.062 --> 00:04:51.845
Mais je suis un maximaliste, moi, plutôt.

00:04:53.347 --> 00:04:57.533
On pourra en reparler.

00:04:57.593 --> 00:05:01.518
[Sacha]: Tu utilises Emacs pour ton travail, ton

00:05:01.538 --> 00:05:05.604
enseignement à l'université avec tes étudiants.

00:05:06.886 --> 00:05:09.029
[Richard]: Oui, quand j'enseignais, j'ai montré

00:05:09.049 --> 00:05:11.072
tout le temps Emacs.

00:05:11.272 --> 00:05:14.517
Quand je montrais du code, c'était dans Emacs.

00:05:15.593 --> 00:05:20.202
Quand je composais mes slides, ma présentation,

00:05:20.222 --> 00:05:25.251
c'était avec Emacs, avec Beamer et LaTeX.

00:05:26.173 --> 00:05:30.300
Et puis Org Mode, via LaTeX et Beamer.

00:05:30.320 --> 00:05:34.147
En fait, je l'utilise.

00:05:34.468 --> 00:05:37.594
J'ai trois fenêtres en général dans mon OS.

00:05:37.654 --> 00:05:39.357
J'ai Emacs, un navigateur.

00:05:39.337 --> 00:05:41.839
Et peut-être un terminal, mais les terminaux

00:05:42.540 --> 00:05:44.622
maintenant passent essentiellement dans Emacs à

00:05:44.642 --> 00:05:47.905
travers les différents modes qu'on a, enfin les

00:05:47.925 --> 00:05:51.508
différentes capacités, que ce soit Eat, Vterm ou

00:05:51.528 --> 00:05:51.868
Eshell.

00:05:54.390 --> 00:05:58.734
[Sacha]: En lisant ta configuration, j'ai noté

00:05:58.754 --> 00:06:02.838
que tu as beaucoup de fonctions personnalisées

00:06:04.439 --> 00:06:05.220
pour Eshell.

00:06:06.361 --> 00:06:08.483
Donc, tu as bien utilisé ?

00:06:08.986 --> 00:06:12.526
[Richard]: Oui, alors je les ai, comme une bonne

00:06:12.547 --> 00:06:14.618
partie de ma configuration, je les ai un peu

00:06:14.639 --> 00:06:16.127
volés des gens.

00:06:16.529 --> 00:06:19.974
Et notamment, je pense que pour Eshell, ça vient

00:06:19.994 --> 00:06:21.936
de deux personnes en particulier.

00:06:24.199 --> 00:06:30.448
Howard Abrams, qui à un moment avait une série de

00:06:30.508 --> 00:06:35.074
posts incroyables sur l'utilisation d'Org pour

00:06:35.174 --> 00:06:38.078
documenter et réexécuter tout ce qu'il faisait en

00:06:38.118 --> 00:06:40.502
DevOps, et notamment parler d'Eshell.

00:06:41.223 --> 00:06:43.205
Et probablement de John Wiegley, si je ne me

00:06:43.225 --> 00:06:44.427
trompe pas.

00:06:44.862 --> 00:06:50.808
Donc, j'ai récupéré des aliases qu'ils avaient et

00:06:50.908 --> 00:06:53.310
en fait, j'ai toujours cette envie de l'utiliser

00:06:53.390 --> 00:06:56.033
et à chaque fois, je retombe sur un autre.

00:06:57.594 --> 00:06:59.836
Mais il est toujours là dans un coin et il est

00:06:59.856 --> 00:07:02.979
assez personnalisé mais son usage est minimal,

00:07:02.999 --> 00:07:05.222
j'avoue.

00:07:05.242 --> 00:07:10.006
[Sacha]: Mais tu as une vie de commande très

00:07:10.066 --> 00:07:11.848
complexe.

00:07:12.250 --> 00:07:13.672
[Richard]: Oui, mais ça c'est pareil.

00:07:13.993 --> 00:07:15.796
C'est comme beaucoup de trucs, tu sais.

00:07:15.816 --> 00:07:19.081
C'est l'avantage des communautés ouvertes, c'est

00:07:19.101 --> 00:07:21.545
qu'on prend quelque chose et puis on le modifie

00:07:21.905 --> 00:07:23.047
et ça devient le nôtre.

00:07:23.728 --> 00:07:26.092
Et c'est ça qui est super, en fait, dans Emacs en

00:07:26.132 --> 00:07:28.656
particulier, mais dans les communautés ouvertes

00:07:28.716 --> 00:07:31.721
et open source en général, c'est d'avoir accès à

00:07:31.741 --> 00:07:34.044
toutes ces ressources et souvent d'avoir des gens

00:07:34.064 --> 00:07:36.368
qui les partagent gratuitement.

00:07:36.753 --> 00:07:39.095
C'est incroyable quand même ça.

00:07:39.115 --> 00:07:42.979
[Prot]: Et c'est l'esprit d'Emacs comme ça, de

00:07:43.019 --> 00:07:46.302
prendre quelque chose et de modifier pour faire

00:07:46.362 --> 00:07:47.824
ce que tu veux.

00:07:48.765 --> 00:07:49.445
[Richard]: Exactement.

00:07:49.465 --> 00:07:53.049
Ah bah oui, ça c'est clairement... Mais ça, ça me

00:07:53.069 --> 00:07:56.933
parle beaucoup en plus en tant que programmeur.

00:07:56.953 --> 00:08:01.557
C'est vraiment adapté à... Alors j'ai essayé

00:08:01.577 --> 00:08:04.901
d'autres IDE de programmation dans les

00:08:04.921 --> 00:08:06.422
environnements de développement.

00:08:07.212 --> 00:08:11.016
Le seul qui trouve un peu grâce à mes yeux, c'est

00:08:11.056 --> 00:08:13.740
le concurrent principal d'Emacs, dans ma tête en

00:08:13.760 --> 00:08:18.205
tout cas, c'est la famille Vim, parce que je

00:08:18.245 --> 00:08:22.229
comprends aussi, mais je me sens à chaque fois

00:08:22.470 --> 00:08:27.836
extrêmement gêné, restreint et contraint dans un

00:08:27.856 --> 00:08:30.439
idéal, même dans Visual Code ou ce genre de

00:08:30.459 --> 00:08:33.683
choses, je me sens... Mal à l'aise.

00:08:33.842 --> 00:08:34.383
Comment dire ?

00:08:34.403 --> 00:08:35.784
Je ne sais pas.

00:08:36.423 --> 00:08:40.969
Il y a trop de choses et on me contraint trop à

00:08:41.029 --> 00:08:44.033
faire les choses de la manière dont on les a

00:08:44.073 --> 00:08:45.496
pensées et pas autrement.

00:08:48.480 --> 00:08:50.302
Et je ne comprends pas comment les adapter en

00:08:50.322 --> 00:08:54.187
plus.

00:08:55.449 --> 00:08:57.352
Je sais comment adapter les choses.

00:08:57.372 --> 00:08:59.034
Ce sont que des fonctions.

00:09:01.357 --> 00:09:03.701
Donc ça, ça me parle en tant que programmeur

00:09:03.721 --> 00:09:04.742
fonctionnel.

00:09:05.414 --> 00:09:07.856
Emacs Lisp, c'est très proche de ma manière de

00:09:07.916 --> 00:09:08.477
penser.

00:09:08.897 --> 00:09:10.699
J'ai une formation aussi de mathématicien, bien

00:09:10.719 --> 00:09:11.060
sûr.

00:09:12.221 --> 00:09:15.704
Ça me parle très fort.

00:09:15.724 --> 00:09:19.208
C'est un langage qui est très, très proche dans

00:09:19.228 --> 00:09:20.649
beaucoup d'aspects de OCaml.

00:09:20.669 --> 00:09:24.193
Il est à la fois fonctionnel, mais impur.

00:09:24.213 --> 00:09:26.815
On peut faire beaucoup d'effets, de bords, comme

00:09:26.835 --> 00:09:29.238
on dit, de changement de structure de données.

00:09:30.059 --> 00:09:31.960
Et il n'y a pas le typage.

00:09:31.980 --> 00:09:34.543
Mais c'est autre chose, un autre débat.

00:09:35.384 --> 00:09:40.627
[Prot]: Et tu préfères les modèles OCaml comme ça

00:09:40.767 --> 00:09:43.318
ou les modèles d'Emacs?

00:09:44.007 --> 00:09:48.916
[Richard]: Alors, sincèrement, le langage où je

00:09:48.976 --> 00:09:50.820
me sens le mieux quand je programme, où je me

00:09:50.840 --> 00:09:52.182
sens bien, c'est OCaml.

00:09:52.202 --> 00:09:55.408
Clairement, ça fait 20 ans, plus de 20 ans que

00:09:55.529 --> 00:09:58.173
j'utilise et ça me fait plaisir.

00:09:58.554 --> 00:10:00.217
Je pense que vous connaissez ça tous les deux,

00:10:00.798 --> 00:10:03.744
mais il y a des moments où on a du plaisir à être

00:10:03.764 --> 00:10:05.948
dans un outil ou dans un monde

00:10:06.586 --> 00:10:10.149
qu'on connait. Et OCaml, je connais sur le bout

00:10:10.150 --> 00:10:12.433
des doigts quoi je connais par cœur.

00:10:12.434 --> 00:10:16.786
Je prèfère, j'aime moi le typage.

00:10:16.787 --> 00:10:17.683
Moi, je suis un programmeur

00:10:17.684 --> 00:10:19.156
qui assume qu'il va faire des erreurs.

00:10:19.157 --> 00:10:22.272
Le type m'aide en enlever une partie

00:10:22.273 --> 00:10:26.535
à réfléchir et à structurer ma pensée.

00:10:26.617 --> 00:10:33.405
C'est un avis comme un autre, mais pour un

00:10:33.425 --> 00:10:36.109
éditeur, par contre, le modèle d'Emacs Lisp a

00:10:36.129 --> 00:10:37.110
quand même des avantages.

00:10:39.493 --> 00:10:41.195
Je ne sais pas comment ça s'est passé, mais il se

00:10:41.215 --> 00:10:44.239
trouve que c'est quand même bien, les deux se

00:10:44.279 --> 00:10:44.839
complètent bien.

00:10:44.879 --> 00:10:49.225
Le langage dans un éditeur, ce langage-là dans un

00:10:49.245 --> 00:10:51.848
éditeur, la famille Lisp, c'est pas mal.

00:10:55.692 --> 00:11:00.442
[Sacha]: En lisant ta configuration, j'ai aussi

00:11:00.462 --> 00:11:05.052
noté que tu affiches les informations du mode line

00:11:05.132 --> 00:11:07.036
dans le header line.

00:11:07.998 --> 00:11:13.009
Est-ce que c'est plus pratique pour toi?

00:11:13.833 --> 00:11:16.958
[Richard]: Oui, en fait, j'ai tendance à regarder

00:11:18.641 --> 00:11:20.644
en haut, dans mon buffer.

00:11:20.664 --> 00:11:23.288
Et j'avais vu, je pense que j'ai pris ce truc-là

00:11:23.529 --> 00:11:25.151
d'un autre francophone.

00:11:26.994 --> 00:11:32.623
Donc j'ai oublié le prénom, c'est Rougier.

00:11:32.844 --> 00:11:36.930
Et c'est de là que j'ai volé cette idée.

00:11:36.950 --> 00:11:39.334
Je suis un grand voleur, vous savez.

00:11:40.917 --> 00:11:42.133
[Sacha]: Tout le monde.

00:11:42.134 --> 00:11:45.707
[Richard]: Oui, on récupère les idées. Et c'est resté.

00:11:45.708 --> 00:11:47.628
Voilà, c'est quelque chose que j'ai mis en place

00:11:47.629 --> 00:11:49.367
et c'est resté.

00:11:49.368 --> 00:11:51.629
Ça me plaît bien.

00:11:51.630 --> 00:11:54.606
[Prot]: Voler à volonté.

00:11:55.160 --> 00:11:58.708
[Richard]: Ouais, ouais. Et en fait, c'est bien que

00:11:58.709 --> 00:11:59.712
vous m'ayez un peu

00:11:59.772 --> 00:12:02.719
forcé à mettre ma config pour ce qu'elle a

00:12:02.739 --> 00:12:04.464
d'intéressant en public.

00:12:04.985 --> 00:12:08.274
Comme ça, les autres vont pouvoir voler s'ils

00:12:08.294 --> 00:12:11.021
veulent.

00:12:11.041 --> 00:12:11.903
C'est très bien comme ça.

00:12:14.785 --> 00:12:18.573
[Sacha]: Je vois que tu as tant de bibliothèques.

00:12:19.294 --> 00:12:23.523
Il y en a une qui prépare un rapport sur tes

00:12:23.543 --> 00:12:24.505
journées de travail.

00:12:24.625 --> 00:12:28.734
Il y a une autre qui extrait des offres d'emploi

00:12:29.496 --> 00:12:30.718
sur une page.

00:12:30.698 --> 00:12:34.804
Un troisième analyse les données Garmin en

00:12:34.824 --> 00:12:38.109
utilisant l'IA pour générer un rapport au format

00:12:38.409 --> 00:12:38.870
Org Mode.

00:12:40.492 --> 00:12:43.537
Tu peux nous en dire plus ?

00:12:43.757 --> 00:12:46.081
Quelle est ta fonctionnalité préférée ?

00:12:47.102 --> 00:12:47.943
[Richard]: Ah, de celle-là ?

00:12:47.964 --> 00:12:49.265
Alors, c'est le mode Garmin.

00:12:49.285 --> 00:12:51.409
C'est le dernier que j'ai mis en place.

00:12:51.949 --> 00:12:53.992
Donc, moi, je fais pas mal de courses à pied.

00:12:54.513 --> 00:12:55.234
J'aime bien ça.

00:12:55.294 --> 00:12:56.436
Et puis, ça me permet de...

00:12:56.905 --> 00:12:59.170
Moi, c'est là où je fais de la méditation, la

00:12:59.190 --> 00:13:00.293
course à pied.

00:13:00.654 --> 00:13:04.102
Je vais courir et puis je pense... Vous savez,

00:13:04.122 --> 00:13:05.926
quand on est sous la douche ou quelque chose

00:13:05.946 --> 00:13:07.911
comme ça, on a des idées qui arrivent, la course

00:13:07.931 --> 00:13:10.898
à pied, c'est à se faire la même chose et puis ça

00:13:10.918 --> 00:13:11.840
maintient en forme.

00:13:11.860 --> 00:13:14.165
C'est pas plus mal de prendre un peu soin de sa

00:13:14.186 --> 00:13:15.268
santé quand on peut.

00:13:15.637 --> 00:13:19.186
Donc j'ai beaucoup de données Garmin et ça

00:13:19.206 --> 00:13:22.093
commençait à m'embêter de devoir aller sur le

00:13:22.113 --> 00:13:24.479
site de Garmin et puis pas adapter à ce que je

00:13:24.499 --> 00:13:24.940
veux faire.

00:13:24.960 --> 00:13:28.047
Encore une fois, c'est toujours la même idée et

00:13:28.088 --> 00:13:30.413
que mes données ne soient que là parce que c'est

00:13:30.433 --> 00:13:31.536
mes données.

00:13:31.516 --> 00:13:38.029
Le premier réflexe pour moi, c'est comment je

00:13:38.049 --> 00:13:40.935
peux les visualiser d'une manière cool sous Emacs.

00:13:41.717 --> 00:13:45.264
Pour moi, Org Mode, forcément, il faut un truc

00:13:45.284 --> 00:13:48.852
textuel, donc sous Emacs et Org Mode, parce que

00:13:48.872 --> 00:13:50.014
pour moi, c'est lié.

00:13:50.517 --> 00:13:53.645
Et oui, j'ai fait ça à l'aide avec Claude,

00:13:53.665 --> 00:13:55.871
évidemment, comme beaucoup de gens à l'heure

00:13:55.911 --> 00:13:56.432
actuelle.

00:13:56.513 --> 00:13:59.460
Et c'est ça aussi qui est cool dans Emacs, c'est

00:13:59.480 --> 00:14:02.207
qu'on a pu analyser toute la base de code

00:14:02.227 --> 00:14:03.090
d'Elisp.

00:14:03.531 --> 00:14:05.235
Il sait faire ça raisonnablement bien.

00:14:06.599 --> 00:14:08.221
Oui, il y a plusieurs petits outils.

00:14:08.341 --> 00:14:11.506
Il y a un bout de code Rust pour extraire en mode

00:14:11.546 --> 00:14:22.020
JSON les données du format fit de Garmin parce

00:14:22.501 --> 00:14:24.103
qu'il y a une bonne bibliothèque en Rust tout

00:14:24.123 --> 00:14:24.564
simplement.

00:14:24.584 --> 00:14:26.987
Puis je fais du Rust en ce moment, donc voilà.

00:14:26.967 --> 00:14:28.570
C'est pratique.

00:14:29.171 --> 00:14:30.414
C'est un langage que j'aime bien.

00:14:31.596 --> 00:14:32.818
Donc ça, ça fait du JSON.

00:14:32.838 --> 00:14:35.183
Et après, une fois qu'on a du JSON, on est bien

00:14:35.203 --> 00:14:35.644
dans Emacs.

00:14:36.005 --> 00:14:38.389
On n'a plus besoin... J'ai décidé de ne pas tout

00:14:38.490 --> 00:14:40.353
faire en Elisp.

00:14:40.373 --> 00:14:42.758
La fonction d'extraction du feed ne paraissait

00:14:42.778 --> 00:14:43.339
pas...

00:14:44.618 --> 00:14:46.460
J'ai essayé de demander beaucoup plus de codes

00:14:46.480 --> 00:14:50.103
que nécessaire pour mon usage.

00:14:50.183 --> 00:14:52.566
Après, j'ai mis en place une pagination.

00:14:54.347 --> 00:14:59.312
Je savais que je voulais utiliser le mode

00:14:59.332 --> 00:15:04.817
tabulated pour les mettre en format colonne.

00:15:04.998 --> 00:15:09.482
Dans le passé, j'avais déjà utilisé le docker

00:15:09.502 --> 00:15:10.643
mode.

00:15:10.623 --> 00:15:12.947
pour gérer plusieurs dockers.

00:15:12.967 --> 00:15:15.430
Et j'ai trouvé ça génial d'être dans Emacs et de

00:15:15.471 --> 00:15:17.914
gérer ces dockers, avoir une interface assez

00:15:17.954 --> 00:15:19.937
simple et d'avoir des raccourcis pour les lancer,

00:15:20.398 --> 00:15:21.019
les arrêter.

00:15:21.540 --> 00:15:23.803
Et je me dis, mais c'est ça qu'il me faut.

00:15:23.823 --> 00:15:27.629
Moi, par moi, une page, je peux lancer l'analyse,

00:15:27.649 --> 00:15:29.873
parce que j'utilise aussi Claude pour essayer

00:15:29.893 --> 00:15:33.899
d'analyser mes entraînements, etc.

00:15:34.039 --> 00:15:36.323
Et les analyser en Org Mode et les avoir, en

00:15:36.343 --> 00:15:39.027
fait, et avoir le journal de course à pied.

00:15:39.479 --> 00:15:43.847
Automatiquement généré, l'app en Elisp.

00:15:43.867 --> 00:15:46.130
Je pense que ça, je l'utilise tous les jours

00:15:46.511 --> 00:15:46.932
maintenant.

00:15:47.052 --> 00:15:49.937
Enfin, tous les jours, je vais courir en tout cas.

00:15:49.957 --> 00:15:51.399
Et les autres, c'est sympa aussi.

00:15:51.420 --> 00:15:53.483
Alors, les rapports, c'est parce qu'à une époque,

00:15:53.984 --> 00:15:56.749
on demandait encore hebdomadaire sur mon activité.

00:15:58.111 --> 00:16:00.916
[Sacha]: J'ai oublié de presser le bouton go live.

00:16:02.098 --> 00:16:03.360
[Prot]: Ah non !

00:16:08.757 --> 00:16:13.472
[Sacha]: Je dois présenter toutes mes excuses...

00:16:13.473 --> 00:16:18.453
J'ai totalement oublié le bouton...

00:16:18.454 --> 00:16:21.558
[Prot]: Pas grave, pas de souci, pas de problème.

00:16:21.559 --> 00:16:24.375
[Sacha]: On recommence.

00:16:24.376 --> 00:16:26.253
Comment en français on dit que

00:16:26.254 --> 00:16:29.230
la première edition, c'est pour essuyer les plâtres.

00:16:29.231 --> 00:16:34.234
Quand on refait un mur, il faut que nettoye. [??]

00:16:34.235 --> 00:16:39.547
[Prot]: Ouais, ouais, très bien.

00:16:42.400 --> 00:16:46.122
[Richard]: On pourra recommencer.

00:16:52.362 --> 00:16:57.869
[Sacha]: Donc, je ne répète pas mon introduction.

00:17:00.913 --> 00:17:08.061
Tu racontes une histoire fascinante de ses données

00:17:08.963 --> 00:17:11.267
de Garmin et...

00:17:11.268 --> 00:17:14.430
[Richard]: Je peux recommencer, on recommence.

00:17:14.450 --> 00:17:18.736
Pas de souci, je peux raconter.

00:17:18.756 --> 00:17:20.878
On peut commencer directement là-dessus.

00:17:21.299 --> 00:17:21.880
J'y vais ?

00:17:23.564 --> 00:17:30.653
La dernière chose pour laquelle j'ai choisi Emacs

00:17:30.733 --> 00:17:33.677
et que j'aime bien, c'est pour créer un mode pour

00:17:33.697 --> 00:17:35.839
extraire, pour gérer les données de ma montre

00:17:36.040 --> 00:17:36.520
Garmin.

00:17:41.126 --> 00:17:45.371
J'ai un côté maximaliste, donc j'envisage Emacs

00:17:45.511 --> 00:17:48.275
comme l'endroit où je vais gérer mes données et

00:17:48.295 --> 00:17:50.938
je vais les visualiser et qui va orchestrer.

00:17:51.509 --> 00:17:53.211
C'est vraiment mon OS en réalité.

00:17:53.651 --> 00:18:00.118
Quand nos copains qui sont plutôt adeptes de Vim

00:18:00.158 --> 00:18:03.962
parlent d'Emacs comme un super OS, j'utilise

00:18:04.022 --> 00:18:08.847
vraiment comme ça.

00:18:09.347 --> 00:18:11.629
En fait, c'est l'orchestrateur et c'est là que je

00:18:11.649 --> 00:18:12.670
vois mes données.

00:18:12.690 --> 00:18:15.233
Et pour Garmin, j'ai pensé immédiatement à Emacs

00:18:15.513 --> 00:18:19.137
et derrière à Org Mode pour les voir en textuel.

00:18:19.117 --> 00:18:26.514
C'est un orchestrateur entre un petit programme

00:18:26.534 --> 00:18:30.042
Rust qui fait le traitement de la donnée brute en

00:18:30.063 --> 00:18:33.932
format fit de Garmin, qu'il extrait en JSON, et

00:18:33.972 --> 00:18:37.159
c'est ça qui est après analysé en Emacs.

00:18:38.303 --> 00:18:40.688
Retravailler pour avoir une visualisation Org

00:18:40.708 --> 00:18:43.613
Mode avec un tableau kilomètre par kilomètre, les

00:18:43.633 --> 00:18:45.677
allures, la fréquence cardiaque, etc.

00:18:45.738 --> 00:18:49.305
Même un petit... Je crois qu'il y a un petit bout

00:18:49.345 --> 00:18:51.629
qui est censé faire des graphes aussi.

00:18:52.471 --> 00:18:55.637
Je ne l'utilise pas trop avec Gnuplot.

00:18:55.617 --> 00:18:59.022
Je ne sais pas si j'ai bien demandé, si ça marche.

00:18:59.043 --> 00:19:01.066
Je n'ai pas trop testé.

00:19:01.086 --> 00:19:04.792
Mais l'idée, c'est vraiment d'avoir tout ce que

00:19:04.812 --> 00:19:07.576
je trouve intéressant de chez Garmin dans un

00:19:07.596 --> 00:19:08.898
fichier Org Mode.

00:19:10.241 --> 00:19:13.626
Donc avec la capacité de le voir localement.

00:19:14.298 --> 00:19:16.901
Via Emacs.

00:19:18.383 --> 00:19:21.747
Quand je raconte ce genre de choses à mes

00:19:21.767 --> 00:19:25.351
étudiants ou mes amis, ils me disent toujours, je

00:19:25.371 --> 00:19:28.594
ne suis pas trop étonné de tes choix.

00:19:28.614 --> 00:19:32.939
Quand on me connaît, que je fasse des choses et

00:19:32.959 --> 00:19:36.083
que ça passe par Org Mode, les gens commencent à

00:19:36.103 --> 00:19:37.965
ne plus être trop étonnés.

00:19:38.025 --> 00:19:41.749
J'adore cette idée-là.

00:19:42.030 --> 00:19:44.052
En fait, c'est tellement...

00:19:44.858 --> 00:19:45.619
Chouette.

00:19:46.820 --> 00:19:49.543
J'aime bien l'idée que tout soit en texte, qu'on

00:19:49.563 --> 00:19:51.706
ait tout autour une gamme d'outils, que ce soit

00:19:51.726 --> 00:19:56.971
pour faire comme Prot avec Denote ou ce genre

00:19:56.992 --> 00:19:57.692
de choses.

00:19:57.933 --> 00:20:00.716
On a des outils autour qui permettent d'utiliser

00:20:00.736 --> 00:20:05.040
ce format qui a déjà été super bien pensé et qui

00:20:05.060 --> 00:20:07.964
avait déjà beaucoup de capacités, l'agenda, etc.

00:20:07.984 --> 00:20:09.405
Moi, j'y pense toujours.

00:20:09.445 --> 00:20:10.627
Je l'utilise aussi, l'agenda.

00:20:11.227 --> 00:20:12.449
Je diverge un peu.

00:20:12.469 --> 00:20:14.511
Désolé, je reviens au mode Garmin.

00:20:15.402 --> 00:20:18.004
Donc, j'ai une page par mois avec toutes mes

00:20:18.024 --> 00:20:20.026
sorties, savoir si elles ont été analysées.

00:20:20.046 --> 00:20:25.131
Je peux lancer l'analyse par IA aussi de ma

00:20:25.151 --> 00:20:26.793
progression ou de ma régression.

00:20:26.893 --> 00:20:30.176
Ça arrive aussi.

00:20:30.196 --> 00:20:32.138
De ce que je devrais faire, de ce qu'ils pensent

00:20:32.158 --> 00:20:33.059
que je devrais faire.

00:20:34.200 --> 00:20:37.303
Alors, petit secret, j'arrive quand même assez

00:20:37.563 --> 00:20:41.046
systématiquement à convaincre l'IA que c'est bien

00:20:41.086 --> 00:20:43.148
ce que je fais et qu'elle a tort.

00:20:43.128 --> 00:20:46.875
Elle arrive toujours à se faire convaincre que ça

00:20:46.895 --> 00:20:50.321
a du sens ce que je fais.

00:20:50.381 --> 00:20:53.947
Donc l'orchestrateur, une page par mois dans le

00:20:53.967 --> 00:20:57.333
mode tabulated pour avoir des petites

00:20:57.433 --> 00:20:59.517
visualisations aussi, ça a été analysé.

00:21:00.779 --> 00:21:02.762
Je peux marquer, j'ai rajouté, je ne sais pas si

00:21:02.782 --> 00:21:04.904
je l'ai poussé, j'ai rajouté des marqueurs.

00:21:05.085 --> 00:21:07.207
Ça, c'est une séance de référence.

00:21:07.227 --> 00:21:09.170
Si, par exemple, il y avait un test ou une allure

00:21:09.210 --> 00:21:10.832
particulière qui est importante dans

00:21:10.892 --> 00:21:13.415
l'entraînement, je peux marquer cette chose-là.

00:21:13.435 --> 00:21:15.799
Donc, il y a une petite base de données.

00:21:16.840 --> 00:21:21.887
Il y a des métadatas en format .el, je crois,

00:21:22.107 --> 00:21:25.892
essentiellement une S-expression, pour rajouter

00:21:25.912 --> 00:21:29.376
des données perso au-dessus des données extraites

00:21:29.436 --> 00:21:34.279
de Garmin en plus. Donc qui est lu par Emacs

00:21:34.280 --> 00:21:36.092
puisque les données sont dans un répertoire

00:21:36.093 --> 00:21:38.268
et il y a ces données là aussi.

00:21:38.269 --> 00:21:40.994
Une mini base de données qui est juste en fait une...

00:21:40.995 --> 00:21:44.472
Pas une, c'est juste une donnée Lisp, quoi.

00:21:44.473 --> 00:21:46.767
Ça, c'est un exemple.

00:21:46.747 --> 00:21:49.691
Des trucs qui sont super chouettes en Lisp, c'est

00:21:49.711 --> 00:21:51.574
qu'on prend un fichier, on a juste la

00:21:51.594 --> 00:21:53.857
S-expression, il n'y a pas de différence, les

00:21:53.917 --> 00:21:54.878
données, le programme.

00:21:56.781 --> 00:22:03.210
Ça, c'est un truc pratique pour travailler sur

00:22:03.230 --> 00:22:05.913
les données ou les choses.

00:22:06.794 --> 00:22:08.637
[Sacha]: C'est le pouvoir de Lisp.

00:22:09.494 --> 00:22:11.156
[Richard]: Exactement, mais c'est pour ça que je

00:22:11.176 --> 00:22:15.022
dis que je pense que c'est un cas d'usage où

00:22:15.042 --> 00:22:17.125
Lisp est particulièrement bien adapté.

00:22:18.487 --> 00:22:20.310
Je vois les langages de programmation comme ayant

00:22:20.350 --> 00:22:23.775
tous des capacités quand même plus ou moins

00:22:24.476 --> 00:22:26.098
particulières.

00:22:26.118 --> 00:22:29.363
Je n'utiliserais pas, par exemple, même si on a

00:22:29.423 --> 00:22:31.966
discuté où OCaml était mon langage préféré, je ne

00:22:31.986 --> 00:22:33.088
l'utiliserais pas pour un

00:22:33.811 --> 00:22:35.515
Pour un tas de choses.

00:22:35.535 --> 00:22:38.603
Il y a des langages qui sont plus adaptés.

00:22:38.884 --> 00:22:40.929
Même si je veux faire des scripts, par exemple,

00:22:40.949 --> 00:22:43.836
un peu à jeter, j'aurais quand même tendance à

00:22:43.856 --> 00:22:46.162
faire du Python, personnellement, malgré tout.

00:22:46.182 --> 00:22:49.090
Même si c'est possible, il n'y a pas tout le

00:22:49.110 --> 00:22:49.791
reste.

00:22:49.811 --> 00:22:50.453
Il manque des choses.

00:22:51.783 --> 00:22:55.109
[Sacha]: Et parce que tu utilises Emacs pour

00:22:55.430 --> 00:22:59.417
créer une interface personnalisée avec le

00:22:59.457 --> 00:23:04.306
Tabulated et d'autres modules, tu peux créer ton

00:23:04.326 --> 00:23:08.194
interface dans tout ton flux de travail et tu

00:23:08.214 --> 00:23:12.762
peux aussi annoter tes données avec Org Mode.

00:23:13.501 --> 00:23:14.242
[Richard]: Exactement.

00:23:14.703 --> 00:23:17.346
Et je peux les rechercher après avec les tags,

00:23:17.586 --> 00:23:20.590
comme ça se fait, ou avec les outils standards,

00:23:20.611 --> 00:23:24.616
Unix, Grep, RG, ce que vous préférez.

00:23:24.636 --> 00:23:27.099
Tout ça, c'est très bien intégré dans Emacs, donc

00:23:27.119 --> 00:23:30.644
il n'y a pas besoin de sortir de son monde.

00:23:30.664 --> 00:23:32.667
[Prot]: Est-ce que tu utilises l'agenda aussi

00:23:32.967 --> 00:23:35.871
pour chercher ces données ?

00:23:35.891 --> 00:23:37.073
[Richard]: Ah, pour chercher ces données ?

00:23:37.153 --> 00:23:37.433
Non.

00:23:38.003 --> 00:23:46.358
L'agenda, je suis tombé, j'ai beaucoup limité son usage.

00:23:46.558 --> 00:23:53.110
J'ai restreint sur quelques fichiers simplement.

00:23:53.258 --> 00:23:57.405
Peut-être à tort, mais justement, je suis prêt à

00:23:57.425 --> 00:24:02.113
changer s'il y a des usages que je n'utilise pas

00:24:02.213 --> 00:24:02.614
trop.

00:24:02.714 --> 00:24:04.777
Ça fait partie des fichiers exclus parce que je

00:24:04.797 --> 00:24:08.183
commence à avoir beaucoup de fichiers de notes

00:24:08.203 --> 00:24:10.106
diverses et variées sur des sujets.

00:24:10.687 --> 00:24:13.953
Et les séries d'entraînement, elles sont classées

00:24:13.993 --> 00:24:16.617
dans un sous-répertoire de ces notes.

00:24:16.597 --> 00:24:20.906
qui sont pour l'instant indexés avec org-roam, mais

00:24:20.926 --> 00:24:23.431
j'utilise de plus en plus RG pour chercher dedans

00:24:23.451 --> 00:24:27.218
parce que des fois je cherche du contenu, pas les

00:24:27.258 --> 00:24:29.222
tags ou le titre.

00:24:29.242 --> 00:24:32.689
De toute façon, ce n'est pas indexé dans la base

00:24:32.709 --> 00:24:34.292
SQLite de org-roam.

00:24:36.056 --> 00:24:36.597
[Prot]: D'accord.

00:24:36.931 --> 00:24:40.656
[Sacha]: Tu utilises Org Super Agenda.

00:24:41.137 --> 00:24:41.477
Oui.

00:24:41.657 --> 00:24:48.687
En disant ta configuration d'Org Mode, je suis

00:24:48.807 --> 00:24:53.593
très curieuse parce que tu as une vue d'agenda

00:24:53.733 --> 00:24:57.358
qui a 27 sections.

00:24:59.341 --> 00:25:01.243
Oui.

00:25:01.263 --> 00:25:04.187
Vraiment, ton Super Zaen View.

00:25:04.522 --> 00:25:12.238
[Richard]: C'est peut-être une forme de paresse,

00:25:12.699 --> 00:25:14.643
mais j'aime bien avoir toute l'information en une

00:25:14.663 --> 00:25:19.493
fois et donc j'ai pas mal de filtres sur...

00:25:20.266 --> 00:25:22.248
Est-ce que ça s'agit d'une entreprise ?

00:25:22.268 --> 00:25:23.529
Est-ce que c'est pour l'entreprise ?

00:25:23.549 --> 00:25:24.890
Est-ce que c'est pour la maison ?

00:25:24.910 --> 00:25:27.553
Est-ce que c'est pour le travail mais pas pour

00:25:27.573 --> 00:25:29.815
l'entreprise ?

00:25:30.555 --> 00:25:31.937
Donc, à la fin, on arrive avec beaucoup de

00:25:31.957 --> 00:25:32.537
catégories.

00:25:33.458 --> 00:25:37.662
Et vous savez, c'est des choses qui ne font que

00:25:37.682 --> 00:25:38.242
s'accumuler.

00:25:38.302 --> 00:25:40.784
Donc, c'est une fonction monotone croissante.

00:25:41.045 --> 00:25:44.188
J'en ajoute, mais j'en enlève jamais.

00:25:44.208 --> 00:25:46.870
Ça manque de garbage collection.

00:25:47.691 --> 00:25:50.273
Il faudrait peut-être que je fasse une passe.

00:25:50.253 --> 00:25:54.618
Pour enlever des choses, il y a effectivement des

00:25:54.638 --> 00:25:58.342
choses sur dans combien de jours qui filtrent sur

00:25:58.762 --> 00:26:00.064
la deadline, le schedule.

00:26:00.564 --> 00:26:02.586
Il y a des choses qui filtrent sur la priorité.

00:26:02.686 --> 00:26:08.052
Il y a des choses qui filtrent sur le tag.

00:26:08.072 --> 00:26:09.494
Là, ça me convient à peu près.

00:26:09.514 --> 00:26:11.976
Du coup, je n'ai pas trop réfléchi à faire mieux,

00:26:11.996 --> 00:26:17.222
mais c'est possible que ce soit un peu trop fort.

00:26:18.738 --> 00:26:22.604
[Sacha]: Je pense que tu aimes distinguer les

00:26:22.624 --> 00:26:23.646
données par couleur.

00:26:24.007 --> 00:26:27.513
Tu as configuré Dired, Elfeed, les priorités d'Org

00:26:27.533 --> 00:26:31.820
Mode pour colorier les entrées selon le format ou

00:26:32.241 --> 00:26:34.444
par les étiquettes.

00:26:34.564 --> 00:26:35.646
Qu'est-ce que ça donne?

00:26:35.947 --> 00:26:39.092
Peux-tu nous montrer peut-être sur Elfeed?

00:26:39.730 --> 00:26:40.131
[Richard]: Oui.

00:26:40.912 --> 00:26:44.798
Attends, je vais... Et puis c'est là que ça va

00:26:44.818 --> 00:26:48.944
être intéressant parce que j'utilise Wayland.

00:26:49.004 --> 00:26:52.710
Alors c'est toujours le suspense sur le partage

00:26:52.730 --> 00:26:56.797
d'écran.

00:26:56.817 --> 00:26:58.459
[Sacha]: Pas de souci.

00:26:58.479 --> 00:26:59.240
[Richard]: Mais pas de souci.

00:26:59.320 --> 00:27:01.704
J'ai pas de souci à partager mon écran.

00:27:02.726 --> 00:27:03.527
On va voir.

00:27:04.182 --> 00:27:07.285
User operating system settings.

00:27:07.946 --> 00:27:08.907
Ok.

00:27:08.927 --> 00:27:16.535
Il va partager l'écran.

00:27:16.555 --> 00:27:23.302
Je vais essayer de nous mettre sur un autre.

00:27:24.122 --> 00:27:26.825
On va se mettre là.

00:27:27.606 --> 00:27:28.447
Voilà le flux.

00:27:28.487 --> 00:27:31.590
En fait, les couleurs, elles sont assez...

00:27:32.245 --> 00:27:35.871
C'est faiblement visible là, comme c'est très

00:27:36.573 --> 00:27:37.915
grand.

00:27:38.055 --> 00:27:41.401
Donc c'est surtout des soulignés que j'utilise,

00:27:41.642 --> 00:27:42.363
des petites couleurs.

00:27:43.425 --> 00:27:47.051
Je ne suis pas sûr d'y prêter tant attention que

00:27:47.072 --> 00:27:47.352
ça.

00:27:48.108 --> 00:27:50.993
Au final.

00:27:52.796 --> 00:27:54.098
Mais oui, c'est resté.

00:27:54.439 --> 00:27:55.260
C'est assez pareil.

00:27:55.360 --> 00:28:00.829
C'est pris du créateur d'Elfeed.

00:28:04.535 --> 00:28:06.078
J'avais pris de là.

00:28:06.138 --> 00:28:07.600
Je trouve que c'est ça.

00:28:07.721 --> 00:28:09.644
Moi, j'aime bien ce que ça donne en termes

00:28:09.664 --> 00:28:10.165
visuels.

00:28:10.686 --> 00:28:11.567
Je ne vais pas le changer.

00:28:12.070 --> 00:28:16.275
Donc là j'utilise un des modes fait par Prot

00:28:16.436 --> 00:28:16.856
justement.

00:28:16.956 --> 00:28:19.740
Un des modes de couleurs.

00:28:20.441 --> 00:28:20.861
Merci.

00:28:21.983 --> 00:28:24.446
Je suis tombé.

00:28:24.466 --> 00:28:27.170
Celui-là il me plaît parce qu'il est hyper

00:28:27.190 --> 00:28:28.351
lisible.

00:28:28.371 --> 00:28:29.513
Vous voyez moi je suis fond blanc.

00:28:30.133 --> 00:28:33.498
Je suis dans l'équipe fond blanc.

00:28:33.518 --> 00:28:34.399
[Prot]: Oui, comme moi.

00:28:34.987 --> 00:28:38.663
[Richard]: Ça ne me pose pas de problème.

00:28:38.684 --> 00:28:41.677
J'ai l'écran, la luminosité diminue un peu avec

00:28:41.697 --> 00:28:44.389
la fin de journée, ça suffit.

00:28:44.825 --> 00:28:46.868
Ça suffit pour moi, mais ça dépend des gens.

00:28:46.888 --> 00:28:47.949
Donc voilà, ça donne ça.

00:28:48.931 --> 00:28:55.699
Il n'y a pas... Donc tu es là, tu vois, Sacha.

00:28:55.700 --> 00:28:57.122
[Sacha]: Mon journal !

00:28:57.142 --> 00:28:58.844
[Prot]: Et il y a les OCaml News aussi.

00:28:59.685 --> 00:29:01.347
[Richard]: Oui, il y a l'OCaml News.

00:29:01.367 --> 00:29:04.151
[Prot]: Sacha Chua de la communauté OCaml.

00:29:04.171 --> 00:29:04.552
[Richard]: Exactement.

00:29:04.572 --> 00:29:05.973
En fait, j'ai trois weekly.

00:29:06.374 --> 00:29:09.398
Il y a trois trucs que je lis systématiquement.

00:29:09.378 --> 00:29:14.516
Sacha Weekly, Sacha Emacs News, This Week in

00:29:14.577 --> 00:29:21.160
Rust, et le Weekly News OCaml.

00:29:21.578 --> 00:29:27.464
Je trouve ces trois blogs où le ratio

00:29:27.825 --> 00:29:31.629
signal-bruit, comme on dit, est très très élevé.

00:29:31.649 --> 00:29:33.811
J'en retire beaucoup de choses intéressantes, de

00:29:33.851 --> 00:29:35.633
curiosités, de choses à aller voir.

00:29:36.073 --> 00:29:38.396
Et ça, moi, ça m'enthousiasme à chaque fois que

00:29:38.416 --> 00:29:39.857
j'ai des choses à aller voir.

00:29:39.877 --> 00:29:41.479
Ah, il y a encore un truc que je ne connais pas.

00:29:41.539 --> 00:29:43.181
Alors c'est un peu angoissant, on est toujours

00:29:43.201 --> 00:29:45.223
derrière, on a toujours des choses à faire.

00:29:45.490 --> 00:29:50.136
Mais c'est quand même plus sympa de voir ce que

00:29:50.156 --> 00:29:52.839
les gens ont trouvé de nouveau.

00:29:52.859 --> 00:29:54.661
Que ce soit dans un langage de programmation ou

00:29:54.721 --> 00:29:55.362
dans Emacs.

00:29:56.724 --> 00:30:01.290
C'est les trois newsletters que j'aime bien lire.

00:30:01.890 --> 00:30:06.216
Je sais que ça sera facile, c'est-à-dire que je

00:30:06.236 --> 00:30:08.739
ne vais pas devoir me concentrer des heures.

00:30:08.939 --> 00:30:12.544
Par exemple, il y en a où c'est des maths, il

00:30:12.564 --> 00:30:15.227
faut pouvoir se poser pour lire.

00:30:16.608 --> 00:30:19.153
Pour lire le post, il faut réfléchir.

00:30:20.936 --> 00:30:24.262
Et sur les newsletters weekly dont j'ai parlé,

00:30:24.503 --> 00:30:27.048
c'est hebdomadaire, on dit en français, pas

00:30:27.068 --> 00:30:30.134
weekly.

00:30:30.755 --> 00:30:36.726
C'est des choses que je lis avec plaisir.

00:30:38.022 --> 00:30:41.088
[Sacha]: En lisant aussi ta configuration, j'ai

00:30:41.128 --> 00:30:45.517
noté que tu as des fonctions qui répliquent la

00:30:45.557 --> 00:30:49.164
fonctionnalité d'org-capture, comme quand tu

00:30:49.945 --> 00:30:58.662
crées une note sur le rendez-vous ou tu saisis

00:30:58.742 --> 00:31:00.165
une tâche.

00:31:00.145 --> 00:31:07.921
Quelle différence... Je consulte mes notes.

00:31:11.975 --> 00:31:19.709
Pourquoi tu utilises ta propre fonction pour

00:31:19.869 --> 00:31:21.351
faire ça ?

00:31:21.672 --> 00:31:25.318
[Richard]: C'est une excellente question et je ne

00:31:25.338 --> 00:31:27.162
suis même pas sûr de quoi tu parles, alors je

00:31:27.182 --> 00:31:30.287
vais aller voir.

00:31:30.267 --> 00:31:36.742
[Sacha]: Par exemple, tu as une fonction qui te

00:31:36.762 --> 00:31:45.863
demande sur une tâche et après ça, tu

00:31:45.843 --> 00:31:55.818
le remplace dans un titre dans ta boîte de réception.

00:31:58.141 --> 00:32:03.669
Je pense... J'oublie.

00:32:04.711 --> 00:32:06.453
[Richard]: On va aller voir.

00:32:06.474 --> 00:32:09.097
Dis-moi le nom si tu as la note.

00:32:09.117 --> 00:32:12.222
Dis-moi... Dis-moi...

00:32:13.315 --> 00:32:20.845
[Sacha]: Je cherche pendant que vous conversez.

00:32:21.365 --> 00:32:22.126
[Prot]: D'accord.

00:32:22.366 --> 00:32:24.809
Peut-être que c'est plus facile d'avoir une

00:32:24.849 --> 00:32:26.610
fonction personnalisée.

00:32:27.451 --> 00:32:32.236
[Richard]: Je ne sais pas de quoi exactement on

00:32:32.256 --> 00:32:32.717
parle.

00:32:33.678 --> 00:32:35.820
[Prot]: Moi aussi, je n'en suis pas sûr.

00:32:35.840 --> 00:32:38.623
[Richard]: Et c'est possible, Sacha, je t'avoue,

00:32:38.643 --> 00:32:40.565
c'est possible que ce soit quelque chose que je

00:32:40.585 --> 00:32:43.047
n'utilise plus.

00:32:44.229 --> 00:32:44.729
C'est possible.

00:32:45.730 --> 00:32:48.553
Dans ma configuration Emacs,

00:32:48.770 --> 00:32:50.713
C'est un peu le même problème que le nombre de

00:32:50.733 --> 00:32:52.496
mes sections dans Super Agenda.

00:32:52.516 --> 00:32:55.541
Il y a des choses qui arrivent et il y a rarement

00:32:55.561 --> 00:32:57.083
des choses qui partent.

00:32:57.123 --> 00:33:01.010
Ça s'ajoute, ça s'ajoute et il manque la personne

00:33:01.030 --> 00:33:02.372
qui va faire le nettoyage.

00:33:02.392 --> 00:33:04.375
Je ne sais pas où elle est cette personne.

00:33:04.395 --> 00:33:05.995
[Sacha]: Je l'ai trouvé. Je l'ai trouvé.

00:33:05.996 --> 00:33:09.143
La fonction rb/org-add-task.

00:33:09.144 --> 00:33:13.464
[Richard]: Ah, bah, j'utilise rb/org.

00:33:13.465 --> 00:33:16.409
Est-ce qu'elle est cette fonction ?

00:33:16.410 --> 00:33:18.341
[Sacha]: org-add-task.

00:33:18.342 --> 00:33:19.974
[Richard]: Ivy?

00:33:19.975 --> 00:33:27.459
[Sacha]: rb/org-add-task.

00:33:27.460 --> 00:33:31.311
Pour ajouter une tâche avec un lien...

00:33:34.900 --> 00:33:38.249
[Richard]: Ah oui, c'est... Oui.

00:33:39.440 --> 00:33:42.917
Je crois que je ne sais pas faire avec Capture.

00:33:42.918 --> 00:33:46.193
En fait, je pense que je n'ai pas réfléchi à

00:33:46.194 --> 00:33:47.239
faire avec Capture.

00:33:47.240 --> 00:33:52.403
Simplement, c'est quand je suis en train de faire

00:33:52.404 --> 00:33:55.924
quelque chose dans un autre buffer, ça me permet

00:33:55.925 --> 00:33:59.605
d'avoir un raccourci.

00:33:59.780 --> 00:34:01.302
Que je ne saurais peut-être pas faire avec

00:34:01.322 --> 00:34:02.843
Capture, je t'avoue.

00:34:02.863 --> 00:34:03.784
Oui, tu peux.

00:34:03.804 --> 00:34:06.647
Rajouter une tâche, mais peut-être qu'il me

00:34:06.668 --> 00:34:10.752
manque juste la curiosité ou le bon raccourci

00:34:10.772 --> 00:34:12.954
dans Capture pour faire ça.

00:34:14.416 --> 00:34:18.400
Je n'ai pas trop réfléchi et on va voir.

00:34:19.742 --> 00:34:19.942
Oui ?

00:34:20.262 --> 00:34:20.803
Non ?

00:34:20.822 --> 00:34:22.425
C'est bien.

00:34:22.445 --> 00:34:25.588
Bon, je t'avoue, il n'y a pas de raison

00:34:26.168 --> 00:34:28.251
fondamentale.

00:34:29.446 --> 00:34:33.993
[Sacha]: Je suis seulement curieuse.

00:34:34.154 --> 00:34:37.920
Tes bibliothèques contiennent un mélange amusant

00:34:38.341 --> 00:34:46.514
de fonctions qui portent un docstring qui ne sont

00:34:48.476 --> 00:34:53.085
que « docstrings » entre guillemets, et d'autres

00:34:53.125 --> 00:34:54.407
fonctions

00:34:54.387 --> 00:34:58.116
qui ont des docstrings

00:34:58.658 --> 00:35:00.502
plus longues, plus détaillées.

00:35:01.826 --> 00:35:05.996
Je pense que tu utilises l'IA pour écrire ça.

00:35:06.638 --> 00:35:08.462
[Richard]: Alors, il y a deux, oui.

00:35:08.463 --> 00:35:10.990
Dernièrement, c'est l'IA qui fait mes docstrings.

00:35:11.089 --> 00:35:14.929
Ça, c'est vrai.

00:35:15.424 --> 00:35:19.047
Dans le passé, ça existait déjà, cependant.

00:35:19.067 --> 00:35:22.730
Il y avait des fonctions que j'écrivais en me

00:35:22.750 --> 00:35:25.333
disant que je vais la documenter correctement.

00:35:25.893 --> 00:35:29.016
Et d'autres, où j'appliquais le fameux paradigme

00:35:29.136 --> 00:35:31.378
du programmeur, je la documenterais plus tard.

00:35:33.480 --> 00:35:35.802
Et plus tard, ce n'est pas encore aujourd'hui,

00:35:35.822 --> 00:35:37.283
visiblement.

00:35:37.304 --> 00:35:41.587
Ça, vous l'avez jamais.

00:35:41.607 --> 00:35:43.429
Oui, c'est ça.

00:35:43.409 --> 00:35:46.575
[Sacha]: Moi aussi, je réponds toujours à mes

00:35:46.595 --> 00:35:47.477
documentations.

00:35:48.539 --> 00:35:51.224
Prot est bien documenté.

00:35:52.086 --> 00:35:54.971
[Prot]: Non, non, moi je le documente, oui.

00:35:54.991 --> 00:35:57.957
[Richard]: Mais parce que je pense que l'avantage

00:35:57.997 --> 00:36:00.642
de Prot, je pense qu'il a bien...

00:36:00.858 --> 00:36:02.843
C'est que lui, il fait vraiment des choses pour

00:36:02.863 --> 00:36:04.988
être publiées et pour être utilisées.

00:36:05.008 --> 00:36:09.960
Donc ça donne quand même un coup de pouce à

00:36:10.020 --> 00:36:11.504
produire de la documentation.

00:36:12.145 --> 00:36:14.732
Alors que moi, c'est vrai que mon optique, c'est

00:36:15.092 --> 00:36:17.659
souvent produire des choses pour moi-même, pas

00:36:17.679 --> 00:36:18.681
trop les...

00:36:19.083 --> 00:36:24.634
Donc, c'est un peu... On a tous rencontré des

00:36:24.654 --> 00:36:26.638
ingénieurs ou des programmateurs, la

00:36:26.678 --> 00:36:28.001
documentation, mais c'est le code.

00:36:28.522 --> 00:36:31.388
Elle est là, la documentation, c'est le code.

00:36:36.481 --> 00:36:42.851
[Sacha]: Si je n'écris pas [ma] documentation,

00:36:43.232 --> 00:36:45.956
j'ai totalement oublié la fonction.

00:36:46.036 --> 00:36:50.243
Après ça, je ne comprends pas.

00:36:50.263 --> 00:36:52.887
[Richard]: Sacha, je suis d'accord avec toi.

00:36:54.385 --> 00:36:57.690
Mais de là à ce que ça produise une action

00:36:57.710 --> 00:37:01.475
réelle, c'est là où le problème philosophique

00:37:02.637 --> 00:37:03.979
arrive.

00:37:03.999 --> 00:37:06.042
C'est qu'il faut arriver à produire l'action

00:37:06.062 --> 00:37:06.743
derrière.

00:37:06.763 --> 00:37:08.105
Mais c'est vrai, on oublie.

00:37:08.125 --> 00:37:10.308
D'ailleurs, il y a des fonctions dont tu me

00:37:10.328 --> 00:37:11.209
parles que j'ai oubliées.

00:37:11.790 --> 00:37:13.833
Celles-là déjà, je les ai quasiment oubliées,

00:37:14.033 --> 00:37:15.195
celles dont tu viens de me parler.

00:37:16.154 --> 00:37:19.318
Alors que c'est bien.

00:37:19.798 --> 00:37:21.801
C'est essentiellement quand je regarde du code

00:37:22.582 --> 00:37:24.204
pour me mettre une note en disant là il faut que

00:37:24.224 --> 00:37:25.105
je change quelque chose.

00:37:25.906 --> 00:37:27.568
Et ça va dans la to-do list.

00:37:27.588 --> 00:37:31.513
Et ça a un lien vers le code source et le

00:37:31.533 --> 00:37:32.073
contexte.

00:37:34.636 --> 00:37:36.418
Et si c'est possible de faire dans capture, je

00:37:36.438 --> 00:37:36.819
vais regarder.

00:37:36.899 --> 00:37:37.740
Je vais demander à...

00:37:39.627 --> 00:37:42.310
Ouais, je vais demander à l'IA, je pense.

00:37:44.493 --> 00:37:46.014
J'allais dire, soit je vais prendre le temps de

00:37:46.054 --> 00:37:48.317
le faire, moi, parce que c'est sympa aussi, c'est

00:37:48.337 --> 00:37:49.278
un peu de l'artisanat.

00:37:51.601 --> 00:37:53.142
Mais c'est vrai que ça va vite avec l'IA.

00:37:59.049 --> 00:38:01.512
[Sacha]: J'aimerais que tout a beaucoup de

00:38:01.572 --> 00:38:02.413
priorités.

00:38:04.015 --> 00:38:04.796
[Richard]: Oui, oui.

00:38:06.217 --> 00:38:06.457
Trop.

00:38:06.918 --> 00:38:07.018
Trop.

00:38:07.690 --> 00:38:10.054
Moi-même, je ne suis pas sûr de leur sémantique.

00:38:13.621 --> 00:38:15.564
Oui, c'est ça.

00:38:15.804 --> 00:38:18.209
Je crois que j'utilise essentiellement ABC.

00:38:18.229 --> 00:38:21.575
Ça, je comprends.

00:38:21.855 --> 00:38:24.981
On parlait des différentes sections.

00:38:26.704 --> 00:38:27.626
Les autres, oui.

00:38:28.207 --> 00:38:30.711
C'est essentiellement... En fait, ça va...

00:38:30.893 --> 00:38:34.705
Ceux qui sont plus tard, essentiellement un jour

00:38:34.725 --> 00:38:36.029
ça va devenir Someday.

00:38:36.631 --> 00:38:38.757
Et après ça va faire Cancelled, je pense.

00:38:39.640 --> 00:38:42.810
Soyons réalistes.

00:38:44.815 --> 00:38:49.583
[Sacha]: Moi aussi, mes fichiers Org Mode sont

00:38:50.224 --> 00:38:54.632
remplis de tâches annulées.

00:38:54.652 --> 00:38:57.297
[Richard]: Par exemple, je vois ici la YubiKey

00:38:57.617 --> 00:38:59.060
GPG Stuff.

00:38:59.080 --> 00:39:01.784
Ça, je sais déjà que ça n'arrivera jamais puisque

00:39:01.805 --> 00:39:04.890
je commence à passer à Age.

00:39:04.910 --> 00:39:08.396
Donc, ça ne va pas arriver.

00:39:08.416 --> 00:39:09.017
Ça n'arrivera jamais.

00:39:13.267 --> 00:39:14.890
Et ça, je n'ai plus la machine.

00:39:15.391 --> 00:39:22.746
Par exemple, on peut l'enlever.

00:39:22.766 --> 00:39:25.572
C'est bien, on va faire ça en direct.

00:39:31.255 --> 00:39:33.437
[Prot]: Voilà la progression.

00:39:33.458 --> 00:39:34.178
[Sacha]: Oui, progress.

00:39:34.879 --> 00:39:39.224
Tu as une fonction pour suivre ton plan d'études?

00:39:39.244 --> 00:39:42.027
[Richard]: Ah oui, ça c'est pareil.

00:39:42.047 --> 00:39:43.989
J'avais créé, alors je ne sais même plus, mais

00:39:44.009 --> 00:39:46.612
c'est vrai, j'ai un répertoire.

00:39:47.834 --> 00:39:50.457
Alors, parce que comme tout le monde, des fois je

00:39:50.477 --> 00:39:53.280
cherche, soit je suis curieux de quelque chose.

00:39:53.260 --> 00:39:56.165
Et donc j'ai utilisé l'IA pour faire ça, pour me

00:39:56.185 --> 00:39:59.091
générer, c'est assez fort pour faire ça, générer

00:39:59.131 --> 00:40:01.756
des plans d'études, des sections, et on peut

00:40:01.776 --> 00:40:03.479
travailler avec elle aussi pour faire des

00:40:03.499 --> 00:40:04.221
interrogations.

00:40:05.082 --> 00:40:05.723
C'est pas mal.

00:40:07.046 --> 00:40:13.558
Et donc, ouais, c'est Study Plan, Study Next Plan.

00:40:13.759 --> 00:40:16.163
Oui, j'ai plusieurs.

00:40:16.143 --> 00:40:19.650
Plusieurs plans pour différents domaines de

00:40:19.670 --> 00:40:20.452
l'informatique.

00:40:21.534 --> 00:40:23.378
[Sacha]: C'est très petit.

00:40:24.981 --> 00:40:28.528
Pouvez-vous?

00:40:28.949 --> 00:40:32.136
[Richard]: On peut se tutoyer, comme on dit en

00:40:32.497 --> 00:40:33.679
français.

00:40:34.267 --> 00:40:39.436
Il y a des trucs en méthode formelle que je n'ai

00:40:40.278 --> 00:40:43.423
pas accompagné, comme l'arrivée de Lean4.

00:40:45.287 --> 00:40:51.117
J'aimerais bien prendre un peu de temps pour

00:40:51.137 --> 00:40:53.501
jouer avec.

00:40:53.521 --> 00:40:56.106
Il y a deux ou trois fonctions qui permettent

00:40:56.086 --> 00:41:00.192
de marquer, de passer à l'étape d'après avec Org

00:41:00.212 --> 00:41:03.176
Mode et un peu de glue autour pour voir quel

00:41:03.196 --> 00:41:04.558
fichier est en todo.

00:41:06.921 --> 00:41:08.804
On arrive à faire des étapes.

00:41:10.406 --> 00:41:14.833
Et c'est bien que tu me le rappelles parce que

00:41:15.293 --> 00:41:19.019
j'ai du retard là-dessus.

00:41:19.039 --> 00:41:22.463
Je ne suis pas en avance sur mon study plan, sur

00:41:22.484 --> 00:41:23.545
mon plan d'étude.

00:41:23.525 --> 00:41:26.694
[Sacha]: C'est un bon plan.

00:41:27.376 --> 00:41:31.789
Tu utilises l'IA pour générer des plans.

00:41:31.870 --> 00:41:37.526
Tu as une fonction qui avance à la prochaine

00:41:37.546 --> 00:41:37.787
étape.

00:41:39.438 --> 00:41:41.620
[Richard]: C'est ça.

00:41:41.800 --> 00:41:44.503
Donc il y a un format quand même.

00:41:45.664 --> 00:41:47.466
Le format n'est pas très compliqué.

00:41:48.287 --> 00:41:55.495
Week, l'index et puis des sujets qui sont marqués.

00:41:55.755 --> 00:41:57.437
Donc l'index permet de savoir ce qu'il y a à

00:41:57.457 --> 00:42:01.661
faire et d'avoir une vue d'ensemble des sujets.

00:42:01.761 --> 00:42:04.744
Donc si je travaille avec l'IA, je lui demande

00:42:05.325 --> 00:42:07.487
quand même d'aller suivre certaines choses.

00:42:08.564 --> 00:42:14.277
Par expérience, je sais que c'est un sujet sur

00:42:14.357 --> 00:42:15.520
lequel on peut passer toute une vie.

00:42:16.182 --> 00:42:20.211
On délimite quand même.

00:42:20.917 --> 00:42:25.043
J'ai utilisé l'IA aussi pour faire des interviews

00:42:25.203 --> 00:42:27.507
croisées sur des sujets.

00:42:27.527 --> 00:42:32.655
Vous savez les interviews techniques en

00:42:32.675 --> 00:42:34.718
informatique sont particulièrement pénibles.

00:42:35.940 --> 00:42:38.403
Donc pour faire une simulation d'interview

00:42:38.423 --> 00:42:38.824
technique.

00:42:39.783 --> 00:42:46.660
Avec l'IA qui fait une impersonnation de quelqu'un

00:42:46.680 --> 00:42:51.172
qui serait un expert en méthode formelle et qui

00:42:51.212 --> 00:42:53.738
travaillerait sur tel sujet et qui vous pose des

00:42:53.758 --> 00:42:54.360
questions.

00:42:54.380 --> 00:42:56.104
Comme si c'était une interview pour être...

00:42:57.232 --> 00:42:59.716
Pour être embauché pour travailler dans une

00:42:59.777 --> 00:43:01.099
entreprise.

00:43:01.119 --> 00:43:06.529
[Sacha]: Tu le fais dans un fichier Org Mode ?

00:43:07.550 --> 00:43:09.193
[Richard]: Je garde la trace dans un fichier Org

00:43:09.213 --> 00:43:09.394
Mode.

00:43:12.119 --> 00:43:14.323
Je garde la trace d'exécution dans un fichier Org

00:43:14.343 --> 00:43:19.071
Mode pour pouvoir repasser dessus et réétudier.

00:43:20.722 --> 00:43:26.952
C'est un peu des techniques de mémorisation

00:43:27.353 --> 00:43:27.813
classiques.

00:43:27.874 --> 00:43:30.498
C'est-à-dire, on fait une première stimulation,

00:43:30.518 --> 00:43:33.322
puis on revient un peu après pour rafraîchir des

00:43:33.362 --> 00:43:34.324
choses qu'on a travaillées.

00:43:34.865 --> 00:43:36.908
La première stimulation, c'est aussi, oups, ça,

00:43:36.928 --> 00:43:39.813
je ne connais pas du tout, je vais devoir aller

00:43:39.833 --> 00:43:40.013
chercher.

00:43:39.993 --> 00:43:42.998
Ce qu'on fait dans ce cadre-là, parce qu'en fait,

00:43:43.018 --> 00:43:43.820
je ne le connais pas.

00:43:44.301 --> 00:43:45.062
Je ne sais pas.

00:43:45.082 --> 00:43:46.084
J'ai une idée, peut-être.

00:43:46.805 --> 00:43:48.488
Ou peut-être mon idée est fausse, d'ailleurs.

00:43:48.528 --> 00:43:49.550
Il faut la corriger.

00:43:50.131 --> 00:43:51.734
Donc ça, c'est la première stimulation.

00:43:51.754 --> 00:43:56.242
C'est face à la question, se mettre face à son

00:43:56.262 --> 00:43:57.124
ignorance.

00:43:57.104 --> 00:44:01.890
Confronté à son ignorance.

00:44:02.310 --> 00:44:05.394
On peut soit demander à l'IA de nous aider un

00:44:05.414 --> 00:44:07.476
peu, soit d'aller chercher soi-même selon le

00:44:07.496 --> 00:44:09.979
temps qu'on a et selon ce qu'on juge le plus

00:44:09.999 --> 00:44:10.480
efficace.

00:44:10.540 --> 00:44:12.162
Mais après, il faut repasser dessus, sinon on

00:44:12.182 --> 00:44:12.582
oublie.

00:44:14.104 --> 00:44:17.368
C'est juste une bonne sensation.

00:44:17.889 --> 00:44:19.691
Mais après, ça ne sert pas à grand-chose en

00:44:19.711 --> 00:44:20.732
termes d'apprentissage.

00:44:21.877 --> 00:44:30.447
[Sacha]: Il y a une question associée au chat sur

00:44:30.728 --> 00:44:31.989
la gestion des idées.

00:44:33.751 --> 00:44:35.874
« Ma question est la suivante.

00:44:35.914 --> 00:44:38.437
Je pense que c'est une rabbit hole au lieu de se

00:44:38.477 --> 00:44:41.140
focaliser sur les choses les plus importantes, au

00:44:41.160 --> 00:44:44.745
lieu de créer des projets et se concentrer sur

00:44:44.785 --> 00:44:46.787
les dot files, etc. »

00:44:46.767 --> 00:44:52.434
Je pense que tout le monde a du mal avec la

00:44:52.454 --> 00:44:54.256
gestion d'attention.

00:44:55.257 --> 00:44:58.161
[Richard]: Oui, alors... En fait, un des

00:44:58.201 --> 00:45:02.146
problèmes, c'est tes notes hebdomadaires, Sacha.

00:45:04.408 --> 00:45:07.392
[Sacha]: Pour moi aussi !

00:45:08.215 --> 00:45:10.958
[Richard]: Elle donne tellement d'ouverture.

00:45:11.018 --> 00:45:13.380
C'est super ce que fait personne.

00:45:13.400 --> 00:45:14.461
Je vais faire pareil.

00:45:14.481 --> 00:45:15.723
C'est intéressant.

00:45:16.483 --> 00:45:20.187
Et on se retrouve deux heures plus tard.

00:45:20.207 --> 00:45:22.409
On a juste avancé sa configuration Emacs.

00:45:23.410 --> 00:45:24.451
Mais ce n'est pas grave.

00:45:25.132 --> 00:45:26.854
J'ai pris mon parti.

00:45:27.114 --> 00:45:31.138
Ça fait partie des activités que je fais dans la

00:45:31.158 --> 00:45:31.498
semaine.

00:45:31.518 --> 00:45:33.160
Ça fait partie des choses.

00:45:33.140 --> 00:45:35.903
Je pense, en réalité, je crois que nos emplois du

00:45:35.923 --> 00:45:39.007
temps sont moins pleins que ce qu'on croit qu'ils

00:45:39.047 --> 00:45:39.327
sont.

00:45:40.669 --> 00:45:44.133
Et moi, j'admis que Emacs, ça faisait partie des

00:45:44.153 --> 00:45:47.557
outils que j'aimais utiliser et comme tous les

00:45:47.577 --> 00:45:52.743
outils qu'on aime utiliser, il faut les

00:45:52.763 --> 00:45:53.384
entretenir.

00:45:54.705 --> 00:45:57.208
Donc, passer un peu de temps sur l'entretien et

00:45:57.288 --> 00:46:00.632
regarder des choses parce que c'est agréable.

00:46:01.152 --> 00:46:03.256
Voilà, donc j'ai admis qu'il y aurait du temps

00:46:03.276 --> 00:46:05.520
passé sur la configuration, et c'est pas grave

00:46:05.540 --> 00:46:08.786
parce que c'est un outil, il y a plein de gens,

00:46:08.806 --> 00:46:11.512
Emacs c'est un outil pour une vie, pour moi.

00:46:12.513 --> 00:46:15.780
Donc si on passe une heure par semaine, c'est pas

00:46:15.800 --> 00:46:18.669
grave, dans 20 ans, si on est encore là,

00:46:18.670 --> 00:46:21.646
ça sera quelque chose qui va être,

00:46:21.647 --> 00:46:24.579
qui aura un bénéfice

00:46:24.580 --> 00:46:27.214
si ce n'est juste pour la connaissance,

00:46:27.215 --> 00:46:27.872
juste pour le plaisir. C'est pas grave.

00:46:27.873 --> 00:46:31.294
Moi, c'est un truc que j'aime bien.

00:46:31.295 --> 00:46:33.791
On perd du temps entre guillemets,

00:46:33.792 --> 00:46:35.051
mais c'est pas vrai.

00:46:35.052 --> 00:46:36.684
Quand on fait des choses qu'on aime bien,

00:46:36.685 --> 00:46:37.794
on perd pas du temps, je pense.

00:46:37.795 --> 00:46:39.096
[Prot]: Oui, oui, oui.

00:46:39.097 --> 00:46:45.047
[Sacha]: Bien évidemment, tu utilises Emacs pendant plus de 20 ans.

00:46:46.428 --> 00:46:48.831
[Richard]: Voilà, donc du coup, à force, ce n'est pas grave.

00:46:49.032 --> 00:46:52.296
Il y a des choses qui sont là depuis 20 ans.

00:46:52.497 --> 00:46:54.539
J'ai pris du temps pour les configurer, mais la

00:46:54.579 --> 00:46:57.343
configuration n'a pratiquement pas changé ou elle

00:46:57.363 --> 00:46:58.245
a évolué un petit peu.

00:46:59.006 --> 00:46:59.927
Donc, ce n'est pas grave.

00:46:59.947 --> 00:47:05.234
J'ai perdu une heure il y a 20 ans.

00:47:05.254 --> 00:47:07.518
Ce n'est pas grave.

00:47:07.538 --> 00:47:09.220
Ce n'est pas beaucoup de temps dans une vie.

00:47:11.103 --> 00:47:13.586
[Prot]: Et tu as gagné les automatismes que tu

00:47:13.606 --> 00:47:14.207
préfères.

00:47:14.845 --> 00:47:16.827
[Richard]: Ben oui, et ça je m'en rends compte

00:47:16.847 --> 00:47:18.648
quand je passe sur d'autres outils surtout.

00:47:19.349 --> 00:47:22.472
Que ça marche pas, C-x, CTRL F, ça marche pas,

00:47:22.492 --> 00:47:24.033
CTRL H, F, ça marche pas.

00:47:24.874 --> 00:47:29.038
Les raccourcis sont pas corrects.

00:47:30.038 --> 00:47:32.220
Je rigole bien sûr, mais c'est un peu ça.

00:47:32.381 --> 00:47:36.704
J'ai tellement d'habitude que c'est une forme

00:47:36.724 --> 00:47:38.546
d'obstruction au changement.

00:47:38.566 --> 00:47:40.228
On est d'accord, force d'avoir.

00:47:42.029 --> 00:47:43.030
Mais bon...

00:47:43.718 --> 00:47:47.474
Quand je regarde avec un pas de côté, il y a très

00:47:48.438 --> 00:47:51.611
peu d'outils qui ont la pérennité d'Emacs ou de

00:47:51.651 --> 00:47:52.294
Vim d'ailleurs.

00:47:54.299 --> 00:47:58.263
Donc c'est des réflexes qui valent le coup

00:47:58.283 --> 00:47:59.924
d'apprendre que ce soit pour l'un ou pour l'autre.

00:47:59.964 --> 00:48:02.647
Ce sont des choses qui seront probablement encore

00:48:02.667 --> 00:48:05.109
là où il y aura des héritiers très similaires

00:48:06.230 --> 00:48:08.052
dans 15 ans, 20 ans.

00:48:08.072 --> 00:48:11.034
Moi je parie qu'il y aura toujours un Emacs ou

00:48:11.054 --> 00:48:13.316
une forme d'Emacs et il y aura toujours un

00:48:13.356 --> 00:48:16.459
héritier de Vim quel qu'il soit dans 20 ans et

00:48:17.100 --> 00:48:20.123
c'est bien possible que Visual Code ait été

00:48:20.143 --> 00:48:23.766
remplacé par un autre éditeur plus à la mode.

00:48:23.746 --> 00:48:27.331
J'en ai déjà vu passer quelques-uns qui étaient

00:48:27.351 --> 00:48:29.874
très à la mode à un moment ou à un autre.

00:48:31.697 --> 00:48:33.719
Emacs a l'avantage d'être jamais à la mode.

00:48:36.803 --> 00:48:40.929
Donc, en fait, si on admet que ce n'est pas grave

00:48:41.149 --> 00:48:48.739
de ne pas être à la mode, on a un outil qui sera

00:48:49.300 --> 00:48:51.643
présent aussi parce qu'il y a...

00:48:51.623 --> 00:48:55.068
Grâce au travail de plein de gens et aux heures

00:48:57.050 --> 00:48:59.293
de travail de plein de gens dans la communauté,

00:48:59.514 --> 00:49:06.519
parce que ce n'est pas magique, donc voilà...

00:49:06.520 --> 00:49:07.785
On aura un outil

00:49:07.805 --> 00:49:10.148
qui va rester et qui sera toujours... De toute

00:49:10.168 --> 00:49:11.850
façon, on aura toujours une fonctionnalité ou une

00:49:11.910 --> 00:49:13.833
autre qu'on pourra continuer à utiliser.

00:49:14.133 --> 00:49:17.978
Même si on utilise Emacs juste pour avoir une

00:49:18.038 --> 00:49:20.922
interface Git qui soit super chouette,

00:49:21.290 --> 00:49:26.177
Ça reste assez chouette, ça suffit.

00:49:26.858 --> 00:49:32.607
Ou juste pour Org Mode, ça suffit aussi.

00:49:32.807 --> 00:49:35.692
Effectivement, je suis maximaliste, j'essaie de

00:49:35.712 --> 00:49:36.934
l'utiliser pour presque tout.

00:49:38.576 --> 00:49:43.804
Mais je pense que ça convient à plein d'usages.

00:49:45.100 --> 00:49:54.088
[Sacha]: Tes étudiants supportent l'utilisation

00:49:54.108 --> 00:49:54.991
d'Emacs ?

00:49:55.853 --> 00:49:58.080
Ils continuent ?

00:49:58.735 --> 00:49:59.116
[Richard]: Pardon?

00:50:00.137 --> 00:50:01.259
[Sacha]: Tes étudiants.

00:50:01.700 --> 00:50:08.510
[Sacha]: Après ton cours, il continue avec Emacs ou il

00:50:09.011 --> 00:50:10.592
s'est passé à...

00:50:10.593 --> 00:50:11.114
[Richarde]: Mon étudiant?

00:50:11.134 --> 00:50:12.396
Ah, mon étudiant, non, il continue

00:50:12.416 --> 00:50:16.563
avec Emacs, bien sûr.

00:50:16.583 --> 00:50:19.728
Les étudiants que j'ai eus, ils ont tous utilisé

00:50:19.748 --> 00:50:22.592
Emacs et il y en a plusieurs qui ont adhéré, qui

00:50:22.612 --> 00:50:24.695
ont beaucoup aimé Org Mode en particulier parce

00:50:24.715 --> 00:50:26.498
que souvent, je leur propose ça.

00:50:26.697 --> 00:50:28.720
Notamment dans les travails de master ou de

00:50:28.740 --> 00:50:32.866
thèse, il y a quand même beaucoup de lecture.

00:50:33.307 --> 00:50:35.089
Le rôle de l'encadrant, c'est de faire des

00:50:35.129 --> 00:50:36.010
recommandations.

00:50:36.031 --> 00:50:38.394
Vous savez comment est la vie, que ce soit en

00:50:38.414 --> 00:50:40.597
tant que parent ou en tant qu'encadrant, on fait

00:50:40.617 --> 00:50:42.880
des recommandations et les enfants ou les

00:50:42.900 --> 00:50:44.022
étudiants ne les suivent pas.

00:50:44.703 --> 00:50:46.546
Ils font leur propre expérience et après, ils

00:50:46.586 --> 00:50:48.148
s'aperçoivent qu'il y avait quand même des bonnes

00:50:48.168 --> 00:50:48.408
idées.

00:50:51.553 --> 00:50:53.836
C'est à peu près ça le mécanisme, comment ça

00:50:53.916 --> 00:50:54.277
fonctionne.

00:50:54.778 --> 00:50:56.400
Mais ils essayent.

00:50:56.380 --> 00:50:59.384
Et puis moi, je peux en parler pendant des heures

00:50:59.444 --> 00:51:03.349
et puis je suis enthousiaste sur ces outils-là

00:51:04.370 --> 00:51:06.894
parce que c'est pérenne, parce que c'est ouvert,

00:51:07.494 --> 00:51:12.741
parce que c'est facile de donner le format et on

00:51:12.761 --> 00:51:14.844
peut le transformer facilement grâce à tous les

00:51:14.884 --> 00:51:18.108
outils qui existent dans le monde open source.

00:51:18.128 --> 00:51:21.332
Donc, on part d'Emacs et d'un format textuel.

00:51:22.254 --> 00:51:24.496
Pour moi, vraiment Org Mode, c'est le plus adapté

00:51:24.537 --> 00:51:25.678
quand on est dans Emacs.

00:51:26.131 --> 00:51:28.634
Parce que le mode est phénoménal, même par

00:51:28.654 --> 00:51:31.938
rapport au support Markdown qu'on a, et par ses

00:51:31.958 --> 00:51:33.860
capacités qui sont supérieures.

00:51:35.622 --> 00:51:38.285
Mais après, on peut communiquer avec les gens

00:51:38.305 --> 00:51:41.849
facilement, produire à un PDF de ses notes Org

00:51:41.869 --> 00:51:44.752
Mode pour communiquer avec quelqu'un qui

00:51:45.293 --> 00:51:48.457
n'utiliserait pas Emacs, même pas en tant que

00:51:48.497 --> 00:51:49.658
visualiseur PDF.

00:51:52.912 --> 00:51:56.036
Donc, c'est facile.

00:51:56.596 --> 00:51:58.519
C'est très malléable.

00:51:58.539 --> 00:51:59.880
En fait, c'est vraiment là qu'on en revient.

00:51:59.900 --> 00:52:01.302
C'est très malléable comme outil.

00:52:01.342 --> 00:52:05.467
C'est fait pour être retransformé, pris en main.

00:52:05.527 --> 00:52:08.210
En fait, ça convient bien aux gens qui ont cette

00:52:08.250 --> 00:52:10.393
philosophie, en particulier les programmeurs.

00:52:10.833 --> 00:52:12.315
Beaucoup de programmeurs, ça leur parle.

00:52:12.676 --> 00:52:13.216
Mais pas que.

00:52:14.938 --> 00:52:16.781
Prot, à la base, il n'est pas programmeur, par

00:52:16.821 --> 00:52:17.421
exemple.

00:52:17.441 --> 00:52:18.042
[Prot]: Oui, oui, c'est vrai.

00:52:18.207 --> 00:52:20.211
[Richard]: Bon, et maintenant il l'est, mais de

00:52:20.311 --> 00:52:20.832
facto.

00:52:21.694 --> 00:52:29.188
Mais bon, voilà.

00:52:29.208 --> 00:52:31.232
Il continue, oui, ça continue.

00:52:31.252 --> 00:52:32.936
Mais même des gens, en fait, beaucoup de gens

00:52:32.956 --> 00:52:35.721
l'utilisaient dans mon entourage juste pour

00:52:35.741 --> 00:52:36.823
écrire les articles.

00:52:37.951 --> 00:52:41.374
En fait, c'est pour ça, initialement, en tant

00:52:41.394 --> 00:52:43.136
qu'étudiant, c'est pour ça que j'avais utilisé

00:52:43.236 --> 00:52:45.338
Emacs plutôt que Vim, c'était que c'était plus

00:52:45.359 --> 00:52:47.100
naturel de taper dans Emacs.

00:52:47.481 --> 00:52:49.242
C'est-à-dire, quand on tape une lettre, on

00:52:49.262 --> 00:52:51.385
obtient la lettre.

00:52:52.205 --> 00:52:56.950
Il n'y a pas de contrainte à passer dans un mode

00:52:56.970 --> 00:52:57.931
ou un autre.

00:52:57.971 --> 00:52:59.833
La notion de modal dans Emacs est un peu

00:52:59.853 --> 00:53:03.677
différente, un peu sous-jacente, mais elle existe.

00:53:03.697 --> 00:53:05.299
Donc, c'est un peu pour ça que j'étais parti sur

00:53:05.319 --> 00:53:06.540
Emacs à la base.

00:53:06.520 --> 00:53:12.786
Le choix, on conviendra que cette raison n'est

00:53:13.827 --> 00:53:16.570
pas extraordinaire.

00:53:17.231 --> 00:53:19.273
C'est une raison de facilité initiale.

00:53:19.393 --> 00:53:24.498
Et puis, du coup, je suis toujours dedans.

00:53:24.518 --> 00:53:24.999
Comme quoi.

00:53:26.560 --> 00:53:27.862
[Sacha]: Mais les raccourcis clavier !

00:53:28.322 --> 00:53:31.245
[Prot]: Dès que c'est la facilité avec Emacs.

00:53:31.630 --> 00:53:34.556
[Richard]: Non, mais c'est vrai qu'il y a

00:53:34.576 --> 00:53:39.026
toujours cette difficulté de comprendre le mode.

00:53:39.828 --> 00:53:41.712
J'étais vraiment dans le Vi, donc il fallait

00:53:41.792 --> 00:53:45.420
vraiment taper sur Escape pour pouvoir taper une

00:53:45.440 --> 00:53:47.264
lettre, et puis pour bouger, après il fallait

00:53:47.284 --> 00:53:49.268
retaper sur Escape, etc.

00:53:50.463 --> 00:53:53.648
Bon, j'ai un peu absorbé ce genre de choses

00:53:53.668 --> 00:53:55.170
maintenant, puisqu'on a quand même des

00:53:55.230 --> 00:53:56.893
interfaces, enfin l'interface de Magit en

00:53:56.913 --> 00:53:58.876
particulier, c'est plein d'autres.

00:53:58.896 --> 00:54:00.398
Même les miennes, elles sont un peu modales.

00:54:00.619 --> 00:54:03.042
On arrive dans un buffer, on a des raccourcis

00:54:03.062 --> 00:54:06.187
clavier dédiés sur une lettre ou une autre.

00:54:06.207 --> 00:54:09.332
Bon, c'est clairement la même logique.

00:54:09.312 --> 00:54:13.319
Ça a du bon.

00:54:14.060 --> 00:54:17.486
C'est vrai qu'il y a des gens qui argumentent du

00:54:17.526 --> 00:54:19.670
fait que Emacs est modal carrément.

00:54:19.690 --> 00:54:22.214
Je n'irai peut-être pas jusque là, mais la

00:54:22.234 --> 00:54:25.600
différence n'est pas si grande que ça.

00:54:26.997 --> 00:54:30.440
Il y a une différence fondamentale d'esprit et de

00:54:30.480 --> 00:54:32.242
contraintes, mais ça c'est comme dans le design

00:54:32.302 --> 00:54:33.102
de quoi que ce soit.

00:54:33.723 --> 00:54:36.005
Il y a une vision initiale, puis après on

00:54:36.025 --> 00:54:38.787
s'aperçoit qu'en pratique, les différences sont

00:54:38.807 --> 00:54:39.588
beaucoup plus fines.

00:54:43.632 --> 00:54:47.635
[Prot]: Et pour toi, comment on dit que le texte

00:54:47.755 --> 00:54:52.780
est malléable, c'est la malléabilité d'Emacs qui

00:54:52.800 --> 00:54:55.502
est l'essence de ces différences ?

00:54:56.022 --> 00:54:57.044
[Richard]: Pour moi, oui.

00:54:57.064 --> 00:55:03.834
Le choix initial qui est de se dire je vais avoir

00:55:03.994 --> 00:55:07.359
un interpréteur d'un langage.

00:55:07.560 --> 00:55:09.703
Et en fait, Emacs pour moi, je le vois vraiment

00:55:09.723 --> 00:55:12.888
comme on a essentiellement un langage interprété.

00:55:12.908 --> 00:55:15.232
Ça me parle beaucoup.

00:55:15.512 --> 00:55:17.535
Et au-dessus, il se trouve qu'on a rajouté toute

00:55:17.555 --> 00:55:20.440
une bibliothèque super chouette de fonctions pour

00:55:20.460 --> 00:55:21.962
afficher du texte.

00:55:22.162 --> 00:55:26.249
Il y a une bibliothèque en plus.

00:55:26.269 --> 00:55:27.712
C'est comme si on prenait un langage de

00:55:27.732 --> 00:55:31.138
programmation standard et qu'on avait prévu déjà

00:55:31.178 --> 00:55:34.624
son utilisation au sein d'un éditeur de texte.

00:55:34.644 --> 00:55:37.048
Donc on a toujours la capacité inhérente au

00:55:37.068 --> 00:55:39.953
langage de programmation et en particulier, dans

00:55:39.973 --> 00:55:42.077
le cas du Lisp, la malléabilité.

00:55:42.142 --> 00:55:43.163
et l'expressivité.

00:55:43.905 --> 00:55:45.787
En plus, on a toute la bibliothèque et là on a

00:55:45.847 --> 00:55:47.930
tous les modes en plus, donc ça c'est encore

00:55:47.970 --> 00:55:49.773
d'autres choses, mais je le vois vraiment comme

00:55:49.793 --> 00:55:50.153
ça.

00:55:50.173 --> 00:55:52.857
Ça vient d'un langage de programmation, donc d'un

00:55:52.877 --> 00:55:54.620
monde que je connais.

00:55:54.820 --> 00:55:57.023
Programmation fonctionnelle dit quasiment un

00:55:57.043 --> 00:56:00.488
interpréteur pour pouvoir jouer avec le langage.

00:56:01.379 --> 00:56:08.994
Et au-dessus de ça, on a pensé l'affichage et la

00:56:09.054 --> 00:56:10.738
fonction d'éditeur, mais au-dessus de ce langage

00:56:10.758 --> 00:56:12.962
de programmation.

00:56:14.385 --> 00:56:18.032
Moi, j'aime bien ce côté langage de programmation

00:56:18.493 --> 00:56:20.798
qui est dans Emacs, qui est dans la nature

00:56:20.818 --> 00:56:21.379
d'Emacs.

00:56:22.861 --> 00:56:26.945
[Sacha]: J'adore combiner les fonctions des

00:56:28.226 --> 00:56:30.788
bibliothèques différentes pour faire une

00:56:30.888 --> 00:56:33.190
interface personnalisée.

00:56:36.053 --> 00:56:36.974
[Richard]: Oui, c'est ça, c'est ça.

00:56:36.994 --> 00:56:38.435
Et puis on continue en fait.

00:56:39.115 --> 00:56:40.677
Et c'est vraiment l'esprit, enfin pour moi c'est

00:56:40.697 --> 00:56:44.200
vraiment l'esprit open source, mais même la

00:56:44.220 --> 00:56:45.221
programmation fonctionnelle.

00:56:45.241 --> 00:56:48.644
On prend, on fait des, on a des briques de base

00:56:48.664 --> 00:56:49.725
et on les assemble.

00:56:49.745 --> 00:56:51.667
On fait des briques un peu plus abstraites et

00:56:51.707 --> 00:56:52.227
puis on...

00:56:52.763 --> 00:56:55.353
Et dans Emacs, force est constante.

00:56:55.373 --> 00:56:58.104
Moi, je trouve que les briques de base sont pas

00:56:58.124 --> 00:56:59.128
mal pensées.

00:56:59.148 --> 00:57:01.316
Est-ce que c'est vraiment... Je pense que c'est

00:57:01.336 --> 00:57:03.043
un peu organique.

00:57:03.833 --> 00:57:07.839
Un choix d'une essence initiale qui a tout bien

00:57:07.859 --> 00:57:10.923
décidé du début.

00:57:11.064 --> 00:57:12.986
Mais on se trouve qu'on arrive à un équilibre

00:57:13.127 --> 00:57:14.609
qui, moi, me satisfait.

00:57:14.629 --> 00:57:16.091
Et je ne cherche pas à convaincre le reste du

00:57:16.131 --> 00:57:17.493
monde qu'ils ont tort.

00:57:20.457 --> 00:57:23.101
Moi, ça me va qu'Emacs ne soit pas l'éditeur à la

00:57:23.121 --> 00:57:25.825
mode, comme j'ai dit tout à l'heure.

00:57:27.205 --> 00:57:30.230
Je ne cherche pas à convaincre le reste du monde

00:57:30.250 --> 00:57:31.852
que c'est ça qu'il faut faire.

00:57:31.873 --> 00:57:33.816
J'incite fortement mes étudiants quand j'en ai à

00:57:33.836 --> 00:57:34.437
l'utiliser.

00:57:35.779 --> 00:57:39.885
Mais sinon, ce n'est pas grave.

00:57:39.966 --> 00:57:43.251
Ça reste un outil et c'est pareil, les outils, il

00:57:43.291 --> 00:57:44.333
faut les adapter.

00:57:44.994 --> 00:57:46.997
L'open source permet ça et je pense que c'est

00:57:47.017 --> 00:57:48.319
aussi un message important.

00:57:50.138 --> 00:57:56.849
[Sacha]: As-tu des astuces moins connues sur

00:57:56.929 --> 00:57:59.553
l'utilisation d'Emacs ?

00:57:59.573 --> 00:58:00.374
[Richard]: Moins connues ?

00:58:00.394 --> 00:58:00.915
Je ne sais pas.

00:58:00.935 --> 00:58:04.941
Comme je vous ai dit, j'emprunte beaucoup de

00:58:04.981 --> 00:58:06.283
choses dans ce que je vois.

00:58:07.585 --> 00:58:11.291
La dernière chose que j'ai commencé à utiliser et

00:58:11.412 --> 00:58:12.914
que j'aime bien, c'est Embark.

00:58:13.214 --> 00:58:15.538
Mais je pense que c'est suffisamment connu.

00:58:17.830 --> 00:58:20.715
Pour ne pas dire que c'est une astuce inconnue

00:58:20.735 --> 00:58:22.238
que je commence à utiliser.

00:58:24.462 --> 00:58:28.388
Parce qu'effectivement, on a ce problème de se

00:58:28.449 --> 00:58:31.294
rappeler de ce qui existe, ce qu'on a déjà fait.

00:58:32.516 --> 00:58:35.000
Et je trouve que Embark m'aide un peu à ça.

00:58:35.301 --> 00:58:39.568
On a un raccourci de base dans un contexte.

00:58:39.633 --> 00:58:43.320
Et on va afficher les choses qui existent dans ce

00:58:43.360 --> 00:58:45.925
contexte qui pourraient être intéressantes à

00:58:45.945 --> 00:58:50.575
utiliser, qu'on a oublié parce que nos fichiers

00:58:50.595 --> 00:58:52.919
de configuration sont trop longs ou il y a plein

00:58:52.939 --> 00:58:54.402
de modes ou des choses comme ça.

00:58:55.107 --> 00:58:59.695
Et ça m'aide dans ça, ou pour rajouter facilement

00:58:59.715 --> 00:59:04.604
des fonctionnalités dans des modes qui ne sont

00:59:04.624 --> 00:59:06.327
pas les miens.

00:59:06.347 --> 00:59:08.371
Là, dans Magit, par exemple, au-dessus de

00:59:08.431 --> 00:59:12.058
Forge, j'ai associé dans Embark la possibilité

00:59:13.180 --> 00:59:15.985
d'ouvrir via peer review.

00:59:15.965 --> 00:59:22.316
La pull request qui était ouverte et pouvoir

00:59:22.336 --> 00:59:28.706
faire la revue de code dans Emacs, évidemment.

00:59:28.726 --> 00:59:29.067
Aussi.

00:59:29.207 --> 00:59:31.611
En se passant de GitHub.

00:59:34.072 --> 00:59:37.419
[Sacha]: Ma fille ne s'est pas encore réveillée.

00:59:38.040 --> 00:59:40.945
Donc si vous êtes disponible, nous pouvons

00:59:40.965 --> 00:59:41.687
continuer.

00:59:42.068 --> 00:59:46.156
Si vous avez d'autres obligations, pas de souci.

00:59:46.296 --> 00:59:46.917
On continue?

00:59:48.230 --> 00:59:50.072
[Prot]: Moi, je peux continuer.

00:59:50.313 --> 00:59:51.834
[Richard]: Moi aussi.

00:59:51.915 --> 00:59:55.579
En plus, on a un quart d'heure à rattraper au

00:59:55.799 --> 00:59:56.080
moins.

00:59:56.100 --> 00:59:59.264
À cause de notre erreur initiale assumant

00:59:59.624 --> 01:00:01.046
collectivement.

01:00:01.066 --> 01:00:02.507
[Sacha]: Oui, non, non, non.

01:00:02.868 --> 01:00:06.052
J'ai enregistré toutes les sessions, donc je peux

01:00:06.432 --> 01:00:08.455
publier l'enregistrement.

01:00:09.396 --> 01:00:10.878
[Richard]: D'accord.

01:00:10.898 --> 01:00:11.098
Très bien.

01:00:13.424 --> 01:00:15.827
Non, pas de souci, avec plaisir.

01:00:15.847 --> 01:00:19.152
Moi, j'aime bien.

01:00:22.136 --> 01:00:25.161
Moi, juste d'être là avec vous deux, ça me va, et

01:00:25.181 --> 01:00:26.463
de parler d'Emacs.

01:00:26.483 --> 01:00:28.526
Comme je vous ai dit, je peux en parler pendant

01:00:28.566 --> 01:00:28.946
des heures.

01:00:28.986 --> 01:00:31.931
Je pense que certains de mes étudiants en avaient

01:00:31.951 --> 01:00:34.294
peut-être marre, mais osaient pas me le dire.

01:00:35.996 --> 01:00:40.663
Mais oui, on peut continuer.

01:00:42.145 --> 01:00:50.778
[Sacha]: Je n'ose pas toujours aller aux réunions

01:00:50.819 --> 01:00:52.601
virtuelles d'Emacs Paris.

01:00:55.967 --> 01:00:59.753
Comment ça va?

01:01:00.353 --> 01:01:03.839
Il y a beaucoup de présentations en français ?

01:01:05.381 --> 01:01:07.765
[Richard]: Alors moi, je n'y suis jamais allé.

01:01:11.423 --> 01:01:16.610
En plus, tu m'as parlé de virtuel, donc ça n'a

01:01:16.630 --> 01:01:18.372
pas d'impact, mais je n'habite pas à Paris.

01:01:19.493 --> 01:01:25.040
Mais effectivement, c'est une bonne remarque.

01:01:25.300 --> 01:01:26.602
Peut-être que je devrais le faire.

01:01:26.622 --> 01:01:28.605
Il faut voir les horaires parce que je suis un

01:01:28.645 --> 01:01:29.265
peu comme toi.

01:01:29.926 --> 01:01:31.648
J'ai des contraintes familiales.

01:01:31.668 --> 01:01:34.011
J'ai aussi une fille.

01:01:34.031 --> 01:01:37.276
Donc, il y a des horaires qui sont impossibles à

01:01:37.636 --> 01:01:38.337
l'heure actuelle.

01:01:39.298 --> 01:01:40.840
Et c'est bien, en fait.

01:01:43.064 --> 01:01:44.546
C'est comme ça.

01:01:44.566 --> 01:01:46.288
C'est la vie.

01:01:46.308 --> 01:01:47.630
[Sacha]: C'est la vie.

01:01:47.650 --> 01:01:48.852
[Richard]: Non, mais c'est bien.

01:01:48.952 --> 01:01:49.512
En fait, c'est bien.

01:01:50.273 --> 01:01:50.814
C'est bien.

01:01:52.096 --> 01:01:55.120
Malgré ma passion d'Emacs, on peut faire un petit

01:01:55.140 --> 01:01:58.344
pas de côté, avoir un enfant, moi, ça m'a amené à

01:01:58.364 --> 01:02:01.068
reconsidérer beaucoup de choses.

01:02:02.950 --> 01:02:05.173
C'est normal, oui.

01:02:06.200 --> 01:02:10.647
Et d'ailleurs, juste en passant, moi, ça

01:02:10.667 --> 01:02:14.652
m'intéresse ce que tu racontes sur la

01:02:14.693 --> 01:02:17.437
parentalité, Sacha, dans tes billets de blog.

01:02:17.457 --> 01:02:21.302
C'est un truc que je suis.

01:02:21.322 --> 01:02:23.926
Ça n'a rien à voir avec Emacs, mais un peu, parce

01:02:23.946 --> 01:02:29.494
qu'à travers toi, c'est un des sujets que j'aime

01:02:29.514 --> 01:02:32.719
bien suivre et qui m'interpelle depuis qu'il y a

01:02:32.959 --> 01:02:33.661
un enfant, essentiellement.

01:02:33.681 --> 01:02:35.363
C'est comme ça qu'on s'y intéresse, je crois.

01:02:36.457 --> 01:02:40.021
[Sacha]: Ma fille a 10 ans, donc je me sens

01:02:40.622 --> 01:02:44.026
toujours une débutante avec tous les sujets de

01:02:44.046 --> 01:02:47.330
parentalité... c'est difficile.

01:02:48.171 --> 01:02:50.514
[Richard]: Mais je pense que c'est la même

01:02:50.534 --> 01:02:52.456
attitude face à Emacs.

01:02:52.476 --> 01:02:54.879
Il faut avoir... On est des débutants, on

01:02:54.899 --> 01:02:56.181
continue à apprendre.

01:02:56.201 --> 01:02:59.244
C'est un environnement où il y a tellement de

01:02:59.284 --> 01:02:59.865
choses à apprendre.

01:03:00.470 --> 01:03:01.631
On continue.

01:03:01.651 --> 01:03:04.094
Ce qui est bien, c'est que ça peut satisfaire les

01:03:04.114 --> 01:03:06.677
gens qui sont curieux et qui sont quand même

01:03:06.737 --> 01:03:10.001
aussi à l'aise avec le fait qu'ils ne connaîtront

01:03:10.081 --> 01:03:12.463
jamais tout.

01:03:12.483 --> 01:03:15.187
Ce n'est pas grave.

01:03:15.247 --> 01:03:17.950
Moi, ça me nourrit comme ça.

01:03:18.410 --> 01:03:19.992
La parentalité, c'est un peu la même chose.

01:03:20.012 --> 01:03:21.113
On ne connaîtra jamais tout.

01:03:22.194 --> 01:03:24.357
Sauf que ce qu'on fait a quand même plus d'impact

01:03:24.437 --> 01:03:25.198
que dans Emacs.

01:03:25.218 --> 01:03:27.300
On est d'accord.

01:03:27.761 --> 01:03:29.903
C'est quand même un peu différent.

01:03:30.170 --> 01:03:33.722
[Sacha]: Quelles sont tes prochaines étapes sur

01:03:33.742 --> 01:03:36.532
ton bricolage d'Emacs ?

01:03:36.552 --> 01:03:38.278
[Richard]: Alors probablement, visiblement, ce

01:03:38.318 --> 01:03:40.525
qu'on a discuté là, je suis conscient qu'il y a

01:03:40.546 --> 01:03:42.171
un peu de nettoyage à faire.

01:03:44.885 --> 01:03:48.992
Peut-être d'aller voir un peu plus dans le détail

01:03:49.012 --> 01:03:53.320
ce qui existe dans Org-capture pour simplifier

01:03:53.561 --> 01:03:54.322
certaines choses.

01:03:54.823 --> 01:03:57.488
On a tous un peu, enfin les programmeurs, on a

01:03:57.508 --> 01:03:59.391
tendance aussi à, comme on dit en français, à

01:03:59.411 --> 01:04:00.413
réinventer la roue.

01:04:01.000 --> 01:04:05.947
On aime bien faire les choses de notre manière

01:04:06.929 --> 01:04:10.274
parce qu'elle est mieux.

01:04:10.294 --> 01:04:11.616
Parce que c'est la nôtre, en fait.

01:04:11.736 --> 01:04:16.123
On la comprend plus facilement, tout simplement.

01:04:16.763 --> 01:04:21.891
Donc, probablement, allez voir s'il n'y a pas

01:04:22.051 --> 01:04:24.235
d'autres choses.

01:04:24.255 --> 01:04:26.979
Je vais continuer à travailler sur mon interface

01:04:27.960 --> 01:04:29.202
Garmin pour que ça soit...

01:04:30.650 --> 01:04:33.333
Plus intégrer pour ma visualisation, donc

01:04:33.353 --> 01:04:35.215
vérifier les courbes, je pense que je vais

01:04:35.235 --> 01:04:35.576
regarder.

01:04:36.637 --> 01:04:39.180
C'est peut-être intégrer d'autres données

01:04:39.240 --> 01:04:39.861
physiologiques.

01:04:41.263 --> 01:04:43.225
Ce qui est pas mal, c'est que si on a, enfin moi

01:04:43.405 --> 01:04:45.167
c'est pas mon cas, mais si on a plusieurs, il n'y

01:04:48.131 --> 01:04:52.736
a pas de mot français, trackers, de données, on

01:04:52.776 --> 01:04:54.919
peut les intégrer au même endroit dans Emacs,

01:04:55.299 --> 01:04:55.780
évidemment.

01:04:56.249 --> 01:05:00.136
En ayant la bonne interface, la bonne glue, la

01:05:00.176 --> 01:05:03.301
bonne colle pour intégrer les données.

01:05:05.725 --> 01:05:10.774
Et puis je vais continuer, dès que j'ai une

01:05:11.174 --> 01:05:15.221
cascade, une séquence de choses répétées, à

01:05:15.261 --> 01:05:17.405
essayer de les intégrer sous forme de fonction

01:05:18.046 --> 01:05:18.747
dans Emacs.

01:05:20.262 --> 01:05:21.625
qui fait toujours dans cette vision

01:05:21.645 --> 01:05:22.967
d'orchestration.

01:05:23.067 --> 01:05:26.514
Je pense que je vais continuer parce que je l'ai

01:05:26.534 --> 01:05:26.955
fait.

01:05:27.135 --> 01:05:30.021
Par exemple, j'ai des fonctions pour générer des

01:05:30.121 --> 01:05:36.093
invoices parce que ça m'est venu assez

01:05:36.153 --> 01:05:39.199
naturellement d'avoir ça dans Emacs.

01:05:39.179 --> 01:05:41.611
parce que j'ai un esprit comme ça, mais

01:05:41.612 --> 01:05:45.409
avec du LaTeX, bien sûr,

01:05:45.410 --> 01:05:47.607
parce que ça, c'est mon background académique

01:05:47.608 --> 01:05:49.880
c'est parce que je connais les packages.

01:05:49.881 --> 01:05:52.463
C'est pareil quand on connaît un environnement, hein,

01:05:53.033 --> 01:05:56.140
quand on a un marteau, on a l'impression que tout

01:05:56.160 --> 01:05:57.363
est un clou, comme on dit, hein.

01:05:59.427 --> 01:06:00.690
C'est un peu ça.

01:06:01.732 --> 01:06:02.634
Je vais continuer ça.

01:06:02.835 --> 01:06:06.062
Dès qu'il y a quelque chose qui est un peu

01:06:06.182 --> 01:06:10.011
répétitif et qui est un peu ennuyeux à faire, je

01:06:10.031 --> 01:06:12.055
pense que je vais l'intégrer dans Emacs.

01:06:12.035 --> 01:06:16.745
Parce que l'outil me le permet très facilement.

01:06:17.466 --> 01:06:22.016
C'est facile de lire les sorties d'outils Unix,

01:06:22.136 --> 01:06:26.726
c'est facile de les combiner avec la

01:06:27.227 --> 01:06:29.271
programmation fonctionnelle, tout se passe bien.

01:06:29.331 --> 01:06:31.275
On les remet en forme, on échange les données.

01:06:32.740 --> 01:06:34.782
Et ça, Lisp est chouette pour ça.

01:06:35.022 --> 01:06:38.185
Pour manipuler les données, c'est vachement bien.

01:06:38.205 --> 01:06:40.767
Pour moi, c'est encore plus simple que d'autres

01:06:40.848 --> 01:06:43.950
visions de la programmation.

01:06:44.151 --> 01:06:47.093
Je pense que ces deux aspects-là, simplifier les

01:06:47.113 --> 01:06:49.456
tâches répétitives, donc ça, je continue en

01:06:49.476 --> 01:06:51.658
particulier, même à les faire avec des timers,

01:06:51.678 --> 01:06:54.480
parce qu'il y a des choses que je n'ai pas envie

01:06:54.500 --> 01:06:55.161
de réfléchir.

01:06:55.181 --> 01:06:57.203
Il y a des choses auxquelles je réfléchis, comme

01:06:57.243 --> 01:06:59.625
d'aller récupérer...

01:07:01.040 --> 01:07:03.564
Donc, par exemple, toutes les pull requests qui

01:07:03.584 --> 01:07:05.848
ont reçu des commentaires.

01:07:07.190 --> 01:07:09.895
Voilà, mettre dans Emacs et me faire une petite

01:07:09.935 --> 01:07:14.282
note Org Mode avec les liens qui vont bien pour

01:07:14.322 --> 01:07:17.287
pouvoir... Ça fait une forme de... C'est des mini

01:07:17.307 --> 01:07:19.451
to-do list pour la journée, quoi.

01:07:20.432 --> 01:07:22.035
Qu'est-ce que je dois faire dans ma journée de

01:07:22.055 --> 01:07:26.322
programmeur d'un peu urgent ?

01:07:26.538 --> 01:07:29.967
Au lieu d'aller manuellement dans les dépôts Git

01:07:29.987 --> 01:07:34.358
et aller voir s'il y a eu... Moi ça me va quand

01:07:34.378 --> 01:07:35.882
je ne vais pas sur les interfaces des

01:07:35.902 --> 01:07:37.406
navigateurs, j'aime bien.

01:07:37.426 --> 01:07:40.033
Je préfère rester dans la manipulation de texte

01:07:40.975 --> 01:07:42.960
et dans l'abstraction.

01:07:42.940 --> 01:07:47.587
J'aime bien les outils locaux et Emacs me permet

01:07:47.607 --> 01:07:49.590
de faire comme si c'était local.

01:07:50.592 --> 01:07:55.679
[Sacha]: J'ai lu ta fonction pour générer ton

01:07:55.699 --> 01:08:02.890
rapport pour les stand-up qui ressemblait à tous

01:08:02.910 --> 01:08:06.215
les pull requests et d'autres données.

01:08:06.255 --> 01:08:07.157
[Richard]: C'est ça, oui.

01:08:08.038 --> 01:08:11.243
On me demandait de faire ces rapports-là.

01:08:12.269 --> 01:08:14.152
Ce n'est pas un truc d'humain, ça.

01:08:14.633 --> 01:08:16.055
C'est un truc de machine.

01:08:17.337 --> 01:08:18.359
Ce n'est pas important.

01:08:20.282 --> 01:08:21.504
Donc, c'était des demandes.

01:08:21.644 --> 01:08:26.612
Quand on a des demandes administratives qu'on

01:08:26.631 --> 01:08:31.037
trouve à la limite de l'absurde ou qu'on ne

01:08:31.118 --> 01:08:33.703
considère pas comme importantes, c'est bien que

01:08:33.723 --> 01:08:35.205
la machine vous aide.

01:08:36.703 --> 01:08:41.529
Emacs me permet ça, mais tous les outils de

01:08:41.550 --> 01:08:42.812
script le permettent.

01:08:43.792 --> 01:08:47.999
J'aime bien l'avoir dans Emacs.

01:08:49.901 --> 01:08:53.085
[Sacha]: Tu as d'autres collègues qui utilisent

01:08:53.225 --> 01:08:54.027
Emacs ?

01:08:54.327 --> 01:08:56.670
Peut-être qui utilisent tes scripts ?

01:08:57.865 --> 01:09:03.993
[Richard]: Mes scripts, c'est arrivé par le passé.

01:09:04.674 --> 01:09:06.497
Des choses que j'avais faites, j'avais distribué

01:09:06.517 --> 01:09:09.801
à des étudiants justement en Caml.

01:09:10.182 --> 01:09:12.866
J'avais fait des petites choses pour simplifier,

01:09:13.526 --> 01:09:17.712
pour pouvoir résumer vite.

01:09:17.752 --> 01:09:19.694
En Caml, on a deux types de fichiers.

01:09:19.715 --> 01:09:21.978
On doit décrire dans un fichier l'implémentation

01:09:22.078 --> 01:09:25.182
et dans un autre fichier ce qui est accessible

01:09:25.202 --> 01:09:27.045
comme API.

01:09:28.122 --> 01:09:31.606
Il y a une forme de duplication qui n'est pas

01:09:31.626 --> 01:09:35.390
très satisfaisante en tant qu'être humain.

01:09:36.091 --> 01:09:39.254
Donc, j'ai fait un script pour extraire

01:09:39.474 --> 01:09:44.300
l'information nécessaire du fichier où on avait

01:09:44.479 --> 01:09:46.542
l'implémentation vers le fichier d'interface.

01:09:47.743 --> 01:09:49.845
Je l'ai diffusé aux étudiants pour qu'ils

01:09:49.866 --> 01:09:51.346
puissent le réutiliser, pour que ça leur

01:09:51.386 --> 01:09:53.910
simplifie le développement.

01:09:54.700 --> 01:09:59.268
J'ai peut-être deux ou trois autres choses qui ne

01:09:59.368 --> 01:10:01.331
viennent pas à l'esprit, mais c'est assez limité.

01:10:01.772 --> 01:10:03.254
Et j'ai un collègue qui utilise Emacs.

01:10:03.294 --> 01:10:05.218
Alors on n'est pas beaucoup, je suis dans une

01:10:05.238 --> 01:10:09.685
toute petite entreprise, on est six, donc on est

01:10:09.805 --> 01:10:11.528
un tiers d'utilisateurs Emacs.

01:10:12.790 --> 01:10:15.815
Un tiers, c'est énorme sur une entreprise.

01:10:17.277 --> 01:10:19.882
Le reste, ils font tous du visual code, plus

01:10:19.902 --> 01:10:25.230
exactement du... Comment s'appelle ça ?

01:10:25.250 --> 01:10:25.986
Cursor.

01:10:25.987 --> 01:10:28.430
[Prot]: Ah, Cursor, oui.

01:10:28.431 --> 01:10:32.021
[Richard]: Personne n'est parfait.

01:10:32.022 --> 01:10:33.323
[Prot]: C'est la mode, oui.

01:10:33.324 --> 01:10:36.897
[Richard]: Mais là encore, en fait, Emacs est

01:10:36.898 --> 01:10:37.943
parfait pour l'IA.

01:10:38.795 --> 01:10:39.857
Mais c'est normal.

01:10:40.177 --> 01:10:42.400
Lisp, c'est un langage d'IA à la base.

01:10:43.041 --> 01:10:44.704
[Prot]: C'est normal.

01:10:44.724 --> 01:10:47.728
[Richard]: Donc, Emacs était en avance.

01:10:47.748 --> 01:10:48.930
On ne le savait pas.

01:10:49.030 --> 01:10:51.794
L'IA manipule presque tout de format textuel.

01:10:51.834 --> 01:10:54.779
Donc, c'est parfait pour Unix en général et Emacs

01:10:54.799 --> 01:10:55.520
en particulier.

01:10:56.561 --> 01:10:59.546
Moi, j'utilise Claude Code et j'ai fait une petite

01:10:59.566 --> 01:11:04.633
interface aussi pour savoir toutes les instances

01:11:04.673 --> 01:11:06.456
de Claude qui tournent

01:11:07.043 --> 01:11:09.400
dans quel répertoire avec quel

01:11:09.401 --> 01:11:12.931
pour pouvoir les ouvrir et aller les voir

01:11:12.932 --> 01:11:15.993
ou les tuer etc. Donc encore une fois,

01:11:15.994 --> 01:11:20.325
j'ai réutilisè Tabulated pour faire ça,

01:11:20.326 --> 01:11:23.697
parce que effectivement j'étais un peu contraint

01:11:23.698 --> 01:11:25.744
par Claude Code.

01:11:26.534 --> 01:11:28.315
Moi, j'utilise qui marche très bien,

01:11:28.316 --> 01:11:29.257
mais ça permet qu'une seule

01:11:29.297 --> 01:11:31.159
instance à un seul buffer, donc j'ai un peu

01:11:31.179 --> 01:11:35.583
généralisé pour avoir un Claude Multicode ou

01:11:35.643 --> 01:11:36.424
quelque chose comme ça.

01:11:36.444 --> 01:11:39.327
Ça permet d'utiliser plein d'instances qui les

01:11:39.347 --> 01:11:46.134
renomment automatiquement, on peut les renommer.

01:11:46.214 --> 01:11:48.556
J'ai un peu mon cockpit dans Emacs, mon dashboard

01:11:49.237 --> 01:11:49.978
textuel.

01:11:50.518 --> 01:11:54.482
C'est l'idée générale actuellement.

01:11:55.373 --> 01:11:59.738
[Sacha]: J'ai un peu peur de permettre à l'IA

01:11:59.838 --> 01:12:02.061
d'utiliser mon Emacs directement.

01:12:05.104 --> 01:12:07.847
C'est un peu dangereux, je pense.

01:12:07.867 --> 01:12:11.411
[Richard]: Non, oui.

01:12:12.052 --> 01:12:17.057
Il y a d'autres soucis, mais on est incité.

01:12:17.458 --> 01:12:19.821
Bon, ça simplifie certaines choses, mais ça en

01:12:19.861 --> 01:12:21.162
complique d'autres.

01:12:23.065 --> 01:12:25.209
On pourrait en parler, mais ce n'est pas le sujet

01:12:25.229 --> 01:12:25.629
d'aujourd'hui.

01:12:27.733 --> 01:12:30.177
Ce n'est pas le sujet d'aujourd'hui, mais ça aide.

01:12:30.217 --> 01:12:35.626
En fait, moi, ça m'a enlevé un frein pour ma

01:12:35.646 --> 01:12:38.191
création d'outils personnalisés dans Emacs quand

01:12:38.211 --> 01:12:38.391
même.

01:12:39.637 --> 01:12:41.760
Est-ce que j'avais toujours une espèce de frein

01:12:41.841 --> 01:12:43.864
qui me disait, oh là là, mais il va y avoir tout

01:12:43.884 --> 01:12:44.525
ça à faire.

01:12:45.486 --> 01:12:46.889
Ça va prendre beaucoup de temps.

01:12:48.451 --> 01:12:51.656
Plein de choses, j'arrive à conceptualiser, mais

01:12:51.676 --> 01:12:53.119
les détails, je ne les connais pas.

01:12:54.761 --> 01:12:56.745
Donc l'IA me permet de remplir facilement les

01:12:56.785 --> 01:12:59.669
détails en donnant le concept de ce que je veux

01:13:00.030 --> 01:13:04.497
et d'aller un peu regarder parfois, mais...

01:13:06.451 --> 01:13:08.775
Mais c'est pas tout le temps.

01:13:08.795 --> 01:13:10.559
Parfois, mais pas tout le temps.

01:13:10.579 --> 01:13:12.061
Là, il y a plusieurs choses.

01:13:12.522 --> 01:13:14.626
J'ai fait beaucoup de travail avec.

01:13:16.390 --> 01:13:21.439
Mais je reste souvent sur ma faim, comme on dit.

01:13:25.030 --> 01:13:28.815
Sceptique quant aux résultats obtenus.

01:13:28.835 --> 01:13:33.581
C'est assez facile de... Je trouve que je me suis

01:13:33.601 --> 01:13:36.565
déjà convaincu de certaines choses en travaillant

01:13:36.646 --> 01:13:40.290
avec IA, en revenant le jour d'après en disant

01:13:40.310 --> 01:13:42.113
mais c'est pas bon du tout ça.

01:13:42.393 --> 01:13:44.156
A mon avis, c'est même totalement faux.

01:13:45.517 --> 01:13:47.901
Et de retravailler un client en disant ah oui,

01:13:47.921 --> 01:13:49.583
effectivement, c'est totalement faux ce que

01:13:49.603 --> 01:13:51.966
j'avais dit.

01:13:51.946 --> 01:13:56.732
C'est vraiment le problème de travailler avec ça.

01:13:56.852 --> 01:14:01.018
Tout le monde qui a un peu de recul le sait.

01:14:02.540 --> 01:14:03.962
Ces outils ont ce problème-là.

01:14:07.266 --> 01:14:08.348
Il y a ça aussi.

01:14:08.368 --> 01:14:09.169
Tu ne l'as peut-être pas vu.

01:14:09.189 --> 01:14:11.592
Je ne sais pas si je l'ai poussé.

01:14:11.977 --> 01:14:13.741
[Sacha]: Il y a un commentaire dans le chat.

01:14:13.901 --> 01:14:21.617
Aya a dit, dans mon école d'ingé, tout le monde

01:14:21.697 --> 01:14:23.561
utilise Vim ou Neovim.

01:14:23.942 --> 01:14:31.538
Emacs est considéré comme sauvage un peu.

01:14:31.518 --> 01:14:35.788
[Richard]: Et c'est déjà... Moi, je trouve ça

01:14:35.809 --> 01:14:37.994
impressionnant que tout le monde utilise Vim ou

01:14:38.014 --> 01:14:38.595
Neovim.

01:14:40.440 --> 01:14:43.327
En réalité, en 2026, qu'il y ait tant

01:14:43.347 --> 01:14:48.700
d'utilisateurs que ça, de ces éditeurs qui sont...

01:14:48.916 --> 01:14:53.353
[Sacha]: Très limités.

01:14:53.354 --> 01:15:00.095
C'est de papi, c'est des grands-pères de l'informatique.

01:15:00.096 --> 01:15:01.472
[Prot]: Oui, oui.

01:15:01.473 --> 01:15:04.502
[Richarde]: Mais en fait, quand êtes pensée...

01:15:04.503 --> 01:15:10.097
Dont la vision est a quelque chose de singulier

01:15:11.039 --> 01:15:12.500
et c'est pour ça qu'ils perdurent.

01:15:12.801 --> 01:15:15.243
C'est pas juste parce qu'il y a un peu d'habitude

01:15:15.283 --> 01:15:16.865
probablement, mais c'est pas que ça.

01:15:17.405 --> 01:15:21.329
C'est qu'ils parlent, je pense, à un certain type

01:15:21.349 --> 01:15:21.990
d'audience.

01:15:24.332 --> 01:15:28.436
Il y a vraiment des idées, je pense, qui

01:15:28.456 --> 01:15:32.340
conviennent à un paquet de gens, des ingénieurs

01:15:32.360 --> 01:15:33.061
en particulier.

01:15:34.602 --> 01:15:36.885
Je vous avoue que si moi, on m'imposait un autre

01:15:36.905 --> 01:15:40.388
outil, je serais très triste.

01:15:41.414 --> 01:15:43.396
Ça serait difficile.

01:15:43.436 --> 01:15:46.479
En fait, c'est un peu ce que je considère comme

01:15:46.499 --> 01:15:49.241
une nécessité au métier d'ingénieur ou de

01:15:49.281 --> 01:15:50.983
programmeur, c'est d'avoir de l'autonomie dans

01:15:51.003 --> 01:15:53.085
ses choix, techniques en particulier.

01:15:53.725 --> 01:15:58.770
Et un des choix techniques, c'est son interface

01:15:58.790 --> 01:15:59.550
de programmation.

01:16:00.611 --> 01:16:02.513
C'est pour ça que je ne vais pas essayer de

01:16:02.553 --> 01:16:04.355
convaincre à tout prix que quelqu'un qui utilise

01:16:04.375 --> 01:16:05.376
Visual Code a tort.

01:16:06.096 --> 01:16:07.718
Il n'a pas tort, il utilise l'outil qui est

01:16:07.738 --> 01:16:10.020
adapté pour lui.

01:16:10.692 --> 01:16:15.917
Je peux lui montrer Emacs, on peut rigoler en lui

01:16:15.937 --> 01:16:18.460
disant qu'il a tort, mais je n'irai pas jusqu'à

01:16:18.480 --> 01:16:19.381
le considérer vraiment.

01:16:20.602 --> 01:16:22.904
Mais j'étais étonné qu'on soit deux à utiliser

01:16:23.004 --> 01:16:23.365
Emacs.

01:16:25.266 --> 01:16:27.068
En Rust, je pense que c'est un environnement qui

01:16:27.088 --> 01:16:28.550
est moins courant.

01:16:29.731 --> 01:16:31.933
Les communautés de programmation ont aussi des

01:16:31.973 --> 01:16:33.695
habitudes par rapport aux éditeurs.

01:16:34.536 --> 01:16:35.957
Et en Caml, Emacs...

01:16:36.950 --> 01:16:42.638
avait au passé une majorité.

01:16:42.778 --> 01:16:46.063
Je crois qu'il y a beaucoup d'utilisateurs de

01:16:46.243 --> 01:16:49.708
Neovim ou de Vim maintenant.

01:16:49.728 --> 01:16:54.074
Notamment depuis qu'on s'est abstrait que le

01:16:54.094 --> 01:16:56.137
support du langage est passé du côté LSP.

01:16:56.317 --> 01:16:59.601
Finalement, l'éditeur n'est devenu pas très

01:16:59.621 --> 01:17:03.066
important pour avoir la qualité de support.

01:17:03.086 --> 01:17:05.489
Du coup, c'est un bon argument pour que je garde

01:17:05.509 --> 01:17:05.910
Emacs.

01:17:06.734 --> 01:17:11.118
Comme ça, j'ai mes raccourcis clavier, j'ai un

01:17:11.138 --> 01:17:13.441
environnement hyper dépouillé parce que moi

01:17:13.461 --> 01:17:17.525
j'aime bien avoir quelque chose de très lisible

01:17:17.545 --> 01:17:18.206
et très flat.

01:17:18.786 --> 01:17:22.149
Pas de truc qui clignote ou de machin.

01:17:23.391 --> 01:17:27.395
Bon, vous pouvez voir que j'utilise un window

01:17:27.415 --> 01:17:31.839
manager aussi très tiling, donc j'ai vraiment

01:17:32.980 --> 01:17:34.682
un truc un peu spartiate.

01:17:35.084 --> 01:17:37.870
Et j'ai utilisé plusieurs fois Mac OS.

01:17:37.970 --> 01:17:40.014
A chaque fois, ça s'est terminé pareil.

01:17:40.616 --> 01:17:44.403
Cet environnement ne me laisse pas faire les

01:17:44.423 --> 01:17:45.245
choses comme je veux.

01:17:47.109 --> 01:17:49.995
J'en ai marre, je repars sur Linux.

01:17:52.520 --> 01:17:56.248
[Sacha]: Tu es très particulière sur tes outils.

01:17:57.106 --> 01:17:59.832
[Richard]: Oui, c'est-à-dire que j'aime bien ne

01:17:59.852 --> 01:18:02.037
pas me sentir restreint.

01:18:02.238 --> 01:18:03.661
Mais dans la vie, c'est pareil.

01:18:04.323 --> 01:18:09.715
J'aime bien la forme de liberté que procure

01:18:10.252 --> 01:18:12.435
L'open source, encore une fois.

01:18:12.455 --> 01:18:14.578
Sous Linux, si je veux avoir un environnement à

01:18:14.598 --> 01:18:16.400
la macOS, je peux aussi.

01:18:17.421 --> 01:18:19.504
Si c'est ça qui me convient comme utilisateur.

01:18:19.524 --> 01:18:20.846
Et c'est ça qui est important, moi.

01:18:21.326 --> 01:18:22.408
Qu'on me laisse le choix.

01:18:23.088 --> 01:18:26.293
Et moi, ce dont j'ai besoin, c'est vraiment un

01:18:26.313 --> 01:18:28.435
truc simple.

01:18:30.057 --> 01:18:33.222
Ou l'écran, ou mon interface avec le monde, c'est

01:18:33.242 --> 01:18:34.403
Emacs.

01:18:34.383 --> 01:18:39.033
C'est particulier, mais ici, dans ce petit monde

01:18:39.113 --> 01:18:41.639
où on est là, tous les trois et les auditeurs, je

01:18:41.679 --> 01:18:44.745
pense qu'on est plusieurs à avoir un peu ce parti

01:18:44.765 --> 01:18:45.086
pris.

01:18:48.353 --> 01:18:51.700
Même quand j'étais sur Mac OS, c'était...

01:18:52.304 --> 01:18:54.410
Mon principal problème c'était que je trouvais

01:18:54.430 --> 01:18:57.499
désagréable, c'était compliqué pour moi de

01:18:57.900 --> 01:19:00.306
switcher entre Emacs et le navigateur.

01:19:00.367 --> 01:19:04.699
Je trouvais ça désagréable, la façon de le faire

01:19:04.719 --> 01:19:07.326
sur macOS.

01:19:07.306 --> 01:19:15.276
Là, essentiellement, j'ai deux écrans virtuels

01:19:15.316 --> 01:19:18.880
différents et il y en a un qu'avec un navigateur.

01:19:19.461 --> 01:19:21.603
Donc, je change de l'un à l'autre et un par

01:19:21.623 --> 01:19:22.605
raccourci clavier.

01:19:23.966 --> 01:19:25.388
C'est sans doute possible sous macOS.

01:19:25.548 --> 01:19:29.573
Je le crois volontiers, mais je ne suis pas

01:19:30.094 --> 01:19:34.739
arrivé à quelque chose où je me sens libre de le

01:19:34.759 --> 01:19:35.220
faire.

01:19:36.618 --> 01:19:39.162
[Sacha]: En lisant ta configuration, j'ai noté

01:19:39.182 --> 01:19:41.606
que tu utilises EWW.

01:19:42.067 --> 01:19:44.271
Oui, un peu, oui.

01:19:44.531 --> 01:19:46.274
[Richard]: Dès que c'est possible.

01:19:48.598 --> 01:19:51.844
C'est-à-dire pas tout le temps.

01:19:51.864 --> 01:19:54.188
En 2026.

01:19:54.508 --> 01:19:58.715
Oui, ça m'arrive assez souvent, via Elfeed en

01:19:58.735 --> 01:19:59.757
particulier.

01:20:00.428 --> 01:20:02.775
Parce qu'il y a un nombre de blogs

01:20:02.776 --> 01:20:05.752
qui redirigent uniquement

01:20:05.753 --> 01:20:07.373
où on est obligé d'aller sur la page.

01:20:07.374 --> 01:20:10.734
Donc beaucoup d'entrees... En fait, ça suffit pour lire

01:20:10.735 --> 01:20:12.538
et c'est ça me va.

01:20:12.539 --> 01:20:16.400
Et donc j'utilise en premier lieu EWW dans ce cas-là.

01:20:16.401 --> 01:20:21.506
Sinon, c'est... Malheureusement,

01:20:21.507 --> 01:20:22.788
je n'arrive pas à en faire un

01:20:22.808 --> 01:20:25.291
outil majeur au quotidien.

01:20:26.573 --> 01:20:30.698
Les interfaces web que j'utilise ont souvent

01:20:30.718 --> 01:20:34.963
besoin de JavaScript en 2026.

01:20:35.704 --> 01:20:40.670
Malheureusement, je ne vais pas pousser la

01:20:40.730 --> 01:20:41.712
liaison Firefox.

01:20:41.952 --> 01:20:43.874
J'utilise Firefox essentiellement, mais la

01:20:43.894 --> 01:20:46.217
liaison Firefox et Emacs, je ne vais pas pousser

01:20:46.237 --> 01:20:46.838
cet aspect-là.

01:20:47.628 --> 01:20:52.196
[Sacha]: Je donne l'exception SpookFox pour créer

01:20:52.216 --> 01:20:57.485
un lien entre le navigateur Firefox et Emacs.

01:20:57.666 --> 01:20:59.469
[Richard]: Comment tu dis?

01:20:59.749 --> 01:21:01.392
[Sacha]: SpookFox.

01:21:01.412 --> 01:21:06.421
SpookFox me donne le pouvoir d'exécuter le

01:21:06.461 --> 01:21:10.328
JavaScript à partir d'Emacs Lisp.

01:21:12.873 --> 01:21:14.430
pour retrouver des...

01:21:14.431 --> 01:21:16.148
[Richard]: Je vais regarder...

01:21:16.149 --> 01:21:16.970
[Prot]: Oui.

01:21:16.971 --> 01:21:19.328
[Richard]: Tu vas me faire perdre du temps encore.

01:21:19.329 --> 01:21:21.782
[Sacha]: Pardon, pardon.

01:21:21.783 --> 01:21:29.320
[Sacha]: Spookfox. Je peux contrôler le navigateur

01:21:29.321 --> 01:21:33.406
pour passer à une autre page

01:21:33.407 --> 01:21:38.116
ou à retrouver des données ou à toutes

01:21:38.136 --> 01:21:38.958
les choses.

01:21:40.260 --> 01:21:42.624
[Richard]: Je pense que c'est exactement ce qu'il

01:21:42.644 --> 01:21:42.885
me faut.

01:21:42.925 --> 01:21:45.189
Je ne sais pas qui a fait ça, mais merci à cette

01:21:45.209 --> 01:21:45.850
personne.

01:21:50.217 --> 01:21:56.585
[Sacha]: Quand je prépare le bulletin

01:21:56.605 --> 01:22:00.891
d'information Emacs News, je l'utilise pour

01:22:01.091 --> 01:22:04.976
[extraire] les liens sur Reddit.

01:22:04.996 --> 01:22:08.361
Oui, oui, oui.

01:22:09.222 --> 01:22:14.689
Au lieu de copier manuellement les liens moi-même,

01:22:15.361 --> 01:22:28.160
je juste le sélectionne dans une liste de vertico.

01:22:28.161 --> 01:22:30.934
[Richard]: Ça c'est bien, ça.

01:22:30.935 --> 01:22:33.400
C'est un usage que j'ai régulièrement de

01:22:34.000 --> 01:22:36.463
récupérer le lien qui est dans mon navigateur

01:22:37.284 --> 01:22:39.546
pour l'intégrer dans une note ou quelconque.

01:22:39.813 --> 01:22:45.534
Effectivement, ça va être bien ça, je

01:22:45.554 --> 01:22:47.822
pense.

01:22:47.902 --> 01:22:49.829
On apprend tous les jours, c'est là qu'on mesure

01:22:49.849 --> 01:22:52.017
le degré de notre ignorance.

01:22:53.482 --> 01:22:57.247
[Sacha]: C'est la raison que j'ai envie de plus

01:22:57.267 --> 01:23:00.951
de vidéos et de ressources intermédiaires sur

01:23:01.052 --> 01:23:07.400
Emacs parce que tout le monde a des choses qu'on

01:23:07.460 --> 01:23:08.461
peut apprendre.

01:23:12.486 --> 01:23:17.312
Dans Emacs...

01:23:17.292 --> 01:23:21.917
Toutes les vidéos en ce moment sont pour les

01:23:21.957 --> 01:23:28.384
débutants, mais si tu prends juste un peu plus

01:23:28.505 --> 01:23:32.729
d'étapes, tu peux découvrir beaucoup de sujets

01:23:32.890 --> 01:23:34.992
d'apprendre.

01:23:35.793 --> 01:23:37.915
[Richard]: Oui, c'est vrai.

01:23:37.935 --> 01:23:38.936
On apprend tout le temps.

01:23:38.956 --> 01:23:41.359
Mais même quand on est expert, je pense que...

01:23:42.402 --> 01:23:45.206
Même les experts apprennent parce qu'ils sont

01:23:45.226 --> 01:23:46.588
experts dans un sous-domaine.

01:23:46.748 --> 01:23:49.612
Ils ne connaissent pas tout.

01:23:49.912 --> 01:23:52.135
Dans la communauté Emacs, il y a plein de gens

01:23:52.276 --> 01:23:53.978
qui connaissent des choses, qui ont fait des

01:23:54.018 --> 01:23:55.360
choses très particulières.

01:23:56.041 --> 01:23:58.184
Même eux, je pense, peuvent apprendre d'autres

01:23:58.244 --> 01:24:03.651
qui ont fait d'autres parties plus particulières.

01:24:05.994 --> 01:24:07.616
[Prot]: Mais ça doit être un peu plus difficile

01:24:07.657 --> 01:24:10.941
de faire les vidéos sur ce sujet-là.

01:24:11.157 --> 01:24:14.880
Parce que... Qu'est-ce que tu vas dire ?

01:24:15.221 --> 01:24:17.523
Les préférences sont particulières.

01:24:18.944 --> 01:24:21.847
Peut-être c'est plus difficile de dire, oh voilà,

01:24:21.987 --> 01:24:24.129
voici quelque chose pour tout le monde.

01:24:25.230 --> 01:24:30.135
Tu vas dire, voici quelque chose pour moi.

01:24:30.155 --> 01:24:31.957
[Richard]: Ça marche.

01:24:31.977 --> 01:24:36.120
Ça peut servir de point... En fait, ça a une

01:24:36.221 --> 01:24:36.881
autre utilité.

01:24:36.981 --> 01:24:38.903
Déjà, se rendre compte que c'est possible.

01:24:39.271 --> 01:24:42.516
Parce que parfois, on se dit juste, on n'a pas eu

01:24:42.536 --> 01:24:43.778
l'idée.

01:24:43.798 --> 01:24:45.721
Ah, mais on peut faire ça.

01:24:46.161 --> 01:24:47.583
Et comment on le fait?

01:24:47.603 --> 01:24:49.286
Il a utilisé ça, ça et ça dans les mains.

01:24:49.386 --> 01:24:53.051
Ah, mais je ne savais pas que c'était comme ça

01:24:53.071 --> 01:24:54.574
qu'on pouvait faire.

01:24:54.594 --> 01:24:56.697
Et donc, à partir de ça, on désassemble un peu

01:24:56.717 --> 01:24:58.980
les briques et on les réassemble pour nous

01:24:59.341 --> 01:25:02.145
différemment.

01:25:04.168 --> 01:25:06.932
C'est d'autres utilités, je pense.

01:25:09.410 --> 01:25:11.613
[Prot]: Mais peut-être il y a les séances en

01:25:11.653 --> 01:25:17.300
direct qui ont comme ça.

01:25:17.861 --> 01:25:20.143
Je ne sais pas, oui.

01:25:20.163 --> 01:25:21.445
Je n'ai pas cherché.

01:25:23.087 --> 01:25:31.297
[Richard]: Moi non plus.

01:25:31.397 --> 01:25:38.286
[Sacha]: Je suis étonnée que cette conversation marche,

01:25:38.992 --> 01:25:47.092
même si je suis débutante, même si Prot est un peu rouillé.

01:25:47.093 --> 01:25:50.027
[Richard]: Bon non, tu es pas... Alors, pour avoir une

01:25:50.247 --> 01:25:55.194
conversation d'une heure comme ça, tu n'es plus

01:25:55.234 --> 01:25:58.198
débutante.

01:25:59.056 --> 01:26:04.003
Non, il n'y a aucun souci à te

01:26:04.023 --> 01:26:06.106
comprendre en français.

01:26:06.587 --> 01:26:07.908
J'ai l'impression que tu n'as pas eu beaucoup de

01:26:07.928 --> 01:26:09.130
soucis de compréhension.

01:26:09.751 --> 01:26:14.938
C'est très facile de te suivre.

01:26:16.480 --> 01:26:18.563
Moi, j'ai appris une autre langue un peu comme

01:26:18.583 --> 01:26:18.904
toi.

01:26:20.927 --> 01:26:24.532
Dans mon passé, je suis allé au Brésil.

01:26:24.552 --> 01:26:26.915
J'ai habité deux ans là-bas et je ne parlais pas

01:26:26.955 --> 01:26:27.696
portugais.

01:26:29.515 --> 01:26:32.198
Et j'étais prof de l'université.

01:26:34.280 --> 01:26:36.622
Donc, j'ai appris comme ça, en donnant des cours.

01:26:38.424 --> 01:26:40.767
Alors, un peu en apprenant des cours, bien sûr,

01:26:40.787 --> 01:26:41.227
de base.

01:26:41.608 --> 01:26:45.312
Mais après, toute l'oralité, la façon de parler,

01:26:45.372 --> 01:26:48.074
la facilité de parler et le vocabulaire, c'est en

01:26:48.094 --> 01:26:49.916
travaillant sur les cours.

01:26:49.976 --> 01:26:53.380
En parlant, comme tu es en train de le faire, là.

01:26:54.119 --> 01:26:56.623
Et maintenant, les gens ne savent pas si...

01:26:56.643 --> 01:26:58.445
Beaucoup de gens ont des doutes jusqu'à un

01:26:58.465 --> 01:26:59.627
certain point.

01:26:59.647 --> 01:27:01.770
Ils arrivent à voir que je ne suis pas brésilien.

01:27:02.491 --> 01:27:05.035
Mais ça marche.

01:27:05.095 --> 01:27:07.198
Non, mais ton français est très bon.

01:27:07.218 --> 01:27:08.220
Il n'y a aucun souci.

01:27:08.240 --> 01:27:10.864
[Sacha]: Tu disais que tu avais peut-être un peu

01:27:10.884 --> 01:27:15.771
peur sur ce... Peut-être qu'un jour, nous

01:27:15.791 --> 01:27:23.502
pourrons avoir des Emacs en portugais.

01:27:24.224 --> 01:27:27.128
Je ne sais pas.

01:27:27.789 --> 01:27:29.191
Je ne parle pas portugais.

01:27:30.032 --> 01:27:33.136
[Prot]: L'année prochaine.

01:27:33.156 --> 01:27:34.178
[Richard]: En grec, d'abord.

01:27:35.199 --> 01:27:37.823
[Prot]: Le final boss.

01:27:45.754 --> 01:27:48.618
[Sacha]: Mais je pense qu'avec l'aide de l'IA,

01:27:48.918 --> 01:27:51.882
c'est plus facile d'apprendre la langue à ce

01:27:51.902 --> 01:27:52.543
moment.

01:27:53.857 --> 01:27:57.117
[Richard]: C'est vrai que c'est un usage tout à

01:27:57.137 --> 01:28:00.981
fait pertinent aussi, de ces outils.

01:28:01.568 --> 01:28:03.631
Je t'avoue, par exemple, l'usage de l'interview

01:28:03.671 --> 01:28:05.694
dont je t'avais parlé, je n'y avais pas pensé.

01:28:06.295 --> 01:28:12.223
Mais en fait, c'est très pertinent de l'utiliser

01:28:12.263 --> 01:28:16.309
comme adversaire d'une certaine façon.

01:28:16.730 --> 01:28:19.053
Dans un jeu, il y a beaucoup d'ingénieurs aussi

01:28:20.375 --> 01:28:23.419
qui créent leur logiciel maintenant, un peu aussi

01:28:23.440 --> 01:28:26.344
pour maîtriser ce qu'ils font de façon

01:28:27.405 --> 01:28:29.348
conversationnelle avec l'IA.

01:28:29.328 --> 01:28:31.894
Donc en remettant, en disant, en lui faisant

01:28:31.914 --> 01:28:34.880
poser des questions, en créant bric à bric, au

01:28:34.901 --> 01:28:37.607
lieu de lui dire fais ça, d'aller prendre un

01:28:37.647 --> 01:28:42.758
café, c'est bien aussi, parfois, mais ils le font

01:28:42.778 --> 01:28:46.406
pas à pas, comme un outil pour délimiter, parce

01:28:46.426 --> 01:28:47.168
que c'est vrai que

01:28:48.616 --> 01:28:52.280
Parfois, les solutions sont intéressantes,

01:28:52.300 --> 01:28:53.562
dirons-nous.

01:28:53.582 --> 01:28:56.085
Ça peut être assez intéressant.

01:28:56.105 --> 01:28:57.727
J'ai déjà eu le cas, mais beaucoup d'autres,

01:28:57.747 --> 01:29:01.892
c'est quand on lui dit « fais passer tel test »,

01:29:02.232 --> 01:29:04.174
tu enlèves tout le code du test et puis on met

01:29:04.194 --> 01:29:05.796
juste « assert true ».

01:29:05.816 --> 01:29:07.899
Voilà, très bien.

01:29:07.919 --> 01:29:10.642
Ça passe.

01:29:10.662 --> 01:29:13.766
[Sacha]: J'ai envie d'interface vocale et

01:29:13.846 --> 01:29:15.388
conversationnelle avec Emacs.

01:29:15.728 --> 01:29:17.290
Je pense que c'est très puissant.

01:29:19.227 --> 01:29:21.069
[Richard]: Alors, j'y ai pensé, mais je ne suis

01:29:21.089 --> 01:29:22.451
pas là.

01:29:22.471 --> 01:29:24.593
Mais effectivement, j'ai des collègues qui

01:29:24.613 --> 01:29:27.016
utilisent l'IA et qui lui parlent directement

01:29:27.036 --> 01:29:29.879
pour être encore plus efficace.

01:29:29.899 --> 01:29:31.661
Mais est-ce que c'est... Je me pose à chaque fois

01:29:31.681 --> 01:29:34.284
la question si c'est... Est-ce que c'est vraiment

01:29:34.304 --> 01:29:40.692
le but de ce qu'on veut faire personnellement,

01:29:40.772 --> 01:29:43.255
comme être humain, quoi ?

01:29:43.275 --> 01:29:46.579
Est-ce que c'est vraiment ça, être le plus

01:29:46.599 --> 01:29:47.800
efficace possible ?

01:29:50.969 --> 01:29:54.658
Là, par exemple, on n'est pas efficace, mais

01:29:54.678 --> 01:29:58.507
c'est très bien.

01:29:58.527 --> 01:30:03.358
Mais ça a quand même quelque chose de pertinent.

01:30:06.140 --> 01:30:09.847
[Sacha]: Et il y a des commentaires au chat.

01:30:11.631 --> 01:30:13.956
J'ai totalement oublié de lire à voix haute.

01:30:15.659 --> 01:30:21.210
Une conversation sur la gestion des fenêtres, sur

01:30:21.230 --> 01:30:24.697
l'apprentissage de langue avec les algorithmes de

01:30:24.717 --> 01:30:27.523
répétition espacée.

01:30:28.128 --> 01:30:35.479
Et aussi les amis qui utilisent Helix [plutôt] que Emacs

01:30:35.480 --> 01:30:41.589
ou aussi Zed parce qu'il est plus [à la] mode.

01:30:43.372 --> 01:30:50.203
[Richard]: Surtout si on aime Rust.

01:30:51.314 --> 01:30:56.300
J'ai essayé, mais c'est un peu comme tous les

01:30:56.320 --> 01:30:56.781
outils.

01:30:57.482 --> 01:30:59.965
J'ai peut-être pas assez de patience.

01:30:59.985 --> 01:31:01.968
J'ai passé déjà mon temps d'apprentissage dans

01:31:01.988 --> 01:31:09.337
Emacs et j'avoue être un peu réticent, comme on

01:31:09.357 --> 01:31:09.798
dit.

01:31:09.818 --> 01:31:14.143
[Sacha]: Oui, tu as beaucoup d'habitude d'Emacs

01:31:14.864 --> 01:31:18.469
et c'est difficile de passer à d'autres éditeurs.

01:31:19.563 --> 01:31:22.650
[Richard]: Oui, et puis surtout, comme on disait

01:31:22.670 --> 01:31:24.495
tout à l'heure, maintenant, il y a des couches

01:31:24.695 --> 01:31:25.557
d'abstraction.

01:31:25.938 --> 01:31:30.348
Il y a LSP, TreeSitter, qui en fait rendent le

01:31:30.369 --> 01:31:32.273
choix de l'éditeur un peu...

01:31:33.535 --> 01:31:35.498
Plus proche d'un choix tout à fait personnel.

01:31:37.060 --> 01:31:38.743
Et pas de capacité en fait.

01:31:39.624 --> 01:31:41.367
Les capacités sont les mêmes, elles sont

01:31:41.487 --> 01:31:44.651
produites par l'adaptateur LSP ou l'adaptateur

01:31:44.992 --> 01:31:45.793
tree-sitter.

01:31:46.574 --> 01:31:50.059
Du coup, il n'y a plus de frein à utiliser celui

01:31:50.079 --> 01:31:51.061
qui nous plaît le plus.

01:31:52.503 --> 01:31:54.726
Parce qu'on a des habitudes pour tout un tas de

01:31:54.746 --> 01:31:55.948
mauvaises raisons.

01:31:57.565 --> 01:32:04.637
Effectivement, comme j'utilise plein d'autres

01:32:04.657 --> 01:32:06.761
choses dans Emacs, pas juste la capacité

01:32:06.801 --> 01:32:11.289
d'éditeur de programmation parce que c'est ça

01:32:11.489 --> 01:32:14.234
qu'on a moins en fait dans Visual Code ou même

01:32:14.254 --> 01:32:17.259
peut-être dans Z, que je ne connais pas très bien.

01:32:17.279 --> 01:32:21.807
C'est le fait que ça soit plus qu'un éditeur en

01:32:21.847 --> 01:32:22.408
réalité.

01:32:23.789 --> 01:32:25.452
C'est ce qu'il y a de plus que ça.

01:32:25.472 --> 01:32:26.996
Ça fait l'éditeur de code.

01:32:27.497 --> 01:32:30.222
Oui, mais tellement plus.

01:32:30.703 --> 01:32:34.972
C'est vraiment proche d'un OS d'une certaine

01:32:34.992 --> 01:32:35.513
façon.

01:32:36.074 --> 01:32:36.876
Beaucoup de choses.

01:32:37.337 --> 01:32:40.604
C'est une couche d'abstraction lispienne

01:32:40.624 --> 01:32:42.608
au-dessus d'un OS avec un...

01:32:43.111 --> 01:32:45.856
Un tiling window manager pas terrible.

01:32:50.583 --> 01:32:51.505
Et voilà.

01:32:51.525 --> 01:32:52.767
Et l'édition quoi.

01:32:52.787 --> 01:32:55.732
Mais l'édition, en fait c'est l'édition de texte.

01:32:55.752 --> 01:32:56.333
Donc ça marche.

01:32:56.794 --> 01:32:59.038
Pour écrire des papiers, c'est super, c'est très

01:32:59.058 --> 01:33:00.340
bien aussi.

01:33:01.702 --> 01:33:03.585
C'est comme ça que j'ai beaucoup utilisé pendant

01:33:03.625 --> 01:33:04.927
très longtemps pour écrire mes papiers

01:33:04.967 --> 01:33:05.929
scientifiques.

01:33:06.415 --> 01:33:11.341
Comme en informatique, on utilise LaTeX.

01:33:11.942 --> 01:33:14.565
Pareil, c'est souvent Emacs ou un autre éditeur,

01:33:14.585 --> 01:33:16.448
peu importe finalement.

01:33:16.468 --> 01:33:19.191
Parce que derrière, on a une espèce de makefile

01:33:19.712 --> 01:33:20.272
ou un truc.

01:33:20.292 --> 01:33:25.158
Je suis assez vieux pour utiliser des makefiles,

01:33:25.178 --> 01:33:28.002
moi.

01:33:27.982 --> 01:33:33.172
Tout s'emboîte assez bien dans Emacs.

01:33:34.595 --> 01:33:36.599
Il est né en même temps que beaucoup d'outils

01:33:36.639 --> 01:33:39.806
donc finalement il arrive à interagir très bien

01:33:39.846 --> 01:33:40.507
avec ces outils.

01:33:40.968 --> 01:33:44.535
C'est surtout ça que je pense qu'il importe,

01:33:44.635 --> 01:33:45.718
qu'il est bien.

01:33:45.978 --> 01:33:47.702
Mais probablement les autres éditeurs y arrivent

01:33:47.722 --> 01:33:48.403
très bien aussi.

01:33:49.345 --> 01:33:52.270
Mais on n'a tous que 24 heures dans la journée.

01:33:52.330 --> 01:33:55.716
On choisit de perdre son temps sur la note

01:33:55.776 --> 01:33:58.620
hebdomadaire de Sacha et du coup on ne peut pas

01:33:58.640 --> 01:33:59.782
aller faire du visual code.

01:34:03.529 --> 01:34:03.909
Voilà.

01:34:05.873 --> 01:34:06.774
[Sacha]: Donc c'est ma faute.

01:34:09.559 --> 01:34:10.961
[Richard]: C'est ça.

01:34:10.981 --> 01:34:12.564
Non mais ça serait autre chose, tu sais, la

01:34:12.604 --> 01:34:13.986
procrastination avec...

01:34:14.945 --> 01:34:16.311
Elle est illimitée.

01:34:16.331 --> 01:34:17.939
Quand il y a des choses qu'on n'a pas envie de

01:34:17.999 --> 01:34:21.234
faire, on trouve toujours quelque chose de plus

01:34:21.254 --> 01:34:24.448
important à faire.

01:34:30.503 --> 01:34:35.872
[Sacha]: Je ne sais pas comment je peux créer une

01:34:35.912 --> 01:34:38.517
traduction de notre conversation.

01:34:38.537 --> 01:34:44.588
Je pense que j'ai du mal à la corriger parce que

01:34:45.950 --> 01:34:47.513
c'est difficile en français.

01:34:48.595 --> 01:34:49.356
Mais j'essaie.

01:34:52.642 --> 01:34:54.064
Oui, oui, oui, oui.

01:34:56.727 --> 01:35:01.151
J'adore utiliser WhisperX pour transcrire mes

01:35:01.171 --> 01:35:06.116
autres conversations en français parce que même

01:35:06.136 --> 01:35:16.225
si elle demande beaucoup de corrections, c'est

01:35:16.245 --> 01:35:18.848
plus utile parce que je ne sais pas les mots, je

01:35:18.868 --> 01:35:23.352
ne sais pas... Ah!

01:35:23.372 --> 01:35:24.473
Il y a un...

01:35:24.723 --> 01:35:28.027
Un petit remarque.

01:35:28.407 --> 01:35:31.550
« Est-ce que vous êtes averti qu'on peut utiliser

01:35:31.671 --> 01:35:32.872
Emacs, Vim, etc.

01:35:32.952 --> 01:35:36.115
avec Termux dans votre poche avec le smartphone

01:35:36.556 --> 01:35:39.639
et synchroniser votre travail avec SyncThing? »

01:35:39.659 --> 01:35:42.963
J'utilise Orgzly Revived avec SyncThing.

01:35:43.003 --> 01:35:45.025
Tu utilises Emacs sur ton téléphone?

01:35:46.106 --> 01:35:47.828
[Richard]: Je déteste utiliser mon téléphone.

01:35:50.052 --> 01:35:53.396
On ne voit rien.

01:35:53.897 --> 01:35:54.878
C'est désagréable.

01:35:54.938 --> 01:35:56.801
On n'a pas de clavier.

01:35:57.141 --> 01:35:59.063
C'est horrible.

01:35:59.284 --> 01:36:02.127
Je n'aime pas utiliser mon téléphone.

01:36:02.147 --> 01:36:05.091
Je ne suis pas une personne.

01:36:05.111 --> 01:36:06.513
Je suis trop vieux, peut-être.

01:36:06.533 --> 01:36:07.955
Mais non, c'est trop petit.

01:36:07.975 --> 01:36:10.898
On ne voit pas assez de contexte.

01:36:10.918 --> 01:36:11.359
Je ne sais pas.

01:36:11.379 --> 01:36:13.442
Ça ne me convient pas, personnellement.

01:36:13.462 --> 01:36:14.042
J'essaie.

01:36:14.062 --> 01:36:16.525
Je fais Orgzly et Syncthing.

01:36:16.566 --> 01:36:17.747
Mais en réalité...

01:36:18.740 --> 01:36:20.423
Ce qui me convient mieux, c'est de prendre des

01:36:20.483 --> 01:36:22.205
notes à la main quelque part et d'aller les

01:36:22.245 --> 01:36:23.046
rentrer après.

01:36:25.470 --> 01:36:28.074
Et en plus, je crois que ça me détend un peu plus

01:36:28.094 --> 01:36:29.877
de prendre la note à la main.

01:36:29.897 --> 01:36:31.339
Je la retiens mieux.

01:36:31.900 --> 01:36:33.862
Des fois, je n'ai même pas besoin de passer par

01:36:33.883 --> 01:36:35.485
l'étape intermédiaire de la rentrée.

01:36:35.505 --> 01:36:37.488
Je trouve que je les oublie beaucoup plus

01:36:37.508 --> 01:36:41.133
facilement si je les note sur le téléphone ou sur

01:36:41.153 --> 01:36:45.420
un device de façon électronique.

01:36:45.440 --> 01:36:47.683
Si je les note à la main, du coup,

01:36:48.541 --> 01:36:53.511
Il y a quelqu'un qui est un peu connu, qui est

01:36:53.531 --> 01:36:55.475
dans la réflexion de comment on travaille, qui

01:36:55.615 --> 01:36:56.639
s'appelle Cal Newport.

01:36:57.018 --> 01:37:00.926
Lui, il fait beaucoup de notes à la main quand

01:37:00.946 --> 01:37:03.631
même dans son travail, mais il est chercheur,

01:37:03.651 --> 01:37:04.693
c'est pareil.

01:37:05.720 --> 01:37:09.064
C'est un peu une apologie aussi de la lenteur

01:37:09.084 --> 01:37:13.048
d'une certaine façon pour réfléchir à ce qu'on

01:37:13.369 --> 01:37:15.651
fait.

01:37:16.012 --> 01:37:19.095
J'ai mis en place Syncthing et mon Android

01:37:19.115 --> 01:37:21.018
n'arrête pas de le tuer parce qu'il ne fait rien.

01:37:22.219 --> 01:37:24.802
On va lui dire que ça fait je ne sais pas combien

01:37:24.922 --> 01:37:28.386
de temps que vous ne l'avez pas utilisé donc je

01:37:28.406 --> 01:37:30.368
vais arrêter cette permission et cette autre

01:37:30.388 --> 01:37:31.930
permission.

01:37:31.910 --> 01:37:39.508
Je suis au courant de tout ça.

01:37:39.769 --> 01:37:41.753
Je vais plutôt passer du temps à faire ma config

01:37:41.773 --> 01:37:43.337
Emacs.

01:37:45.055 --> 01:37:48.220
On va faire des interfaces pour gérer les

01:37:48.261 --> 01:37:51.426
finances dans Emacs.

01:37:52.748 --> 01:37:58.699
Et puis d'autres outils qui existent.

01:37:58.719 --> 01:38:02.165
Et puis on agrège tout ça avec un makefile ou un

01:38:02.185 --> 01:38:03.066
just file.

01:38:03.968 --> 01:38:07.654
Et on obtient des interfaces assez sympas.

01:38:08.545 --> 01:38:13.656
Et ça suffit pour une personne en fait.

01:38:14.939 --> 01:38:16.161
On n'a pas tant d'opérations.

01:38:16.502 --> 01:38:18.666
Quand on réfléchit, on n'a pas tant d'opérations

01:38:18.747 --> 01:38:19.669
que ça, le texte.

01:38:19.949 --> 01:38:23.056
Je pense que c'est un peu le constat de Prot sur

01:38:23.096 --> 01:38:25.200
Denote par rapport à l'utilisation d'une base de

01:38:25.240 --> 01:38:26.503
données, c'est que...

01:38:26.483 --> 01:38:29.686
On produit pas tant d'informations que ça en fait.

01:38:29.806 --> 01:38:32.409
Pour qu'on ait besoin d'avoir des bases de

01:38:32.449 --> 01:38:35.773
données en plus au-dessus du file system et que

01:38:35.833 --> 01:38:37.394
les outils qui se cherchent directement dans le

01:38:37.414 --> 01:38:40.738
texte nous amènent en fait très très loin par

01:38:40.758 --> 01:38:44.101
rapport à la qualité et le contenu d'informations

01:38:44.121 --> 01:38:44.802
qu'on produit.

01:38:45.923 --> 01:38:49.827
Donc le téléphone, si je pouvais m'en passer.

01:38:50.428 --> 01:38:52.330
Si je pouvais me passer du smartphone, je le

01:38:52.350 --> 01:38:52.710
ferais.

01:38:53.753 --> 01:38:56.578
Mais il y a beaucoup de banques qui ne veulent

01:38:56.598 --> 01:38:58.862
pas qu'on se passe d'un smartphone et beaucoup

01:38:58.882 --> 01:39:01.766
d'autres intermédiaires qui veulent vraiment

01:39:01.786 --> 01:39:05.072
qu'on ait leur application sur notre téléphone.

01:39:06.494 --> 01:39:08.117
Mais si je pouvais avoir que le téléphone,

01:39:08.197 --> 01:39:13.486
franchement, je pense que je le ferais maintenant.

01:39:13.506 --> 01:39:14.167
Chapeau !

01:39:14.187 --> 01:39:17.152
Je suis à ce point-là.

01:39:17.232 --> 01:39:19.035
Je suis comme tout le monde, je perds du temps

01:39:19.055 --> 01:39:19.997
sur mon téléphone.

01:39:20.838 --> 01:39:25.912
Je me rends compte qu'il va toujours vouloir

01:39:25.933 --> 01:39:26.899
écouter des trucs.

01:39:28.043 --> 01:39:29.605
A raté d'autres choses du coup.

01:39:30.126 --> 01:39:32.369
A raté ce que je suis en train de faire.

01:39:33.030 --> 01:39:36.174
A raté ce que me dit ma famille.

01:39:36.935 --> 01:39:41.421
Peut-être qu'il y a une petite remise en question

01:39:41.441 --> 01:39:45.907
personnelle sur moi, sur le multitasking, sur la

01:39:45.987 --> 01:39:47.049
multitâche.

01:39:47.069 --> 01:39:51.655
Je pense que je vois un peu tout ça.

01:39:53.153 --> 01:39:55.217
Moi, je trouve ça chouette quand même au niveau

01:39:55.237 --> 01:39:56.961
technique de se dire on peut le faire et c'est

01:39:57.001 --> 01:39:57.622
possible.

01:39:59.386 --> 01:40:02.151
Mais je pense que j'ai un peu passé cette

01:40:02.171 --> 01:40:05.979
étape-là où je me dis je vais franchir pour dire

01:40:05.999 --> 01:40:08.625
je vais le mettre en place sur mon téléphone et

01:40:08.645 --> 01:40:10.569
je vais prendre le temps de le faire.

01:40:10.589 --> 01:40:14.757
Je pense que je ne ferai plus ça.

01:40:15.395 --> 01:40:18.961
[Sacha]: Tu peux consacrer ton temps sur ton

01:40:19.021 --> 01:40:22.987
ordinateur pour le travail et après ça, c'est

01:40:23.007 --> 01:40:24.108
fini.

01:40:24.128 --> 01:40:24.910
[Richard]: Oui, mais pas que.

01:40:24.950 --> 01:40:26.372
Enfin, même pour d'autres choses.

01:40:26.392 --> 01:40:27.474
Il n'y a pas que du travail.

01:40:27.494 --> 01:40:30.458
Mais effectivement, je préfère utiliser

01:40:30.478 --> 01:40:35.606
l'ordinateur comme interface numérique.

01:40:35.626 --> 01:40:37.669
C'est trop limité le téléphone pour moi.

01:40:37.770 --> 01:40:40.313
Et encore une fois, c'est un environnement qui

01:40:41.135 --> 01:40:42.617
est de plus en plus contraint.

01:40:43.002 --> 01:40:47.279
Si on veut pas...

01:40:47.280 --> 01:40:53.073
C'est pas si simple d'utiliser Lineage OS parce

01:40:53.093 --> 01:40:55.255
qu'il y a des applications qui vont peut-être

01:40:55.375 --> 01:40:55.716
plus fonctionner.

01:40:56.977 --> 01:40:58.379
Notamment les banques, par exemple, il y en a

01:40:58.399 --> 01:41:00.000
peut-être qui vont plus fonctionner parce qu'on

01:41:00.020 --> 01:41:01.262
n'a pas le bon OS.

01:41:02.683 --> 01:41:05.406
C'est un peu le même truc dont on parlait.

01:41:05.626 --> 01:41:08.509
Je me sens contraint sur le téléphone et c'est le

01:41:08.530 --> 01:41:09.010
but.

01:41:09.732 --> 01:41:15.161
Un certain nombre d'entités de récupérer, à

01:41:15.181 --> 01:41:16.444
travers cette contrainte, des données.

01:41:20.591 --> 01:41:25.279
Il est là, mon téléphone, il n'est pas loin.

01:41:26.922 --> 01:41:29.786
Tu sais la justification facile pour cette

01:41:29.847 --> 01:41:31.509
chose-là, c'est « mais si jamais on m'appelle

01:41:31.529 --> 01:41:33.433
pour ma fille ?

01:41:33.453 --> 01:41:34.795
[Prot]: » Oui, oui, oui.

01:41:35.213 --> 01:41:38.918
[Richard]: Moi, je suis né à une époque, on est

01:41:38.938 --> 01:41:41.222
assez vieux pour se souvenir qu'à une époque, on

01:41:41.242 --> 01:41:42.604
n'avait pas de téléphone portable.

01:41:44.606 --> 01:41:47.230
Et on arrivait quand même à appeler les gens.

01:41:51.276 --> 01:41:53.699
J'en déduis rien de particulier, mais je pense

01:41:53.719 --> 01:41:57.965
qu'on est capable de s'organiser raisonnablement

01:41:58.406 --> 01:42:00.870
ou de limiter nos usages, parce que ce n'est pas

01:42:00.930 --> 01:42:03.313
inutile, je ne dirais pas jusque-là.

01:42:05.150 --> 01:42:06.872
Je pense qu'on l'utilise trop.

01:42:06.892 --> 01:42:07.713
Moi, je l'utilise trop.

01:42:09.155 --> 01:42:10.156
Résumons ça.

01:42:10.197 --> 01:42:16.605
Moi, je l'utilise trop et ça me fatigue.

01:42:16.625 --> 01:42:18.968
[Sacha]: Quelle est-ce ta fille ?

01:42:18.988 --> 01:42:21.471
[Richard]: Elle a 6 ans.

01:42:21.491 --> 01:42:23.093
[Sacha]: Ah !

01:42:23.934 --> 01:42:25.597
Très petite.

01:42:25.617 --> 01:42:26.317
Elle est jeune.

01:42:27.219 --> 01:42:28.741
[Richard]: Elle est jeune, mais c'est quand même

01:42:28.781 --> 01:42:31.584
déjà très différent.

01:42:31.604 --> 01:42:34.448
Et on a passé les étapes les plus

01:42:35.693 --> 01:42:37.416
J'ai envie de me dire qu'on a passé les étapes

01:42:37.436 --> 01:42:40.641
les plus compliquées de la gestion par rapport à

01:42:40.662 --> 01:42:43.987
l'organisation de la journée.

01:42:44.067 --> 01:42:45.951
Et la façon d'interagir, parce que là,

01:42:45.971 --> 01:42:49.116
maintenant, elle est à un stade où la discussion

01:42:49.176 --> 01:42:50.238
est totalement possible.

01:42:51.220 --> 01:42:57.190
Avant, c'était moins facile quand ils sont tout

01:42:57.210 --> 01:43:00.756
petits.

01:43:01.124 --> 01:43:05.369
En fait, j'ai deux filles.

01:43:05.389 --> 01:43:07.071
J'en ai une qui habite avec moi maintenant et

01:43:07.111 --> 01:43:08.854
l'autre qui est très grande, qui a habité avec sa

01:43:08.874 --> 01:43:11.317
maman, qui a 18 ans.

01:43:11.657 --> 01:43:24.053
Elle fait sa vie, elle est indépendante à 18 ans.

01:43:24.073 --> 01:43:30.000
Il n'y a plus besoin au quotidien de choses.

01:43:34.064 --> 01:43:38.963
[Sacha]: Donc, quand ta fille demande ton

01:43:39.043 --> 01:43:45.407
attention, tu dois payer toute l'attention.

01:43:45.910 --> 01:43:49.293
[Richard]: Oui, et parfois elle nous fait

01:43:49.313 --> 01:43:51.215
remarquer qu'on est sur le téléphone.

01:43:52.376 --> 01:43:56.040
Et en général, ça nous suffit, dis-nous parce que

01:43:56.060 --> 01:43:59.203
c'est valable pour moi et mon épouse, mais ça

01:43:59.243 --> 01:44:00.384
nous suffit pour le poser.

01:44:01.065 --> 01:44:03.087
En fait, on a un endroit où on le laisse charger

01:44:03.207 --> 01:44:06.150
qui est un peu éloigné de quelque part dans notre

01:44:06.190 --> 01:44:06.570
salon.

01:44:07.772 --> 01:44:09.754
On a un endroit pour les charger et ce n'est pas

01:44:09.774 --> 01:44:13.217
dans la chambre, c'est un peu loin.

01:44:13.197 --> 01:44:14.900
Du coup, ils sont souvent là, quand même.

01:44:15.341 --> 01:44:17.886
Souvent là, et puis retournés, comme ça, ils

01:44:17.906 --> 01:44:18.246
sonnent pas.

01:44:19.128 --> 01:44:20.791
Moi, mon téléphone, il sonne jamais, de toute

01:44:20.811 --> 01:44:21.112
façon.

01:44:21.132 --> 01:44:23.216
Il est en vibreur, déjà, c'est pour te dire à

01:44:23.236 --> 01:44:24.358
quel point j'aime cet outil.

01:44:26.502 --> 01:44:28.505
Il est en vibreur, donc il sonne pas.

01:44:28.966 --> 01:44:33.495
J'aime pas les gadgets qui réclament mon

01:44:33.515 --> 01:44:34.176
attention.

01:44:34.544 --> 01:44:38.049
Les pop-ups, les machins, ça me stresse.

01:44:39.250 --> 01:44:42.234
Même quand je suis dans une gare à Paris, par

01:44:42.255 --> 01:44:45.118
exemple, je le sais, il y a des vidéos qui

01:44:45.138 --> 01:44:46.640
tournent, ça m'agresse.

01:44:47.181 --> 01:44:50.326
Tout ça, toutes les notifications, les choses,

01:44:50.526 --> 01:44:51.767
tout ça.

01:44:51.788 --> 01:44:53.149
C'est pour ça que j'aime bien Emacs, parce qu'on

01:44:53.169 --> 01:44:56.914
peut en avoir si on veut, mais par défaut, on n'a

01:44:56.975 --> 01:44:57.475
rien.

01:44:58.677 --> 01:45:01.140
En fait, ce qui est bien avec Emacs, c'est que

01:45:01.160 --> 01:45:02.442
par défaut, il n'y a rien.

01:45:03.907 --> 01:45:11.301
[Sacha]: À l'exception de Visible Bell, qui peut

01:45:11.361 --> 01:45:16.330
configurer à Visible Bell ou à d'autres options.

01:45:16.431 --> 01:45:19.156
[Richard]: Et pour avoir quelque chose, il faut

01:45:19.176 --> 01:45:23.063
travailler et faire ses choix.

01:45:23.043 --> 01:45:28.750
Lire, suivre des gens, c'est [??]. Ça c'est chouette.

01:45:28.751 --> 01:45:32.346
Moi, ça me va bien et j'aime bien le fait

01:45:32.347 --> 01:45:34.287
qu'il y a ait rien que on pousse pas

01:45:34.288 --> 01:45:34.426
à la perception ou à la prise d'attention.

01:45:34.427 --> 01:45:34.516
C'est hyper néfaste en fait.

01:45:39.041 --> 01:45:44.807
On le sait sur l'attention, sur la production

01:45:44.827 --> 01:45:45.328
intellectuelle.

01:45:47.270 --> 01:45:50.113
Mais Emacs a cette qualité-là où...

01:45:52.338 --> 01:45:54.989
C'est un outil de travail, vraiment pour du

01:45:55.029 --> 01:45:55.531
travail.

01:45:57.198 --> 01:46:00.069
C'est-à-dire un travail profond où on réfléchit à

01:46:00.089 --> 01:46:02.820
ce qu'on fait, c'est difficile, ça prend du temps.

01:46:03.610 --> 01:46:08.076
Et c'est même pas tant la rapidité de taper au

01:46:08.096 --> 01:46:09.918
clavier qui est importante parce que ce qui prend

01:46:09.939 --> 01:46:11.160
du temps, c'est avoir la bonne idée.

01:46:11.801 --> 01:46:13.864
Donc après, on peut taper vite ou lentement.

01:46:13.884 --> 01:46:15.626
Finalement, c'est presque insignifiant par

01:46:15.646 --> 01:46:17.929
rapport à la durée de réflexion et de la

01:46:17.989 --> 01:46:19.231
production de la chose.

01:46:20.232 --> 01:46:22.796
Donc, je pense que c'est le genre d'environnement

01:46:22.816 --> 01:46:26.461
un peu zen que j'aime bien, moi.

01:46:26.481 --> 01:46:28.183
[Sacha]: Emacs, l'éditeur zen !

01:46:28.670 --> 01:46:31.274
[Richard]: Non, mais c'est vrai.

01:46:31.654 --> 01:46:38.203
Puis l'image du gnu avec la flûte, franchement.

01:46:39.145 --> 01:46:41.468
Même Vi est comme ça.

01:46:41.728 --> 01:46:46.155
C'est des outils, c'est des choses, des outils.

01:46:46.175 --> 01:46:48.598
Il n'y a pas de superflu.

01:46:51.923 --> 01:46:53.886
On rajoute ce qu'on veut par-dessus et ça peut

01:46:53.906 --> 01:46:54.947
devenir un monstre.

01:46:57.661 --> 01:47:03.247
ou un truc très très limité.

01:47:03.607 --> 01:47:05.569
Moi j'aime bien ces outils qu'on peut configurer

01:47:05.589 --> 01:47:09.673
en fonction du temps et du travail qu'on y

01:47:09.693 --> 01:47:10.094
accorde.

01:47:12.736 --> 01:47:15.159
Et puis j'aime bien Lisp honnêtement.

01:47:15.179 --> 01:47:18.962
C'est pas OCaml mais c'est pas loin quoi.

01:47:19.002 --> 01:47:22.066
C'est dans mon top 4 avec Haskell.

01:47:22.406 --> 01:47:26.470
Ah ça serait Rust maintenant.

01:47:26.635 --> 01:47:27.896
[Prot]: Ah, très bien.

01:47:27.916 --> 01:47:28.337
[Richard]: J'aime bien.

01:47:28.577 --> 01:47:31.961
Rust, c'est comme langage de programmation, j'aime

01:47:32.601 --> 01:47:32.702
bien.

01:47:32.722 --> 01:47:33.202
J'en fais.

01:47:34.484 --> 01:47:37.607
J'avoue que c'est... Ils ont trouvé un bon

01:47:37.627 --> 01:47:39.769
équilibre dans les idées.

01:47:40.050 --> 01:47:42.472
Ils ont pris des bonnes idées là où elles

01:47:42.552 --> 01:47:44.935
existent depuis longtemps.

01:47:44.955 --> 01:47:47.317
Mais au moins, ils ont réussi à les faire passer

01:47:47.337 --> 01:47:49.019
dans le mainstream et ça, c'est important.

01:47:49.320 --> 01:47:50.601
Ça prend du temps.

01:47:51.087 --> 01:47:54.732
Que les idées percolent, comme on dit, de là où

01:47:54.752 --> 01:47:56.595
elles sont produites, qui est souvent dans le

01:47:56.615 --> 01:48:00.360
milieu académique, jusqu'à un usage, disons,

01:48:00.380 --> 01:48:02.543
industriel ou généralisé.

01:48:03.124 --> 01:48:05.107
C'est vrai pour tout un tas d'idées

01:48:06.168 --> 01:48:06.809
intellectuelles.

01:48:06.869 --> 01:48:08.992
Ce n'est pas vrai que pour l'informatique, en

01:48:09.012 --> 01:48:10.294
particulier.

01:48:10.314 --> 01:48:12.757
Je ne sais plus ce qu'on m'avait dit quand

01:48:12.897 --> 01:48:14.780
j'étais jeune étudiant en thèse.

01:48:15.301 --> 01:48:17.584
C'est quelque chose comme 40 ans, 50 ans.

01:48:17.564 --> 01:48:23.136
Par exemple, le typage, les algorithmes de typage

01:48:23.557 --> 01:48:26.864
où on n'a pas besoin d'annoter un programme,

01:48:26.904 --> 01:48:29.589
c'est les années 70.

01:48:29.609 --> 01:48:32.876
L'algorithme, ça fait 55 ans qu'on sait faire ça.

01:48:33.377 --> 01:48:35.542
De là à le voir arriver dans un langage où les

01:48:35.562 --> 01:48:37.105
gens se disent « Ah, c'est super, je n'ai pas

01:48:37.125 --> 01:48:38.408
besoin de le faire ».

01:48:38.742 --> 01:48:41.147
Quand les langages que les gens utilisent au

01:48:41.167 --> 01:48:43.392
quotidien, ça met du temps.

01:48:43.412 --> 01:48:47.780
C'est même pas totalement présent partout

01:48:47.841 --> 01:48:48.422
facilement.

01:48:51.007 --> 01:48:53.933
J'ai toujours connu ça en OCaml.

01:48:53.913 --> 01:48:56.716
Quand on écrit une fonction, le style

01:48:56.736 --> 01:48:58.517
traditionnel d'écrire une fonction

01:48:58.537 --> 01:49:00.619
d'implémentation, on n'annote pas les types.

01:49:01.560 --> 01:49:04.223
Parce qu'on sait qu'ils vont être inférés, ils

01:49:04.243 --> 01:49:05.043
vont être calculés.

01:49:05.564 --> 01:49:07.526
Par contre, on les met dans ce qui est

01:49:07.566 --> 01:49:09.508
l'interface avec l'utilisateur parce que ça fait

01:49:09.528 --> 01:49:12.370
partie de la documentation et du contrat avec

01:49:12.390 --> 01:49:13.051
l'utilisateur.

01:49:13.131 --> 01:49:16.474
Tu dois envoyer tel type de données pour que ça

01:49:16.534 --> 01:49:19.457
soit correct.

01:49:19.597 --> 01:49:22.620
Donc, les idées mettent du temps à transiter.

01:49:25.132 --> 01:49:27.095
Enfin, c'est comme ça.

01:49:27.155 --> 01:49:29.038
Être accepté, en fait, il y a toujours une forme

01:49:29.058 --> 01:49:31.963
de résistance dans les idées pour qu'elles

01:49:31.983 --> 01:49:32.443
arrivent.

01:49:33.825 --> 01:49:37.691
Je ne sais pas pourquoi on est là, d'ailleurs,

01:49:37.711 --> 01:49:39.494
dans cette conversation, mais c'est intéressant.

01:49:42.098 --> 01:49:44.001
Nous sommes loin d'Emacs, mais c'est quand même...

01:49:44.993 --> 01:49:48.781
Enfin, la vision qui a amené à la création de

01:49:48.821 --> 01:49:49.062
Lisp.

01:49:50.104 --> 01:49:52.069
Lisp, c'est vraiment un langage zen au niveau de

01:49:52.089 --> 01:49:55.697
la syntaxe, même si les gens rigolent du nombre

01:49:55.717 --> 01:49:56.539
de parenthèses.

01:49:57.140 --> 01:50:00.187
Mais au niveau de la syntaxe, c'est d'une

01:50:00.207 --> 01:50:03.053
élégance minimaliste incroyable.

01:50:04.113 --> 01:50:10.082
Il y a un côté esthétique plaisant dans cette

01:50:10.122 --> 01:50:12.485
façon de voir les choses moi je trouve.

01:50:12.505 --> 01:50:14.708
C'est pour ça que j'aime bien aussi produire un

01:50:14.728 --> 01:50:18.794
peu des Maxlis parce que je ne sais pas, il y a

01:50:19.015 --> 01:50:22.079
un truc, un côté satisfaisant intellectuellement

01:50:22.099 --> 01:50:24.703
et même il y a une forme d'art.

01:50:25.021 --> 01:50:28.005
Il y a la simplification.

01:50:28.145 --> 01:50:29.326
L'élégance.

01:50:29.346 --> 01:50:31.769
Oui, l'élégance, la simplification du tout

01:50:31.789 --> 01:50:34.372
jusqu'au côté minimaliste.

01:50:34.392 --> 01:50:36.295
Alors moi, en fait, j'aime bien ça parce que

01:50:36.315 --> 01:50:39.519
quand j'ai étudié aussi des choses comme le

01:50:39.539 --> 01:50:42.823
lambda calcul ou des choses un peu à la limite de

01:50:42.863 --> 01:50:44.945
la logique et de la philosophie.

01:50:45.746 --> 01:50:48.810
La frontière est très ténue en fait, en pratique.

01:50:49.010 --> 01:50:50.412
Et une des questions que les gens se posent,

01:50:50.432 --> 01:50:52.775
c'est de combien d'opérateurs on a besoin pour

01:50:52.795 --> 01:50:54.437
calculer tout ce qui est calculable ?

01:50:54.873 --> 01:50:58.692
Bah, en fait... Donc après, c'est pas très pratique

01:50:58.693 --> 01:51:01.520
de programmer avec un opérateur.

01:51:01.521 --> 01:51:04.316
Ah donc être humain quoi. Nos interfaces,

01:51:04.317 --> 01:51:05.896
on a besoin que ça soit un peu plus riche.

01:51:05.897 --> 01:51:09.897
Mais c'est voilà, tout le reste est

01:51:09.898 --> 01:51:11.285
comme on dit en anglais

01:51:11.286 --> 01:51:12.406
du sucre syntaxique.

01:51:12.407 --> 01:51:14.508
[Prot]: Hein.

01:51:14.509 --> 01:51:18.786
[Sacha]: Oui, je pense que je préfère la simplicité

01:51:18.826 --> 01:51:24.332
d'utilisation du juste parenthèse au lieu de

01:51:24.572 --> 01:51:28.055
beaucoup d'autres syntaxes.

01:51:28.155 --> 01:51:29.176
[Richard]: Je suis d'accord.

01:51:29.196 --> 01:51:30.117
J'aime bien ça.

01:51:31.839 --> 01:51:35.342
Après, c'est un choix de conception et de design.

01:51:35.382 --> 01:51:39.586
On a toujours un équilibre entre la facilité

01:51:39.606 --> 01:51:44.331
d'exprimer l'idée dans le langage programmation ou pas.

01:51:44.332 --> 01:51:49.260
En fait... Donc, l'interface humaine, et

01:51:49.261 --> 01:51:55.320
puis la derrière, la beauté ou la simplicité

01:51:55.321 --> 01:51:56.708
d'implémentation pour la machine.

01:51:56.709 --> 01:52:03.642
C'est pour ça peut-être que les gens aiment bien

01:52:03.663 --> 01:52:05.849
l'IA, parce que c'est facile, le langage, c'est

01:52:05.869 --> 01:52:07.955
le langage naturel.

01:52:08.396 --> 01:52:11.083
En informatique, on sait depuis un certain temps,

01:52:11.244 --> 01:52:13.851
en philosophie aussi.

01:52:13.831 --> 01:52:16.214
Il est ambigu et du coup, ce n'est peut-être pas

01:52:16.234 --> 01:52:19.879
terrible si on veut spécifier des choses pour une

01:52:19.899 --> 01:52:20.360
machine.

01:52:23.284 --> 01:52:25.687
C'est pour ça que les langages de programmation

01:52:25.747 --> 01:52:26.428
existent.

01:52:26.488 --> 01:52:29.473
C'est pour qu'ils aient une sémantique bien

01:52:29.513 --> 01:52:29.993
définie.

01:52:31.255 --> 01:52:33.398
C'est une partie des choses que j'ai étudiées.

01:52:33.839 --> 01:52:35.341
La sémantique, c'est important.

01:52:36.222 --> 01:52:38.505
Et la sémantique du langage naturel.

01:52:39.430 --> 01:52:42.793
[Prot]: Non, non, c'est beaucoup plus difficile.

01:52:42.814 --> 01:52:44.575
[Richard]: Elle est ambiguë et c'est bien parce

01:52:44.595 --> 01:52:46.698
que c'est pour ça qu'il existe la littérature et

01:52:46.738 --> 01:52:49.180
la poésie et un tas de choses.

01:52:49.200 --> 01:52:50.301
C'est comme ça que ça existe.

01:52:50.962 --> 01:52:55.186
Sinon, si c'était non ambigu, ce ne serait

01:52:55.246 --> 01:52:57.809
peut-être pas génial ce genre.

01:52:57.829 --> 01:52:59.130
Il n'y aurait pas de blague non plus.

01:52:59.150 --> 01:53:01.793
On ne ferait pas de blague.

01:53:01.813 --> 01:53:03.615
De jeu de mots.

01:53:05.840 --> 01:53:08.405
Moi, je ne crois pas trop.

01:53:08.625 --> 01:53:11.610
J'ai un petit avis sur l'IA.

01:53:12.732 --> 01:53:15.377
Ce que j'ai étudié, c'était en particulier la

01:53:15.738 --> 01:53:18.984
spécification des langages de programmation parce

01:53:19.004 --> 01:53:24.614
que dans les méthodes formelles, un des domaines

01:53:24.634 --> 01:53:26.617
d'application, c'est qu'on a un programme et on

01:53:26.637 --> 01:53:28.861
veut vérifier qu'il fait bien ce qu'on est censé

01:53:28.881 --> 01:53:29.282
faire.

01:53:30.038 --> 01:53:32.961
Déjà, on l'a écrit en code, en langage en C, peu

01:53:32.981 --> 01:53:34.923
importe, mais on a un autre langage mathématique

01:53:34.963 --> 01:53:37.566
qui décrit ce qu'il est censé faire, donc

01:53:37.586 --> 01:53:38.327
spécifier.

01:53:38.867 --> 01:53:41.590
Et j'ai l'impression qu'on va en arriver là, on

01:53:41.870 --> 01:53:43.552
va en arriver là en IA, mais c'est une thèse qui

01:53:43.632 --> 01:53:44.954
est défendue aussi par d'autres gens.

01:53:45.394 --> 01:53:47.476
C'est pas la mienne en fait.

01:53:48.177 --> 01:53:51.060
La vraie bridge, c'est le vrai pont à bâtir,

01:53:51.080 --> 01:53:53.423
c'est comment je spécifie ce que je veux de façon

01:53:53.463 --> 01:53:57.387
non ambiguë pour vérifier que l'IA fait ce que je

01:53:57.407 --> 01:53:58.628
voulais qu'elle fasse.

01:53:58.962 --> 01:54:00.947
Mais on va arriver à un langage de programmation

01:54:01.027 --> 01:54:01.388
en fait.

01:54:02.450 --> 01:54:06.841
Je ne sais pas lequel, mais en tout état de

01:54:06.861 --> 01:54:08.966
cause, c'est ça la solution, c'est les

01:54:08.986 --> 01:54:10.088
spécifications.

01:54:10.108 --> 01:54:11.371
Peut-être un langage, ce sera les maths.

01:54:14.278 --> 01:54:16.423
Ce n'est pas toutes les personnes qui aiment

01:54:16.443 --> 01:54:17.646
l'utiliser ce langage-là.

01:54:24.562 --> 01:54:27.765
[Sacha]: Je préfère [l'algorithme déterministe],

01:54:28.586 --> 01:54:31.509
parce que les résultats imprévisibles de l'IA

01:54:31.669 --> 01:54:34.371
sont un peu difficiles de gérer.

01:54:35.712 --> 01:54:42.219
[Richard]: Oui, oui, je suis 100% d'accord sur ça.

01:54:42.719 --> 01:54:45.362
C'est là où les différentes visions qui disent,

01:54:45.382 --> 01:54:47.744
mais maintenant, avant on avait l'assembleur, on

01:54:47.764 --> 01:54:50.146
avait les langages haut niveau, maintenant on a

01:54:50.166 --> 01:54:51.047
l'IA qui est au-dessus.

01:54:51.067 --> 01:54:53.269
Non, non, c'est pas du tout la même chose.

01:54:53.603 --> 01:54:56.266
Il n'y a pas une suite de séquences bien définie

01:54:56.286 --> 01:54:58.088
qu'on peut même démontrer, parce qu'on a des

01:54:58.128 --> 01:54:59.249
compilateurs prouvés.

01:54:59.789 --> 01:55:02.552
Toutes les étapes sont démontrées correctes par

01:55:02.592 --> 01:55:03.894
rapport à ce qu'on pensait qu'elles devaient

01:55:03.914 --> 01:55:04.434
faire.

01:55:04.454 --> 01:55:06.316
On sait faire ça, mais avec l'IA, on ne sait pas

01:55:06.336 --> 01:55:06.636
faire ça.

01:55:06.656 --> 01:55:08.578
On ne saura jamais avec cette technique actuelle.

01:55:09.239 --> 01:55:10.520
C'est impossible, ce n'est pas prévu.

01:55:10.681 --> 01:55:13.063
On se probabilise, donc c'est intrinsèquement

01:55:13.083 --> 01:55:16.086
impossible.

01:55:16.106 --> 01:55:18.709
Mais c'est un outil intéressant malgré tout, pour

01:55:18.889 --> 01:55:19.830
tout un tas de choses.

01:55:28.872 --> 01:55:35.700
[Sacha]: Nous conversons à 12 heures.

01:55:35.780 --> 01:55:43.569
[Prot]: Il n'y a pas que lui.

01:55:44.230 --> 01:55:47.533
[Sacha]: J'ai promis à ma fille que je prends une

01:55:47.553 --> 01:55:57.765
sieste avant qu'elle se réveille pour éviter

01:55:58.032 --> 01:56:01.801
tomber à la fatigue.

01:56:02.222 --> 01:56:04.127
Oui, oui, oui.

01:56:04.147 --> 01:56:05.209
La fatigue.

01:56:05.690 --> 01:56:09.861
Donc, je pense que je dois conclure la discussion.

01:56:09.862 --> 01:56:12.198
[Richard]: Pas de souci, Sacha.

01:56:12.199 --> 01:56:15.772
[Sacha]: Mais je veux le continuer toujours.

01:56:15.773 --> 01:56:18.280
[Prot]: Je crois que ce point est bon.

01:56:18.281 --> 01:56:19.540
[Richard]: Non, c'est y a pas de souci.

01:56:19.541 --> 01:56:22.304
C'est un plaisir et il y a des cont moi.

01:56:22.305 --> 01:56:25.452
Ma fille se lève jamais tard donc tu vois...

01:56:25.453 --> 01:56:27.661
Moi, à 7h30 en général, elle est réveillée.

01:56:27.662 --> 01:56:29.177
J'ai pas de matinée.

01:56:29.178 --> 01:56:32.026
Elle est pas assez vieille pour faire

01:56:32.027 --> 01:56:33.658
des grasses matinées comme on dit.

01:56:36.237 --> 01:56:38.559
[Sacha]: Donc, merci beaucoup.

01:56:38.579 --> 01:56:39.380
Un grand merci.

01:56:39.960 --> 01:56:40.941
[Richard]: De rien.

01:56:40.961 --> 01:56:41.842
[Sacha]: Merci à vous deux,

01:56:41.862 --> 01:56:42.763
Richard et Prot.

01:56:43.423 --> 01:56:48.728
Et merci aussi, chers auditeurs, pour contribuer

01:56:48.748 --> 01:56:51.691
à vos questions, vos commentaires.

01:56:52.892 --> 01:56:57.876
Je pense que je peux publier l'enregistrement de

01:56:58.017 --> 01:57:04.903
toute la session, toute la discussion, si ça

01:57:04.923 --> 01:57:06.244
marche, si ça fonctionne.

01:57:06.224 --> 01:57:11.290
[Richard]: On y croit, on y croit.

01:57:11.310 --> 01:57:13.673
On croise les doigts.

01:57:13.693 --> 01:57:15.635
On croise les doigts.

01:57:15.656 --> 01:57:18.339
Oui, oui, oui.

01:57:18.359 --> 01:57:20.461
[Sacha]: À plus tard.

01:57:20.662 --> 01:57:21.623
Merci beaucoup.

01:57:23.105 --> 01:57:25.648
[Richard]: Merci à tous les deux, Sacha et Prot.

01:57:25.708 --> 01:57:28.071
[Prot]: Merci, merci, Sacha.

01:57:28.091 --> 01:57:29.372
À bientôt, à bientôt.

01:57:29.452 --> 01:57:29.933
Au revoir.

01:57:30.353 --> 01:57:30.814
[Richard]: Au revoir.
