Topic for #qi-hardware is now Copyleft hardware - http://qi-hardware.com | hardware hackers join here to discuss Ben NanoNote, atben / atusb 802.15.4 wireless, and other community driven hw projects | public logging at http://en.qi-hardware.com/irclogs
<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.
<whitequark>
do I get the plural/singular correct here? "If any of the conditions is not satisfied..."
<whitequark>
or should I s,any,either,?
<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 :-(
<wpwrak>
sounds correct to me
<whitequark>
the "conditions -> is" transition quirks me
<wpwrak>
or, if the number of conditions is exactly two, then you could say "if either condition is satisfied"
<whitequark>
oh. "either condition", not "either of the conditions", thanks.
<wpwrak>
ah, wait. but that would change the meaning
<whitequark>
either is or, not xor, right?
<wpwrak>
either means A && B. for A || B, "if at least one of the conditions", "any of the conditions", ...
<whitequark>
wait whaaat
<whitequark>
my dictionary lists both && and || for either
<whitequark>
natural languages suck
<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
<wpwrak>
i think "either" used as "or" still means && :)
<kristianpaul>
good!
<kristianpaul>
(erc explanation)
<wpwrak>
but perhaps it's best to avoid "either" in such a context
<whitequark>
wpwrak: especially that it's intended to be a specification, yes.
<whitequark>
that also means I kind of misused "either" for, well, my whole conscious life
jluis has quit [Ping timeout: 245 seconds]
<wpwrak>
(plural -> is) the "one of" is a selection. you pick one of a multitude. e.g., |X| > 1 but |one of X| == 1
<whitequark>
wpwrak: I understand that theoretically it should be the case
<whitequark>
(by the way, sometimes I feel that I've built a small LALR parser in my head specifically for these ambiguous situations)
<wpwrak>
;-)
<whitequark>
ya know, the "any of" predicate has a higher priority than "is", and "is" is left-associative
<whitequark>
and so on
<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
<kristianpaul>
think fast think slow :)
<kristianpaul>
now you are mastering beyond !
<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.
<whitequark>
I can't remember how is it called, through