Software que eu uso

Este site é escrito em markdown e convertido em HTML com um script makefile através da ferramenta Pandoc (criada pelo filósofo John MacFarlane). Os posts do blog deste site também são escritos em markdown.

Utilizo o software Visual Studio Code para escrever praticamente todos os meus textos, slides, artigos em formato markdown (com alguns códigos em \(\LaTeX\) para introduzir facilmente símbolos lógicos). Para converter em ficheiros com formato PDF, HTML, DOC, PPT, etc, utilizo a ferramenta Pandoc através do terminal com a shell Zsh. Para construir bibliografias em \(\mathrm{B{\scriptstyle{IB}} \! T\!_{\displaystyle E} \! X}\) utilizo o software JabRef.