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
phirsch has quit [Ping timeout: 246 seconds]
phirsch has joined #qi-hardware
cladamw has joined #qi-hardware
rejon has quit [Ping timeout: 265 seconds]
Ayla has quit [Quit: dodo]
xiangfu has joined #qi-hardware
Fallenou has quit [Ping timeout: 276 seconds]
Fallenou has joined #qi-hardware
rejon has joined #qi-hardware
_whitelogger has joined #qi-hardware
ChanServ has joined #qi-hardware
compcube has quit [Quit: Leaving]
rejon has quit [Ping timeout: 260 seconds]
xwalk has joined #qi-hardware
rejon has joined #qi-hardware
emeb has joined #qi-hardware
cladamw has quit [Quit: Ex-Chat]
<wolfspra1l>
does anyone know of a C library to normalize/simplify boolean algebra?
<wolfspra1l>
for example I have something like (A&B&C)|(A&B&(~C)
<wolfspra1l>
if my brain works that is the same as A&B, right?
<wolfspra1l>
anyway, so I'm looking for a library/function call that can do that kind of normalization/simplification for me. I'm probably looking for the shortest expression.
<wolfspra1l>
will continue googling but maybe someone has a hint ;-)
<whitequark>
if you find it, could you drop a link?
<whitequark>
*will
<wolfspra1l>
I'm already mentally prepared to just write it down myself for my case
<wolfspra1l>
because even if I can find a library, it will be a whole bunch of functions and I need to convert to and from whatever format
<wolfspra1l>
but since my starting algebra is relatively controlled, I think I can just write down what I need from scratch in 100 lines or so. just want to make sure I'm not reinventing something that is an easy library call somewhere...
<wolfspra1l>
so - hold your hopes low, I already searched and couldn't find much
pabs3 has quit [Quit: Don't rest until all the world is paved in moss and greenery.]
rejon has joined #qi-hardware
jekhor has quit [Read error: Operation timed out]
jekhor has joined #qi-hardware
pabs3 has joined #qi-hardware
<qi-bot>
John Jeffery: I gave @qihardware +K about China on @klout. http://t.co/8UUPwzfd ( 215704213647396864@ChineseGardens - 35s ago via Tweet Button )
DocScrutinizer has quit [Disconnected by services]
DocScrutinizer05 has quit [Ping timeout: 246 seconds]
xiangfu has quit [Ping timeout: 246 seconds]
emeb has joined #qi-hardware
<qi-bot>
parlonrn9: @qihardware http://t.co/V2AhTHg2 ( 215814528078852098@parlonrn9 - 17s ago via web )
<wolfspraul>
that looks like spam, too bad
emeb has quit [Quit: Leaving.]
<gdm>
ok, so there've been lots of little tidbits of info about SGS2 in the past few days...
<gdm>
my question is, what does it actually mean for end users, and what can be done about it?
<gdm>
is running cyanogenmod enough, or are there other patches or other things that need to be installed (as well or instead of ... )?
<gdm>
thanks to whoever can help :)
jekhor has quit [Ping timeout: 264 seconds]
<whitequark>
gdm: join #replicant
<gdm>
whitequark: thanks. and should i repeat my question there?
<gdm>
or just lurk for a while?
<whitequark>
gdm: just repeat
<gdm>
ok, thanks :)
DocScrutinizer06 is now known as DocScrutinizer05
jekhor has joined #qi-hardware
paroneayea has quit [Read error: Connection reset by peer]
Jurting has joined #qi-hardware
compcube has joined #qi-hardware
compcube has quit [Changing host]
compcube has joined #qi-hardware
paroneayea has joined #qi-hardware
GNUtoo has joined #qi-hardware
kristoffer has quit [Quit: Leaving]
Freemor has joined #qi-hardware
Freemor has left #qi-hardware [#qi-hardware]
Jurting has quit [Quit: ChatZilla 0.9.88.2 [Firefox 13.0.1/20120614114901]]
jekhor has quit [Ping timeout: 246 seconds]
GNUtoo has quit [Quit: Program received signal SIGSEGV, Segmentation fault.]
<qi-bot>
Fabricatorz: Digital #Music: Blip Festival 2012 - Up Now: Burnkit2600 · NO CARRIER http://t.co/T5TQjnJb using Milkymist1 @milkymistvj and @qihardware ( 215946355837902849@fabricatorz - 24s ago via HootSuite )
<qi-bot>
Pete Ippel =: Digital #Music: Blip Festival 2012 - Up Now: Burnkit2600 · NO CARRIER http://t.co/xKRU6VC0 using @milkymistvj | @qihardware via @Fabricatorz ( 215946833564934145@hypermodern - 30s ago via HootSuite )