Re: There and back again...

2016-07-15 Thread David Kastrup
Carl Sorensen writes: > What kind of specifications would you like in a replacement machine? My > university is having a surplus sale on Wednesday at which I can get used > machines very inexpensively. Well, my current laptop is a T61 Thinkpad, as was the one I have now delegated to spare part

Re: There and back again...

2016-07-15 Thread Carl Sorensen
What kind of specifications would you like in a replacement machine? My university is having a surplus sale on Wednesday at which I can get used machines very inexpensively. Both laptops and desktops are available; desktops are generally less expensive per unit of computing power. Most of the de

Re: [GSoC] spanners project update

2016-07-15 Thread David Kastrup
Nathan Chou writes: > Hello, > > A quick question regarding the key-list argument to \= : if the list > only has one key, it is assumed to be the id, as the share context is > optional. When both the context and id are given, however, should the > order of the keys be (context id) or (id context)

Re: [GSoC] spanners project update

2016-07-15 Thread Nathan Chou
Hello, A quick question regarding the key-list argument to \= : if the list only has one key, it is assumed to be the id, as the share context is optional. When both the context and id are given, however, should the order of the keys be (context id) or (id context)? I initially implemented the lat

There and back again...

2016-07-15 Thread David Kastrup
Hi, two weeks ago or so I reported intermittent problems with my (builtin) graphics card. Two days ago, the card decided to make the problems permanent, rendering the computer screen black and, naturally, the external CRT connector equally so. My stack of old laptops did not offer anything work