Comment faire un pdf «à la main» qui fait 380km de coté.

Un bon tutoriel sur la Vérification Formelle

Truc

Jonathan Bachrach, Adam Izraelevitz, Jack Koenig
EECS UC Berkeley
January 31, 2017

Merci pour l'astuce.

Chez moi ça marche pas, j'ai juste du charabia quand j'essai d'ouvrir un pdf avec libreoffice.

Très bon cours sur les réseaux de neurones, à finir de lire plus tard.

Cours de Wawrzynek, avec des vrais morceaux de Chisel dedans.

Comment utiliser des svg avec Sphinx et pouvoir exporter en PDF avec latexpdf

j'aime beaucoup la syntax markdown, elle permet d'écrire simplement des documents avec chapitres, puces, gras, ... mais en texte pur et lisible.
Si on respecte la syntaxe il existe ensuite de nombreux outils permettant de convertir le texte en pdf, html, doc, ...
Et c'est nettement plus lisible à versionner dans git ou svn.

Un lecteur de PDF à la vim.

La syntaxe markdown est fantastique, elle permet de faire des textes lisible en texte pur, mais le texte est tout de même convertible en pdf, html, ... avec des tableau, titre, ...

Voici une petite explication pour faire une conversion en PDF.
Cette syntaxe est reconnue de base dans github par exemple, il faut que le fichier ait l'extension *.md.

Note sur debian il faut aussi installer les paquets suivant :
$ sudo apt-get install ruby-libxml
$ sudo apt-get install libxslt1.1 libxslt1-dev

Et il faut être sudo pour faire l'install de gimli :
$ sudo gem install gimli
$ gimli -f README.md

Mais le rendu de mes tableaux ne marche pas :(