Tag Archives: wordpress

WordPress blogging in LaTeX

Just found an interesting resource about blogging in LaTeX using WordPress. Eric Finster at Curious Reasoning has put together a Python script that allows you to prepare blog posts in LaTeX and convert them to the proper format. Might come … Continue reading

Posted in Tools | Tagged , | Leave a comment

Coq Syntax Highlighting Test

A test case for Coq syntax highlighting in GeSHi (for the WP-Syntax plugin). Inductive nat : Set := | O : nat | S : nat -> nat.   Inductive fin : nat -> Type := | FO : forall … Continue reading

Posted in Coq, Tools | Tagged , , | Leave a comment

WordPress + SQLite

The one thing that really kept me from just installing WordPress and playing around with it was that it required MySQL to run. I don’t need a full-blown RDBMS on my server and I certainly don’t need MySQL (in the … Continue reading

Posted in Tools | Tagged , , | 4 Comments

The ideal WordPress LaTeX plugin

A LaTeX plugin ought to be useful for scientific blogging, it should allow — within reason — the creation of not only inline and displayed equations but also different kinds of figures. Features: It should offer the possibility to enter … Continue reading

Posted in Tools | Tagged , | Leave a comment