| 00:07.22 | *** join/#qi-hardware phirsch (~phirsch@xdsl-89-0-158-182.netcologne.de) |
| 00:28.30 | *** join/#qi-hardware cladamw (~adamwang@host-65.78-43-115.dynamic.totalbb.net.tw) |
| 01:55.14 | *** join/#qi-hardware xiangfu (~xiangfu@fidelio.qi-hardware.com) |
| 01:56.05 | *** join/#qi-hardware Fallenou (~sionneau@yozora-irc.net) |
| 02:02.21 | *** join/#qi-hardware rejon (~rejon@li408-40.members.linode.com) |
| 02:46.01 | *** join/#qi-hardware whitequark (~whitequar@2a00:ab00:1::4464:5550) |
| 02:46.10 | *** join/#qi-hardware _whitelogger (~whitelogg@kaunan.whitequark.org) |
| 02:50.47 | *** join/#qi-hardware ChanServ (ChanServ@services.) |
| 02:50.47 | *** mode/#qi-hardware [+o ChanServ] by kornbluth.freenode.net |
| 03:55.07 | *** join/#qi-hardware xwalk (~crosswalk@rrcs-98-102-156-195.central.biz.rr.com) |
| 03:58.00 | *** join/#qi-hardware rejon (~rejon@jp.fabricatorz.com) |
| 04:01.17 | *** join/#qi-hardware emeb (~ericb@12.68.180.146) |
| 04:26.33 | wolfspra1l | does anyone know of a C library to normalize/simplify boolean algebra? |
| 04:27.07 | wolfspra1l | for example I have something like (A&B&C)|(A&B&(~C) |
| 04:27.23 | wolfspra1l | if my brain works that is the same as A&B, right? |
| 04:27.53 | 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. |
| 04:28.02 | wolfspra1l | will continue googling but maybe someone has a hint ;-) |
| 04:30.44 | whitequark | if you find it, could you drop a link? |
| 04:31.00 | whitequark | *will |
| 04:35.27 | wolfspra1l | I'm already mentally prepared to just write it down myself for my case |
| 04:35.43 | 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 |
| 04:36.20 | 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... |
| 04:36.31 | wolfspra1l | so - hold your hopes low, I already searched and couldn't find much |
| 04:42.49 | whitequark | http://en.wikipedia.org/wiki/Quine%E2%80%93McCluskey_algorithm |
| 04:42.52 | whitequark | LOTS of implementations |
| 04:43.25 | whitequark | also, the problem is np-hard. don't forget that :D |
| 05:01.35 | *** join/#qi-hardware rejon (~rejon@li408-40.members.linode.com) |
| 05:14.56 | *** join/#qi-hardware cladamw (~adamwang@host-65.78-43-115.dynamic.totalbb.net.tw) |
| 05:15.09 | *** join/#qi-hardware rejon (~rejon@li408-40.members.linode.com) |
| 05:42.22 | wolfspra1l | ah nice! I hadn't seen that yet |
| 05:50.17 | rzk | got enough of quine algo two years ago, it was in university course |
| 05:50.36 | wolfspra1l | rzk: do you remember a good simple free tool? |
| 05:50.49 | wolfspra1l | I'm looking at qmcs which is kinda nice but not very polished |
| 05:50.58 | wolfspra1l | gpl licensed, command line, short and simple |
| 05:52.54 | 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 |
| 05:53.15 | wolfspra1l | yes I think it's quite simple, OK I will see how I get it implemented |
| 05:53.57 | wolfspra1l | very good lead to qmc though :-) |
| 05:55.44 | rzk | check karnaugh maps also |
| 05:55.55 | wolfspra1l | yes thanks, I know those |
| 05:56.04 | wolfspra1l | feels like stoneage, somehow |
| 05:56.13 | wolfspra1l | but of course, all good |
| 06:35.42 | wpwrak | from qmcs, this seems to be a popular algorithm: http://en.wikipedia.org/wiki/Minilog |
| 06:36.38 | wpwrak | s/qmcs/qmc algorithm/ even |
| 06:36.40 | qi-bot | wpwrak meant: "from qmc algorithm, this seems to be a popular algorithm: http://en.wikipedia.org/wiki/Minilog" |
| 06:50.54 | *** join/#qi-hardware jekhor (~jek@46.53.195.29) |
| 06:58.39 | *** join/#qi-hardware rejon (~rejon@jp.fabricatorz.com) |
| 07:02.45 | *** join/#qi-hardware jekhor (~jek@46.53.195.29) |
| 07:07.45 | *** join/#qi-hardware pabs3 (~pabs@d122-109-113-185.per801.wa.optusnet.com.au) |
| 07:15.02 | qi-bot | John Jeffery: I gave @qihardware +K about China on @klout. http://t.co/8UUPwzfd ( 215704213647396864@ChineseGardens - 35s ago via Tweet Button ) |
| 07:52.20 | *** join/#qi-hardware jluis|work (~jpddb@83.247.136.72) |
| 07:57.07 | *** join/#qi-hardware wolfspraul (~wolfsprau@222.130.125.47) |
| 08:20.02 | *** join/#qi-hardware jluis (~jluis@32.Red-79-152-171.dynamicIP.rima-tde.net) |
| 09:01.54 | *** join/#qi-hardware kristoffer (~kristoffe@c-6ddae555.010-30-6c6b7012.cust.bredbandsbolaget.se) |
| 10:03.53 | qi-bot | [commit] Xiangfu: Add .gitignore file (master) http://qi-hw.com/p/fped/0562403 |
| 10:03.54 | 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 |
| 10:28.50 | qi-bot | [commit] Xiangfu: update debian/copyright url (master) http://qi-hw.com/p/fped/728a39f |
| 10:36.06 | qi-bot | [commit] Xiangfu: Update ChangeLog (master) http://qi-hw.com/p/xburst-tools/db247de |
| 10:42.06 | *** join/#qi-hardware jekhor (~jek@46.216.29.247) |
| 11:36.25 | *** join/#qi-hardware cladamw (~adamwang@host-65.78-43-115.dynamic.totalbb.net.tw) |
| 11:58.36 | *** join/#qi-hardware Ayla (~paul@ACaen-252-1-222-82.w86-215.abo.wanadoo.fr) |
| 12:04.53 | *** join/#qi-hardware Ayla (~paul@ACaen-252-1-222-82.w86-215.abo.wanadoo.fr) |
| 12:08.24 | qi-bot | [commit] Xiangfu: debian/control: update email address (master) http://qi-hw.com/p/fped/7f1d484 |
| 12:08.25 | qi-bot | [commit] Xiangfu: update email address (master) http://qi-hw.com/p/fped/e6fa108 |
| 12:11.09 | *** join/#qi-hardware Ayla (~paul@ACaen-252-1-222-82.w86-215.abo.wanadoo.fr) |
| 12:22.01 | *** join/#qi-hardware phirsch (~phirsch@xdsl-89-0-159-68.netcologne.de) |
| 13:00.16 | *** join/#qi-hardware DocScrutinizer2 (~halley@openmoko/engineers/joerg) |
| 13:00.17 | *** join/#qi-hardware DocScrutinizer06 (~HaleBopp@openmoko/engineers/joerg) |
| 14:02.15 | *** join/#qi-hardware emeb (~ericb@12.68.180.146) |
| 14:33.04 | qi-bot | parlonrn9: @qihardware http://t.co/V2AhTHg2 ( 215814528078852098@parlonrn9 - 17s ago via web ) |
| 14:44.04 | wolfspraul | that looks like spam, too bad |
| 15:19.41 | gdm | ok, so there've been lots of little tidbits of info about SGS2 in the past few days... |
| 15:20.07 | gdm | my question is, what does it actually mean for end users, and what can be done about it? |
| 15:20.39 | gdm | is running cyanogenmod enough, or are there other patches or other things that need to be installed (as well or instead of ... )? |
| 15:20.49 | gdm | thanks to whoever can help :) |
| 16:05.55 | whitequark | gdm: join #replicant |
| 16:23.00 | gdm | whitequark: thanks. and should i repeat my question there? |
| 16:23.07 | gdm | or just lurk for a while? |
| 16:23.32 | whitequark | gdm: just repeat |
| 16:26.37 | gdm | ok, thanks :) |
| 18:05.35 | *** join/#qi-hardware jekhor (~jek@46.53.195.29) |
| 20:19.53 | *** join/#qi-hardware Jurting (~chatzilla@ip-103-49-179-93.dialup.ice.net) |
| 20:51.45 | *** join/#qi-hardware compcube (~compcube@c-68-43-48-46.hsd1.mi.comcast.net) |
| 20:51.46 | *** join/#qi-hardware compcube (~compcube@pdpc/supporter/student/compcube) |
| 21:02.48 | *** join/#qi-hardware paroneayea (~user@fsf/member/paroneayea) |
| 21:03.38 | *** join/#qi-hardware GNUtoo (~gnutoo@95.236.144.232) |
| 21:13.05 | *** join/#qi-hardware Freemor (~Freemor@ec2-174-129-226-140.compute-1.amazonaws.com) |
| 21:16.01 | *** part/#qi-hardware Freemor (~Freemor@ec2-174-129-226-140.compute-1.amazonaws.com) |
| 23:17.01 | 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 ) |
| 23:19.01 | 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 ) |