2015-04-13T00:39:30Z Adlai quit (Quit: Insufficient entropy for original reason)
2015-04-13T00:50:31Z Quadrescence joined #ccl
2015-04-13T00:54:27Z Adlai joined #ccl
2015-04-13T01:33:58Z Adlai is now known as adlai
2015-04-13T01:56:26Z clop joined #ccl
2015-04-13T02:56:39Z clop quit (Ping timeout: 265 seconds)
2015-04-13T03:26:48Z clop joined #ccl
2015-04-13T03:58:55Z _leb joined #ccl
2015-04-13T04:48:01Z clop quit (Ping timeout: 256 seconds)
2015-04-13T05:08:18Z rme quit (Quit: rme)
2015-04-13T05:08:18Z rme quit (Quit: rme)
2015-04-13T05:32:13Z _leb quit (Quit: Computer has gone to sleep.)
2015-04-13T05:34:39Z _leb joined #ccl
2015-04-13T07:03:01Z alchemis7 quit (Remote host closed the connection)
2015-04-13T07:03:33Z alchemis7 joined #ccl
2015-04-13T07:23:54Z jdz quit (Ping timeout: 252 seconds)
2015-04-13T07:30:32Z jdz joined #ccl
2015-04-13T07:40:21Z _leb quit (Quit: Computer has gone to sleep.)
2015-04-13T12:16:24Z _leb joined #ccl
2015-04-13T12:26:20Z _leb quit (Quit: Computer has gone to sleep.)
2015-04-13T12:28:01Z _leb joined #ccl
2015-04-13T13:10:51Z DR2nothere quit (Remote host closed the connection)
2015-04-13T13:11:06Z DR2nothere joined #ccl
2015-04-13T13:14:19Z clop joined #ccl
2015-04-13T13:48:05Z rme joined #ccl
2015-04-13T14:11:48Z _leb quit (Quit: Computer has gone to sleep.)
2015-04-13T15:19:02Z DR2 joined #ccl
2015-04-13T15:21:38Z opusmodus joined #ccl
2015-04-13T16:08:03Z DR2: @gbyers, for debugging this segfault problem in ACL2 and the recent CCL trunk, do you think having core dumps would help?  When I obtained a second segfault in gdb, the program was (of course?) gone already ("the program no longer exists")
2015-04-13T16:39:47Z leb joined #ccl
2015-04-13T17:57:28Z clop2 quit (Quit: Leaving)
2015-04-13T18:31:36Z clop quit (Ping timeout: 240 seconds)
2015-04-13T18:41:01Z leb quit (Quit: Computer has gone to sleep.)
2015-04-13T19:20:38Z _leb joined #ccl
2015-04-13T19:30:36Z clop joined #ccl
2015-04-13T19:53:31Z _leb quit (Quit: Computer has gone to sleep.)
2015-04-13T20:43:38Z clop: is there a good way to forge a bignum, if i know the 32-bit chunks I want to install into it?  (please don't shoot)
2015-04-13T20:44:13Z rme: aw, man, you don't really want to do that, do you?
2015-04-13T20:44:21Z clop: it seems like maybe i could just do... (ash 1 size) and then (setf (uvref ...) ...)
2015-04-13T20:44:28Z clop: well, probably not
2015-04-13T20:44:30Z clop: but....
2015-04-13T20:44:49Z clop: it would save me a ton of memory
2015-04-13T20:48:16Z clop: and, i dunno, it doesn't seem completely unreasonable to want to be able to build a bignum out of whole cloth; the best alternative i can think of is to do some kind of tree-like thing to merge 32-bit chunks into 64s, merge 64s into 128s, etc.
2015-04-13T20:48:26Z clop: which seems like a lot of garbage
2015-04-13T20:59:53Z rme: What will you do when I change CCL to use 64-bit bignum digits?
2015-04-13T21:00:08Z rme: (hypothetically speaking)
2015-04-13T21:00:09Z clop: i know :(
2015-04-13T21:00:44Z clop: so, maybe an alternative...
2015-04-13T21:00:54Z clop: i started writing this dumb thing: https://github.com/jaredcdavis/fastnumio
2015-04-13T21:01:27Z clop: it seems to print hex numbers around 4-7x faster than ccl's format ~x
2015-04-13T21:01:32Z clop: but it abuses the uvref stuff
2015-04-13T21:02:13Z clop: it can also read in hex numbers significantly faster than ccl's read, without using uvref stuff yet
2015-04-13T21:02:27Z clop: but that part still allocates a lot of memory and could probably be way faster if it just could construct the bignum directly
2015-04-13T21:03:17Z clop: so i guess i could just hack up ccl and try to integrate this stuff properly
2015-04-13T21:03:54Z clop: but i don't know much about the reader, etc
2015-04-13T22:24:43Z DR2 quit (Quit: Leaving.)
2015-04-13T23:05:24Z Adlai` joined #ccl
2015-04-13T23:06:49Z clop2 joined #ccl
2015-04-13T23:07:53Z adlai quit (Ping timeout: 265 seconds)
2015-04-13T23:25:43Z Adlai`` joined #ccl
2015-04-13T23:28:01Z Adlai` quit (Ping timeout: 264 seconds)
2015-04-13T23:51:05Z DR2 joined #ccl