Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2015-06-17

| Channels | #isabelle index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
01:47 ilbot3 joined #isabelle
01:47 Topic for #isabelle is now Official channel for the Isabelle/HOL theorem prover: http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html || Now with logging: http://irclog.perlgeek.de/isabelle/
03:47 andreas2 joined #isabelle
03:49 andreas2 left #isabelle
06:44 andreas2 joined #isabelle
06:51 andreas2 I am trying to use Isabelle for the first time. My first problem is building the heap files, which takes hours. Is it possible to get these heap files from somewhere else so that I don't have to build them myself?
07:26 kholerabbi heap files?
07:39 andreas2 The files in the heaps/ directory
07:43 ThreeOfEight What heap files are you building?
07:44 ThreeOfEight Normalle, Isabelle only builds Pure and HOL on startup, those shouldn't take hours
07:44 ThreeOfEight *Normally
07:44 ThreeOfEight I think on my computer, it typically takes something like 15 minutes
07:44 ThreeOfEight What CPU/how much RAM do you have?
07:44 andreas2 Yes, I am only trying to build the default ones.
07:45 andreas2 But my computer is very old and slow, it has only 1.6 GHz and 512 MB of memory.
07:46 ThreeOfEight Okay, then I recommend not using Isabelle on that computer.
07:46 ThreeOfEight Anything less than 4 GB of RAM will be very painful
07:47 ThreeOfEight If building the heaps takes that long already, working with Isabelle/jEdit will be no fun
07:47 ThreeOfEight There will be constant memory thrashing.
07:47 ThreeOfEight I once tried working with Isabelle on a 1.6 GHz laptop with 1 GB of RAM; it's possible, but extremely painful.
07:50 andreas2 That is unfortunate. This is the fastest computer that I have.
07:51 ThreeOfEight Well, as I said, you can try, but I doubt it will be a pleasant experience.
07:52 andreas2 The build process makes progress for a while and the grinds to a halt, with the hard drive working ceaselessly and the computer responding very slowly to inputs.
07:55 andreas2 Do I really have to build these heap files myself?
09:05 andreas2 left #isabelle
11:17 andreas2 joined #isabelle
15:27 andreas2 left #isabelle
21:00 eng500 joined #isabelle

| Channels | #isabelle index | Today | | Search | Google Search | Plain-Text | summary