Blog personnel d'Arthur Milchior

Voici comment j'utilise anki pour me souvenir de notions de programmations et de ligne de commande.

Les «questions» sont mon deuxième type de note après les définition. Ce qui est assez paradoxale, car je tente d'éviter au maximum les questions. En effet, une question, c'est ce qu'il y a de plus simple, je peux souvent répondre par auto-complétion, sans vraiment réfléchir à ce que je lis. La majorité des champs sont standards.

Comme toujours, j'ai un champ avec la question. Et 7 champs de réponses, pour les cas où la réponse se découpe, ou bien où plusieurs réponses sont admissible. J'ai une carte pour chaque réponse, et une carte demandant de se souvenir d'au moins une des réponses.

Enfin, j'ai un champ «construction», qui indique comment la preuve est faites, comment l'objet qui répond à la question est créé.

Apprendre une définition avec Anki est un processus qui peut être tellement complexes qu'il mérite un billet à elles toutes seuls. D'autant que c'est un sujet des plus importants. Plus d'un tiers de mes notes, et près de la moitié de mes cartes sont des définitions. Je tenterai d'utiliser des exemples vraiment basiques, mais certains problèmes n'arrivent que dans des cas complexes. Je vous prie de m'excuser si certains exemples ne sont pas compréhensibles.

Anki a changé beaucoup de chose à ma vie. La principale étant que maintenant, je suis capable de retenir le nom et le visage des gens !

This post has been moved to my english blog

Ce billet divulgâche allégrement Atlas Shrugged, en VF: La Grève.

“If you saw Atlas, the giant who holds the world on his shoulders, if you saw that he stood, blood running down his chest, his knees buckling, his arms trembling but still trying to hold the world aloft with the last of his strength, and the greater his effort the heavier the world bore down upon his shoulders - What would you tell him?" I…don't know. What…could he do? What would you tell him?" To shrug.”

“John Galt is Prometheus who changed his mind. After centuries of being torn by vultures in payment for having brought to men the fire of the gods, he broke his chains—and he withdrew his fire—until the day when men withdraw their vultures.”

Personnellement, Atlas Shrugged m'évoque énormément des noms historiques. Mais pas spécialement celle d'Atlas, peut-être que je le connais trop peu. Je pense d'abord au procès de Kafka. Mais un procès où tu verrais les deux côtés. Où l'individu poursuivi n'a pas plus de chance de gagner son procès que chez Kafka, mais où au moins, on connaît la motivation des juges. Je pense aussi à Cassandre. Mais une Cassandre qui aurait décidé de tenir compte du fait que personne ne l'écoute, et de fuir de Troie, seule. Si personne ne l'écoute, j'aurai du mal à la condamner si elle décide de garder ses pouvoirs pour elles-mêmes. Enfin, un résumé extrème d'Atlas Shrugged - de ce que moi j'ai tiré d'Atlas Shrugged, en tout cas - pourrait se trouver dans ce célèbre sketch sur l'expert en traits verts, à qui l'on demande de dessiner 7 traits tous perpendiculaires les uns aux autres. Enfin, Atlas Shrugged m'évoque une notice technique. Qui, de temps en temps, va regarder des détails techniques, l'agencement de ces détails, et comment un grain de sable fini par faire dérouiller tout une mécanique. Je fais parti de ces gens qui aiment les modes d'emplois, je passe parfois des heures entières à les lire la documentations de programme, de langages de programmations, et prendre des notes des points importants dans Anki. Donc pour moi, cette comparaison n'est pas un mauvais signe. Mais je conçois que ce livre n'est pas pour tout le monde, ne serait-ce que parce qu'il est parfois très aride. Dernier paradoxe, si ce livre me fait penser à un activiste de la vie réelle, je penserai à Richard M Stallman. Aux textes où il explique les dérives qui pourraient arriver quand on ne peut pas analyser et modifier le code, dérive qui souvent se produisent, et dont on peut parfois voir des conséquences^[1].

En général, je partage entièrement l'avis de Ruxor concernant ce que doit être un cadeau. Mais j'ai envie de compléter plus particulièrement ce que je pense de ceux qui, pour me faire un cadeau, m'apportent du thé aujourd'hui^[1].

Petit exemple de réflexion qui me trotte dans la tête, pour savoir quel conduite tenir en milieu que je suppose féministe.

Je lance actuellement un podcast mathématiques, «Ton théorème préféré» adaptation française libre du podcast «My favorite theorem». Voici une présentation à destination des invités. Merci de me contacter si vous voulez participer. Le temps que ça devrait prendre aux invités, serait, dans l'idéal, entre 20 minutes (le temps d'enregistrer) et une heure (si tu décides de te préparer, ce qui n'est pas obligatoire).

Le principe est simple: aller voir des gens qui aiment les maths et leur poser cette question: quel est ton théorème préféré ?

• Donner son nom s'il en a un
• Donner son énoncé (et introduire quelques notions autours)
• Pourquoi c'est ton théorème préféré
• (rarement) Une idée très rapide de la preuve si elle n'est pas trop complexe.
• Pour partir un peu plus dans l'imaginaire, essayer de trouver comment ce théorème pourrait être une métaphore de notre société, de la vie, etc...

TW: mort, suicide et meurtre. Problème du Trolley.

Un problème super classique d'éthique est le suivant: tu es devant une voie de chemin de fer. Un train arrive. Il va rouler sur 4 personnes qui sont attachés aux rails de la voie principale. Mais tu peux le faire changer de voie pour qu'il roule seulement sur le seul type attaché à la voie secondaire. Doit tu le faire changer de voie ?