2012-06-21 00:01 phirsch has quit [Ping timeout: 246 seconds] 2012-06-21 00:07 phirsch has joined #qi-hardware 2012-06-21 00:28 cladamw has joined #qi-hardware 2012-06-21 00:47 rejon has quit [Ping timeout: 265 seconds] 2012-06-21 01:21 Ayla has quit [Quit: dodo] 2012-06-21 01:55 xiangfu has joined #qi-hardware 2012-06-21 01:55 Fallenou has quit [Ping timeout: 276 seconds] 2012-06-21 01:56 Fallenou has joined #qi-hardware 2012-06-21 02:02 rejon has joined #qi-hardware 2012-06-21 02:46 _whitelogger has joined #qi-hardware 2012-06-21 02:50 ChanServ has joined #qi-hardware 2012-06-21 02:56 compcube has quit [Quit: Leaving] 2012-06-21 03:47 rejon has quit [Ping timeout: 260 seconds] 2012-06-21 03:55 xwalk has joined #qi-hardware 2012-06-21 03:58 rejon has joined #qi-hardware 2012-06-21 04:01 emeb has joined #qi-hardware 2012-06-21 04:20 cladamw has quit [Quit: Ex-Chat] 2012-06-21 04:26 does anyone know of a C library to normalize/simplify boolean algebra? 2012-06-21 04:27 for example I have something like (A&B&C)|(A&B&(~C) 2012-06-21 04:27 if my brain works that is the same as A&B, right? 2012-06-21 04:27 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. 2012-06-21 04:28 will continue googling but maybe someone has a hint ;-) 2012-06-21 04:30 if you find it, could you drop a link? 2012-06-21 04:31 *will 2012-06-21 04:35 I'm already mentally prepared to just write it down myself for my case 2012-06-21 04:35 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 2012-06-21 04:36 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... 2012-06-21 04:36 so - hold your hopes low, I already searched and couldn't find much 2012-06-21 04:42 http://en.wikipedia.org/wiki/Quine%E2%80%93McCluskey_algorithm 2012-06-21 04:42 LOTS of implementations 2012-06-21 04:43 also, the problem is np-hard. don't forget that :D 2012-06-21 04:49 rejon has quit [Ping timeout: 260 seconds] 2012-06-21 05:01 rejon has joined #qi-hardware 2012-06-21 05:14 rejon has quit [Ping timeout: 276 seconds] 2012-06-21 05:14 cladamw has joined #qi-hardware 2012-06-21 05:15 rejon has joined #qi-hardware 2012-06-21 05:42 ah nice! I hadn't seen that yet 2012-06-21 05:50 * rzk got enough of quine algo two years ago, it was in university course 2012-06-21 05:50 rzk: do you remember a good simple free tool? 2012-06-21 05:50 I'm looking at qmcs which is kinda nice but not very polished 2012-06-21 05:50 gpl licensed, command line, short and simple 2012-06-21 05:52 tool? I know only how to do it on paper :D thats why I got enough of it. theres some python implementations on wikipedia 2012-06-21 05:53 yes I think it's quite simple, OK I will see how I get it implemented 2012-06-21 05:53 very good lead to qmc though :-) 2012-06-21 05:55 check karnaugh maps also 2012-06-21 05:55 yes thanks, I know those 2012-06-21 05:56 feels like stoneage, somehow 2012-06-21 05:56 but of course, all good 2012-06-21 06:06 emeb has quit [Ping timeout: 252 seconds] 2012-06-21 06:09 rejon has quit [Ping timeout: 246 seconds] 2012-06-21 06:35 from qmcs, this seems to be a popular algorithm: http://en.wikipedia.org/wiki/Minilog 2012-06-21 06:36 s/qmcs/qmc algorithm/ even 2012-06-21 06:36 wpwrak meant: "from qmc algorithm, this seems to be a popular algorithm: http://en.wikipedia.org/wiki/Minilog" 2012-06-21 06:50 jekhor has joined #qi-hardware 2012-06-21 06:57 pabs3 has quit [Quit: Don't rest until all the world is paved in moss and greenery.] 2012-06-21 06:58 rejon has joined #qi-hardware 2012-06-21 07:00 jekhor has quit [Read error: Operation timed out] 2012-06-21 07:02 jekhor has joined #qi-hardware 2012-06-21 07:07 pabs3 has joined #qi-hardware 2012-06-21 07:15 John Jeffery: I gave @qihardware +K about China on @klout. http://t.co/8UUPwzfd ( 215704213647396864@ChineseGardens - 35s ago via Tweet Button ) 2012-06-21 07:52 jluis|work has joined #qi-hardware 2012-06-21 07:57 wolfspraul has joined #qi-hardware 2012-06-21 08:00 wolfspra1l has quit [Ping timeout: 265 seconds] 2012-06-21 08:07 jluis has quit [Ping timeout: 245 seconds] 2012-06-21 08:20 jluis has joined #qi-hardware 2012-06-21 08:54 jekhor has quit [Ping timeout: 252 seconds] 2012-06-21 09:01 kristoffer has joined #qi-hardware 2012-06-21 09:27 xwalk has quit [Quit: Leaving] 2012-06-21 10:03 [commit] Xiangfu: Add .gitignore file (master) http://qi-hw.com/p/fped/0562403 2012-06-21 10:03 [commit] Xiangfu: Switch debian/* from SVN to GIT, now build package base on git commit (master) http://qi-hw.com/p/fped/45805bd 2012-06-21 10:28 [commit] Xiangfu: update debian/copyright url (master) http://qi-hw.com/p/fped/728a39f 2012-06-21 10:36 [commit] Xiangfu: Update ChangeLog (master) http://qi-hw.com/p/xburst-tools/db247de 2012-06-21 10:42 jekhor has joined #qi-hardware 2012-06-21 10:45 cladamw has quit [Quit: Ex-Chat] 2012-06-21 11:06 rejon has quit [Ping timeout: 250 seconds] 2012-06-21 11:36 cladamw has joined #qi-hardware 2012-06-21 11:58 Ayla has joined #qi-hardware 2012-06-21 12:03 Ayla has quit [Ping timeout: 276 seconds] 2012-06-21 12:04 Ayla has joined #qi-hardware 2012-06-21 12:05 phirsch has quit [Read error: Operation timed out] 2012-06-21 12:08 [commit] Xiangfu: debian/control: update email address (master) http://qi-hw.com/p/fped/7f1d484 2012-06-21 12:08 [commit] Xiangfu: update email address (master) http://qi-hw.com/p/fped/e6fa108 2012-06-21 12:10 Ayla has quit [Ping timeout: 272 seconds] 2012-06-21 12:11 Ayla has joined #qi-hardware 2012-06-21 12:19 cladamw has quit [Quit: Ex-Chat] 2012-06-21 12:22 phirsch has joined #qi-hardware 2012-06-21 13:00 DocScrutinizer06 has joined #qi-hardware 2012-06-21 13:00 DocScrutinizer2 has joined #qi-hardware 2012-06-21 13:00 DocScrutinizer has quit [Disconnected by services] 2012-06-21 13:00 DocScrutinizer05 has quit [Ping timeout: 246 seconds] 2012-06-21 14:00 xiangfu has quit [Ping timeout: 246 seconds] 2012-06-21 14:02 emeb has joined #qi-hardware 2012-06-21 14:33 parlonrn9: @qihardware http://t.co/V2AhTHg2 ( 215814528078852098@parlonrn9 - 17s ago via web ) 2012-06-21 14:44 that looks like spam, too bad 2012-06-21 14:49 emeb has quit [Quit: Leaving.] 2012-06-21 15:19 ok, so there've been lots of little tidbits of info about SGS2 in the past few days... 2012-06-21 15:20 my question is, what does it actually mean for end users, and what can be done about it? 2012-06-21 15:20 is running cyanogenmod enough, or are there other patches or other things that need to be installed (as well or instead of ... )? 2012-06-21 15:20 thanks to whoever can help :) 2012-06-21 15:40 jekhor has quit [Ping timeout: 264 seconds] 2012-06-21 16:05 gdm: join #replicant 2012-06-21 16:23 whitequark: thanks. and should i repeat my question there? 2012-06-21 16:23 or just lurk for a while? 2012-06-21 16:23 gdm: just repeat 2012-06-21 16:26 ok, thanks :) 2012-06-21 17:30 DocScrutinizer06 is now known as DocScrutinizer05 2012-06-21 18:05 jekhor has joined #qi-hardware 2012-06-21 18:37 paroneayea has quit [Read error: Connection reset by peer] 2012-06-21 20:19 Jurting has joined #qi-hardware 2012-06-21 20:51 compcube has joined #qi-hardware 2012-06-21 20:51 compcube has quit [Changing host] 2012-06-21 20:51 compcube has joined #qi-hardware 2012-06-21 21:02 paroneayea has joined #qi-hardware 2012-06-21 21:03 GNUtoo has joined #qi-hardware 2012-06-21 21:07 kristoffer has quit [Quit: Leaving] 2012-06-21 21:13 Freemor has joined #qi-hardware 2012-06-21 21:16 Freemor has left #qi-hardware [#qi-hardware] 2012-06-21 21:35 Jurting has quit [Quit: ChatZilla 0.9.88.2 [Firefox 13.0.1/20120614114901]] 2012-06-21 21:50 jekhor has quit [Ping timeout: 246 seconds] 2012-06-21 23:16 GNUtoo has quit [Quit: Program received signal SIGSEGV, Segmentation fault.] 2012-06-21 23:17 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 ) 2012-06-21 23:19 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 ) 2012-06-21 23:46 Ayla has quit [Quit: dodo]