Software que eu uso

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 (criada pelo filósofo John MacFarlane) através do terminal com a shell Zsh. Para construir bibliografias em  BibTeX utilizo o software JabRefUtilizo a ferramenta WonderCMS para gerar este site.