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
xiangfu has joined #qi-hardware
guanucoluis has quit [Ping timeout: 245 seconds]
jluis has joined #qi-hardware
xdpirate has quit [Quit: http://gamelauncher.pvpsucks.com/]
hellekin has quit [Read error: Connection reset by peer]
jluis has quit [Ping timeout: 245 seconds]
urandom__ has quit [Quit: Konversation terminated!]
jluis has joined #qi-hardware
N1ck has joined #qi-hardware
nikescar has quit [Read error: Connection reset by peer]
nikescar has joined #qi-hardware
Ayla has quit [Quit: dodo]
rejon has joined #qi-hardware
lindi- has quit [*.net *.split]
DocScrutinizer05 has quit [Disconnected by services]
DocScrutinizer05 has joined #qi-hardware
xiangfu has quit [Ping timeout: 248 seconds]
lindi- has joined #qi-hardware
jluis|work has quit [Ping timeout: 265 seconds]
emeb has quit [Quit: Leaving.]
xiangfu has joined #qi-hardware
arossDOTme has quit [Quit: Ex-Chat]
rejon has quit [Ping timeout: 246 seconds]
N1ck has quit [Quit: Computer has gone to sleep.]
xiangfu has quit [Ping timeout: 245 seconds]
xiangfu has joined #qi-hardware
xiangfu has quit [Ping timeout: 245 seconds]
rejon has joined #qi-hardware
xiangfu has joined #qi-hardware
xiangfu has quit [Ping timeout: 252 seconds]
jluis|work has joined #qi-hardware
jekhor has joined #qi-hardware
xiangfu has joined #qi-hardware
kristoffer has joined #qi-hardware
rejon has quit [Ping timeout: 246 seconds]
jluis has quit [Ping timeout: 268 seconds]
jekhor has quit [Ping timeout: 244 seconds]
jluis has joined #qi-hardware
xiangfu has quit [Remote host closed the connection]
xiangfu has joined #qi-hardware
xiangfu has quit [Read error: Connection reset by peer]
jekhor has joined #qi-hardware
xiangfu has joined #qi-hardware
GNUtoo-desktop has joined #qi-hardware
GNUtoo-desktop has quit [Remote host closed the connection]
porchaso0 has joined #qi-hardware
porchao has quit [Ping timeout: 245 seconds]
alexander has joined #qi-hardware
alexander is now known as Guest34979
jluis|work has quit [Ping timeout: 245 seconds]
kristoffer has quit [Read error: Connection reset by peer]
Jurting has quit [Remote host closed the connection]
Jurting has joined #qi-hardware
erikkugel has joined #qi-hardware
rejon has joined #qi-hardware
rejon has quit [Ping timeout: 255 seconds]
rejon has joined #qi-hardware
heberth has joined #qi-hardware
rejon has quit [Ping timeout: 248 seconds]
rejon has joined #qi-hardware
Jurting has quit [Remote host closed the connection]
heberth has quit [Quit: leaving]
xiangfu has quit [Ping timeout: 252 seconds]
erikkugel has left #qi-hardware [#qi-hardware]
porchaso0 has quit [Ping timeout: 246 seconds]
rejon has quit [Ping timeout: 244 seconds]
wej has quit [Ping timeout: 272 seconds]
wej has joined #qi-hardware
paroneayea has quit [Remote host closed the connection]
erikkugel has joined #qi-hardware
paroneayea has joined #qi-hardware
aisa has joined #qi-hardware
paroneayea has quit [Read error: Connection reset by peer]
jekhor has quit [Ping timeout: 240 seconds]
jekhor has joined #qi-hardware
kristoffer has joined #qi-hardware
kristoffer has quit [Client Quit]
paroneayea has joined #qi-hardware
kristoffer has joined #qi-hardware
emeb has joined #qi-hardware
Ayla has joined #qi-hardware
Guest34979 is now known as arossDOTme
rejon has joined #qi-hardware
Ayla has quit [Ping timeout: 260 seconds]
jekhor has quit [Ping timeout: 255 seconds]
Ayla has joined #qi-hardware
rejon has quit [Ping timeout: 245 seconds]
Ayla has quit [Ping timeout: 246 seconds]
lekernel_ has joined #qi-hardware
lekernel has quit [Ping timeout: 260 seconds]
xdpirate has joined #qi-hardware
jekhor has joined #qi-hardware
he2 has joined #qi-hardware
he2 has quit [Ping timeout: 245 seconds]
jluis has quit [Ping timeout: 260 seconds]
he2 has joined #qi-hardware
guanucoluis1 has joined #qi-hardware
erikkugel has left #qi-hardware [#qi-hardware]
jluis has joined #qi-hardware
LunaVorax has quit [Quit: Quitte]
heberth has joined #qi-hardware
<viric> larsc: thanks to you I appear in the 3.6 kernel log :)
<viric> what a honor
kristoffer has quit [Quit: Leaving]
aisa has quit [Quit: leaving]
pcercuei has joined #qi-hardware
<wpwrak> viric: now you'll get all those calls from google recuiting ;-)
urandom__ has joined #qi-hardware
Jurting has joined #qi-hardware
guanucoluis1 has quit [Remote host closed the connection]
jekhor has quit [Ping timeout: 255 seconds]
guanucoluis has joined #qi-hardware
<arossDOTme> well done