From: Patrick McCuller (email@example.com)
Date: Thu Apr 26 2001 - 11:47:26 MDT
> Mizar syntax can be used for codifying CS knowledge, but, it's not specially
> tuned for it.
That's what I should have said. Even a short Mizar article is very difficult
for me to read as it is. They have theorems expressed in thousands and
thousands of lines. What I don't know is how many software programs exist that
can read and verify them?
> Is there really a 64 bit JVM out there, available right now? Please give me
> a reference!!!
>From the release notes:
"By default, the Fast VM uses 32-bits to store pointers in objects, which
limits the amount of virtual memory available to Java applications. With the
default, the memory allocation pool (Java heap) is limited to about 3
gigabytes. The Fast VM provides an option to use 64-bits for pointers, which
significantly increases the amount of memory available to Java applications.
To use the 64-bit option, specify java -fast64 rather than java -fast. "
This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:00:36 MDT