samedi 29 septembre 2018

Programmation et ligne de commande avec anki

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

Lire la suite...

Clôture d'un ensemble dans anki

Il y a un type de note dans Anki qui me pose particulièrement problème, que je ne sais vraiment pas comment régler: indiquer les opérations admises par une structure précise.

Lire la suite...

Une carte anki standard

Ce billet contient la liste des champs présent dans presque toutes mes notes. Je commence par les champs qui ne sont qu'une information pour aider, mais ne correspondant à aucune question. Une règle extrêmement importante, tout ces champs doivent systématiquement avoir la même place dans la liste des champs. Chez moi, page est toujours le premier champ, partout. Comme ça, quand je change le type de note, si l'information page est déjà rentré, elle sera toujours présente au bon endroit.

Lire la suite...

mardi 25 septembre 2018

Apprendre des définitions avec Anki

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.

Lire la suite...

mercredi 12 septembre 2018

Se souvenir des gens à l'aide d'Anki

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 !

Lire la suite...

mercredi 5 septembre 2018

Using anki to learn names and people

Anki changed my life in a lot of way. But the most obvious one is that now, I do recall people's name[1] !

Note

[1] Actually, it's still a little bit complicated because of my trans friend who change their first name. But appart from this case, I actually do remember names now.

Lire la suite...

Anki and learning which require practice (origami, knot, instrument...)

I use anki to learn things which require practice. Origami, drawing, music, rope (nodes and shibari). Music will be considered in another text.

I consider two kinds of practical knowledge, the one requiring making choices (like drawing, or music) and the one requiring knowing by earth some technics you'll repeat many time (ropes, music, origami). I don' have any idea how to deal with the first kind of knowledge, thus I'll only consider the second kind.

I don't know what is the best way to learn either one practical thing I must repeat. I use different techniques for knots and for origami. I'm not yet sure which one works best.

Lire la suite...

How I failed learning lyrics with anki

I tried to learn lyrics of song I love[1] using anki. This is one of my biggest failure.

I begin by explaining the technical reason of the failure, then the human one. And finally, the problem that is specific to learning songs.

Note

[1] Sometime song I hate too. At least song with which I have a love-hate relation.

Lire la suite...

mardi 30 janvier 2018

Hundred's of deck in Anki: why it can be useful

I am going to try to explain why I do have hundreds of deck and subdecks. Furthermore, why I believe there is currently no better way to achieve my goal with anky. The best way to use anki is to use.

Lire la suite...

vendredi 5 janvier 2018

Lists in anki: desiderata and partial solution

In this text, I assume you are familiar with anki, and in particular know what is a field, a card, a card's type (aka template), a note and a note's type (aka a model), and that you have an idea of what are the rules used by anki to decide which cards should be generated or not.

There is one big limitation in anki, it concerns lists[1]. Here I list my trouble, the existing work arounds I know, their limits, and the functionnality I would really want. Sadly, this functionnality seems to require such a big modification of anki's underlying model that I fear that no add-on can answer my request. In particular if I want this request to also be satisfied in smartphone's application, which does not allows to add add-ons.

Learning a list of things is hard, but it's something I sometime want to do. A poem/song is just a list of line. Sometime, a mathematical notions have 4 distinct names. E.g. a pullback is also called a fiber product, a fibered product and a Cartesian square. In some othe case, a mathematical objects admits many distinct definitions[2]. E.g. I've got 5 definitions of left-trivial monoids. And I'd also wanted to see if I can learn the list of the prime number less than 100. Mostly to see how hard it is to learn an arbitrary list.

Notes

[1] I assume here that sets are list, with an arbitrary order

[2] This is in general considered to be a proof that the object is really interesting

Lire la suite...

mardi 29 novembre 2016

Logiciel de mémorisation pour les mathématiques

En traînant sur less wrong, j'ai découvert un truc que, visiblement, beaucoup de gens autour de moi connaissait - mais pas moi. Anki, un logiciel pour aider à la mémorisation, partant du principe que pour se souvenir des choses, il faut les revoir juste avant de les oublier, et que plus on les a revu, plus on met longtemps avant de les oublier. Il semblerait qu'en général, il soit principalement employé pour l'apprentissage de vocabulaire étranger. Je m'en vais vous expliquer comment je l'utilise pour les mathématiques. Sachez déjà que vous pouvez trouver un(des) example(s) de mes decks ici

Lire la suite...