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
<whitequark> LOTS of implementations
<whitequark> also, the problem is np-hard. don't forget that :D
rejon has quit [Ping timeout: 260 seconds]
rejon has joined #qi-hardware
rejon has quit [Ping timeout: 276 seconds]
cladamw has joined #qi-hardware
rejon has joined #qi-hardware
<wolfspra1l> ah nice! I hadn't seen that yet
* rzk got enough of quine algo two years ago, it was in university course
<wolfspra1l> rzk: do you remember a good simple free tool?
<wolfspra1l> I'm looking at qmcs which is kinda nice but not very polished
<wolfspra1l> gpl licensed, command line, short and simple
<rzk> tool? I know only how to do it on paper :D thats why I got enough of it. theres some python implementations on wikipedia
<wolfspra1l> yes I think it's quite simple, OK I will see how I get it implemented
<wolfspra1l> very good lead to qmc though :-)
<rzk> check karnaugh maps also
<wolfspra1l> yes thanks, I know those
<wolfspra1l> feels like stoneage, somehow
<wolfspra1l> but of course, all good
emeb has quit [Ping timeout: 252 seconds]
rejon has quit [Ping timeout: 246 seconds]
<wpwrak> from qmcs, this seems to be a popular algorithm: http://en.wikipedia.org/wiki/Minilog
<wpwrak> s/qmcs/qmc algorithm/ even
<qi-bot> wpwrak meant: "from qmc algorithm, this seems to be a popular algorithm: http://en.wikipedia.org/wiki/Minilog"
jekhor has joined #qi-hardware
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 )
jluis|work has joined #qi-hardware
wolfspraul has joined #qi-hardware
wolfspra1l has quit [Ping timeout: 265 seconds]
jluis has quit [Ping timeout: 245 seconds]
jluis has joined #qi-hardware
jekhor has quit [Ping timeout: 252 seconds]
kristoffer has joined #qi-hardware
xwalk has quit [Quit: Leaving]
<qi-bot> [commit] Xiangfu: Add .gitignore file (master) http://qi-hw.com/p/fped/0562403
<qi-bot> [commit] Xiangfu: Switch debian/* from SVN to GIT, now build package base on git commit (master) http://qi-hw.com/p/fped/45805bd
<qi-bot> [commit] Xiangfu: update debian/copyright url (master) http://qi-hw.com/p/fped/728a39f
<qi-bot> [commit] Xiangfu: Update ChangeLog (master) http://qi-hw.com/p/xburst-tools/db247de
jekhor has joined #qi-hardware
cladamw has quit [Quit: Ex-Chat]
rejon has quit [Ping timeout: 250 seconds]
cladamw has joined #qi-hardware
Ayla has joined #qi-hardware
Ayla has quit [Ping timeout: 276 seconds]
Ayla has joined #qi-hardware
phirsch has quit [Read error: Operation timed out]
<qi-bot> [commit] Xiangfu: debian/control: update email address (master) http://qi-hw.com/p/fped/7f1d484
<qi-bot> [commit] Xiangfu: update email address (master) http://qi-hw.com/p/fped/e6fa108
Ayla has quit [Ping timeout: 272 seconds]
Ayla has joined #qi-hardware
cladamw has quit [Quit: Ex-Chat]
phirsch has joined #qi-hardware
DocScrutinizer06 has joined #qi-hardware
DocScrutinizer2 has joined #qi-hardware
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 )
Ayla has quit [Quit: dodo]