Le whitepaper de Cairo.

Abstract

Proof systems allow one party to prove to another party that a certain statement is true. Most existing practical proof systems require that the statement will be represented in terms of polynomial equations over a
finite field. This makes the process of representing a statement that one wishes to prove or verify rather complicated, as this process requires a new set of equations for each statement.
Various approaches to deal with this problem have been proposed.
We present Cairo, a practically-efficient Turing-complete STARK-friendly CPU architecture. We describe a single set of polynomial equations for the statement that the execution of a program on this architecture is valid. Given a statement one wishes to prove, Cairo allows writing a program that describes that statement, instead of writing a set of polynomial equations.

However hard you work on documentation, it won't work for your software - unless you do it the right way.

Plein de manuels de différent matériel. Toujours pratique.

Un bouquin sur le langage Assembleur, disponible en ebook et dans plusieurs langues.

Je souhaiterai réécrire la documentation de Pombo (http://bobotig.fr/index.php?c=projets/pombo/), car ce n'est pas très agréable à utiliser en l'état.
Dans l'idéal, il faudrait que je détaille chaque documentation par système d'exploitation (le support de Mac arrivera avec la version 0.0.11✌).

Du coup, auriez-vous une idée de comment le rédiger ? Genre un wiki super léger ou autre ?

Tout est dans le titre, d'ailleurs je vais de ce pas revoir la doc de mes projets.