From teTeX to TeX Live (Mac TeX)

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

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

EzTextism extension for eZpublish

KAOS

More details »

Fresh deli