2012-10-05 00:07 <wpwrak> yeah, atben has the problem that there are pins that are outputs but in some cases you should connect them to ground anyway. there's no nice solution for this. one can either make the pins something else, to avoid running into ERC complaints, turn off these bits of ERC, or just endure the errors.
2012-10-05 00:08 <whitequark> do I get the plural/singular correct here? "If any of the conditions is not satisfied..."
2012-10-05 00:08 <whitequark> or should I s,any,either,?
2012-10-05 00:09 <wpwrak> so what i do in this case is that i just remember what errors to ignore :) i actually made a patch for a filter that would remove specific conflicts, but the kicad folks didn't like it :-(
2012-10-05 00:10 <wpwrak> sounds correct to me
2012-10-05 00:10 <whitequark> the "conditions -> is" transition quirks me
2012-10-05 00:10 <wpwrak> or, if the number of conditions is exactly two, then you could say "if either condition is satisfied"
2012-10-05 00:11 <whitequark> oh. "either condition", not "either of the conditions", thanks.
2012-10-05 00:11 <wpwrak> ah, wait. but that would change the meaning
2012-10-05 00:12 <whitequark> either is or, not xor, right?
2012-10-05 00:12 <wpwrak> either means A && B. for A || B, "if at least one of the conditions", "any of the conditions", ...
2012-10-05 00:12 <whitequark> wait whaaat
2012-10-05 00:13 <whitequark> my dictionary lists both && and || for either
2012-10-05 00:13 <whitequark> natural languages suck
2012-10-05 00:14 <wpwrak> xor would be "exactly one of the conditions" or "either <A> or <B>". with either you have to name them. you can use (for xor) "if either one or the other condition", but that sounds a bit clumsy
2012-10-05 00:16 <wpwrak> i think "either" used as "or" still means && :)
2012-10-05 00:16 <kristianpaul> good!
2012-10-05 00:17 <kristianpaul> (erc explanation)
2012-10-05 00:20 <wpwrak> but perhaps it's best to avoid "either" in such a context
2012-10-05 00:20 <whitequark> wpwrak: especially that it's intended to be a specification, yes.
2012-10-05 00:21 <whitequark> that also means I kind of misused "either" for, well, my whole conscious life
2012-10-05 00:22 jluis has quit [Ping timeout: 245 seconds]
2012-10-05 00:22 <wpwrak> (plural -> is) the "one of" is a selection. you pick one of a multitude. e.g., |X| > 1 but |one of X| == 1
2012-10-05 00:22 <whitequark> wpwrak: I understand that theoretically it should be the case
2012-10-05 00:23 <whitequark> (by the way, sometimes I feel that I've built a small LALR parser in my head specifically for these ambiguous situations)
2012-10-05 00:23 <wpwrak> ;-)
2012-10-05 00:23 <whitequark> ya know, the "any of" predicate has a higher priority than "is", and "is" is left-associative
2012-10-05 00:23 <whitequark> and so on
2012-10-05 00:24 <whitequark> ... and that you have several completely different semantic forms of `if', but they're represented by exactly one token, and now you need infinite lookahead to ever parse that, and it sucks just so much
2012-10-05 00:25 <kristianpaul> think fast think slow :)
2012-10-05 00:25 <kristianpaul> now you are mastering beyond !
2012-10-05 00:26 <whitequark> and the whole quoting issue. is the word "word" a word. I believe that this is a fundamental problem in NLP or something like that.
2012-10-05 00:26 <whitequark> I can't remember how is it called, through
2012-10-05 00:27 xiangfu has joined #qi-hardware
2012-10-05 00:32 guanucoluis has quit [Ping timeout: 245 seconds]
2012-10-05 00:34 jluis has joined #qi-hardware
2012-10-05 00:38 xdpirate has quit [Quit: http://gamelauncher.pvpsucks.com/]
2012-10-05 00:53 hellekin has quit [Read error: Connection reset by peer]
2012-10-05 01:17 jluis has quit [Ping timeout: 245 seconds]
2012-10-05 01:25 urandom__ has quit [Quit: Konversation terminated!]
2012-10-05 01:29 jluis has joined #qi-hardware
2012-10-05 01:43 N1ck has joined #qi-hardware
2012-10-05 02:01 nikescar has quit [Read error: Connection reset by peer]
2012-10-05 02:02 nikescar has joined #qi-hardware
2012-10-05 02:22 Ayla has quit [Quit: dodo]
2012-10-05 02:49 rejon has joined #qi-hardware
2012-10-05 03:00 lindi- has quit [*.net *.split]
2012-10-05 03:03 DocScrutinizer05 has quit [Disconnected by services]
2012-10-05 03:03 DocScrutinizer05 has joined #qi-hardware
2012-10-05 03:05 xiangfu has quit [Ping timeout: 248 seconds]
2012-10-05 03:05 lindi- has joined #qi-hardware
2012-10-05 03:07 jluis|work has quit [Ping timeout: 265 seconds]
2012-10-05 03:17 emeb has quit [Quit: Leaving.]
2012-10-05 03:17 xiangfu has joined #qi-hardware
2012-10-05 03:20 arossDOTme has quit [Quit: Ex-Chat]
2012-10-05 03:21 rejon has quit [Ping timeout: 246 seconds]
2012-10-05 03:38 N1ck has quit [Quit: Computer has gone to sleep.]
2012-10-05 03:43 xiangfu has quit [Ping timeout: 245 seconds]
2012-10-05 03:44 xiangfu has joined #qi-hardware
2012-10-05 03:57 xiangfu has quit [Ping timeout: 245 seconds]
2012-10-05 04:54 rejon has joined #qi-hardware
2012-10-05 06:06 xiangfu has joined #qi-hardware
2012-10-05 06:16 xiangfu has quit [Ping timeout: 252 seconds]
2012-10-05 06:26 jluis|work has joined #qi-hardware
2012-10-05 06:27 jekhor has joined #qi-hardware
2012-10-05 06:29 xiangfu has joined #qi-hardware
2012-10-05 09:04 kristoffer has joined #qi-hardware
2012-10-05 09:25 rejon has quit [Ping timeout: 246 seconds]
2012-10-05 09:29 jluis has quit [Ping timeout: 268 seconds]
2012-10-05 09:32 jekhor has quit [Ping timeout: 244 seconds]
2012-10-05 09:41 jluis has joined #qi-hardware
2012-10-05 10:43 xiangfu has quit [Remote host closed the connection]
2012-10-05 11:02 xiangfu has joined #qi-hardware
2012-10-05 11:13 xiangfu has quit [Read error: Connection reset by peer]
2012-10-05 11:25 jekhor has joined #qi-hardware
2012-10-05 11:27 xiangfu has joined #qi-hardware
2012-10-05 11:37 GNUtoo-desktop has joined #qi-hardware
2012-10-05 11:49 GNUtoo-desktop has quit [Remote host closed the connection]
2012-10-05 12:03 porchaso0 has joined #qi-hardware
2012-10-05 12:05 porchao has quit [Ping timeout: 245 seconds]
2012-10-05 12:15 alexander has joined #qi-hardware
2012-10-05 12:15 alexander is now known as Guest34979
2012-10-05 12:16 jluis|work has quit [Ping timeout: 245 seconds]
2012-10-05 12:20 kristoffer has quit [Read error: Connection reset by peer]
2012-10-05 12:51 Jurting has quit [Remote host closed the connection]
2012-10-05 12:56 Jurting has joined #qi-hardware
2012-10-05 13:12 erikkugel has joined #qi-hardware
2012-10-05 13:25 rejon has joined #qi-hardware
2012-10-05 13:32 rejon has quit [Ping timeout: 255 seconds]
2012-10-05 13:32 rejon has joined #qi-hardware
2012-10-05 13:34 heberth has joined #qi-hardware
2012-10-05 13:37 rejon has quit [Ping timeout: 248 seconds]
2012-10-05 13:39 rejon has joined #qi-hardware
2012-10-05 13:48 Jurting has quit [Remote host closed the connection]
2012-10-05 14:10 heberth has quit [Quit: leaving]
2012-10-05 14:46 xiangfu has quit [Ping timeout: 252 seconds]
2012-10-05 14:51 erikkugel has left #qi-hardware [#qi-hardware]
2012-10-05 14:58 porchaso0 has quit [Ping timeout: 246 seconds]
2012-10-05 15:05 rejon has quit [Ping timeout: 244 seconds]
2012-10-05 15:09 wej has quit [Ping timeout: 272 seconds]
2012-10-05 15:13 wej has joined #qi-hardware
2012-10-05 15:15 paroneayea has quit [Remote host closed the connection]
2012-10-05 15:16 erikkugel has joined #qi-hardware
2012-10-05 15:19 paroneayea has joined #qi-hardware
2012-10-05 15:24 aisa has joined #qi-hardware
2012-10-05 15:25 paroneayea has quit [Read error: Connection reset by peer]
2012-10-05 15:28 jekhor has quit [Ping timeout: 240 seconds]
2012-10-05 15:40 jekhor has joined #qi-hardware
2012-10-05 15:46 kristoffer has joined #qi-hardware
2012-10-05 15:48 kristoffer has quit [Client Quit]
2012-10-05 15:50 paroneayea has joined #qi-hardware
2012-10-05 15:50 kristoffer has joined #qi-hardware
2012-10-05 16:19 emeb has joined #qi-hardware
2012-10-05 16:27 Ayla has joined #qi-hardware
2012-10-05 16:33 Guest34979 is now known as arossDOTme
2012-10-05 16:43 rejon has joined #qi-hardware
2012-10-05 16:59 Ayla has quit [Ping timeout: 260 seconds]
2012-10-05 17:49 jekhor has quit [Ping timeout: 255 seconds]
2012-10-05 17:55 Ayla has joined #qi-hardware
2012-10-05 18:06 rejon has quit [Ping timeout: 245 seconds]
2012-10-05 18:20 Ayla has quit [Ping timeout: 246 seconds]
2012-10-05 19:02 lekernel_ has joined #qi-hardware
2012-10-05 19:02 lekernel has quit [Ping timeout: 260 seconds]
2012-10-05 19:19 xdpirate has joined #qi-hardware
2012-10-05 19:27 jekhor has joined #qi-hardware
2012-10-05 20:04 he2 has joined #qi-hardware
2012-10-05 20:23 he2 has quit [Ping timeout: 245 seconds]
2012-10-05 20:58 jluis has quit [Ping timeout: 260 seconds]
2012-10-05 21:01 he2 has joined #qi-hardware
2012-10-05 21:02 guanucoluis1 has joined #qi-hardware
2012-10-05 21:10 erikkugel has left #qi-hardware [#qi-hardware]
2012-10-05 21:10 jluis has joined #qi-hardware
2012-10-05 21:23 LunaVorax has quit [Quit: Quitte]
2012-10-05 21:24 heberth has joined #qi-hardware
2012-10-05 21:41 <viric> larsc: thanks to you I appear in the 3.6 kernel log :)
2012-10-05 21:42 <viric> what a honor
2012-10-05 22:03 kristoffer has quit [Quit: Leaving]
2012-10-05 22:03 aisa has quit [Quit: leaving]
2012-10-05 22:07 pcercuei has joined #qi-hardware
2012-10-05 22:14 <wpwrak> viric: now you'll get all those calls from google recuiting ;-)
2012-10-05 22:44 urandom__ has joined #qi-hardware
2012-10-05 22:45 Jurting has joined #qi-hardware
2012-10-05 23:02 guanucoluis1 has quit [Remote host closed the connection]
2012-10-05 23:18 jekhor has quit [Ping timeout: 255 seconds]
2012-10-05 23:49 guanucoluis has joined #qi-hardware
2012-10-05 23:51 <arossDOTme> well done