From teTeX to TeX Live (Mac TeX)
on September 27, 2007
Our old friend teTeX is death: from May 2006
“Thomas Esser have decided not to make new releases of teTeX any more”
I’ve tried to go ahead with teTeX (gently provided by MacPorts – former DarwinPorts) until today, when I’ve decided to do the switchover. If you are using a Mac you are strongly recommended to use [...]
Fullscreen browsing with Camino
on September 24, 2007
I’ve recently switched from Firefox to Camino: if you have a Mac you would probably agree with me about how painfully slow is to run Firefox on Mac OS X. Even if you rely on optimized builds you wouldn’t experience such a speed-up; moreover, as a side effect, optimized builds are often not correctly recognized [...]
Model checking vs. Theorem Proving
on July 15, 2007
EzTextism extension for eZpublish
on April 26, 2006
KAOS
on May 15, 2005