Software que eu uso

Utilizo o software Visual Studio Code da versão MacOS para escrever praticamente todos os meus textos, slides, artigos em formato markdown (com alguns códigos $\LaTeX$ para introduzir facilmente símbolos lógicos). Para construir bibliografias em $BibTeX$ utilizo o software JabRef.

Para converter markdown 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 criar este site utilizei código PHP, Javascript, e markdown.


Novidades: We are happy to announce that, to celebrate the 25th anniversary of the journal Disputatio, Prof. Timothy Williamson (Oxford) will give a lecture on “Degrees of Freedom: Is Good Philosophy Bad Science?” on October 7th, at 16h00 Lisbon time (UTC/GMT+1h). https://t.co/2U7oCeleBi |