Z\EVES is a Z notation theorem proving program. It is an old and I think abandoned software, but used in some universities. Old Python 2.3 is needed for running it. . . . → Read More: How to run Z\EVES on Ubuntu 10.04
|
Why? Because it is funny So you have a MS-DOS installed to a virtual machine on your super new multicore computer and it consumes 100% of your CPU (well… 100% of one core actually…)? . . . → Read More: How to make MS-DOS 6.22 to stop consuming 100% CPU in VirtualBox on Ubuntu Why? Because it is funny Yesterday I saw a very nice old hard drive for only 10 Litas (~3.5USD). (foto) . . . → Read More: Vintage Hard Drive. Quantum Bigfoot |
|
|
|
Copyright © 2012 Emanuelis Norbutas - All Rights Reserved |
||
