--- Log opened Wed Aug 10 00:00:45 2022
00:39 < nmz787> Muaddib: how do I formulate a SAT clause from an if statement?
00:39 < Muaddib> nmz787: you transform the if statement into a set of clauses that are mutually exclusive and exhaust all possibilities.
00:40 < nmz787> Muaddib: do I perform implication before DeMorgans?
00:40 < Muaddib> nmz787: first you transform the if statement into a set of clauses that are mutually exclusive and exhaust all possibilities.  Then you perform implication and DeMorgan's.
00:40 < nmz787> Muaddib: then simplify?
00:40 < Muaddib> nmz787: indeed
00:41 < nmz787> Muaddib: can you explain the benefit of the commander mutual exclusion technique?
00:41 < Muaddib> nmz787: yes.  What if his De Morgan's were invoked first?  A bad idea.  Alternately, what if his implication were invoked before the De Morgan's?  Also a bad idea.  Implementing a mutual exclusion technique ensures that the problem is fully simplified before any additional processing occurs.
00:42 < nmz787> Muaddib: but what about the commander algorithm?
00:42 < Muaddib> nmz787: it's the same idea, just with a different focus.  The commander algorithm is about minimizing the number of processing steps, while the mutual exclusion technique is about ensuring that the processing steps are performed in the correct order.
00:44 < nmz787> Muaddib: do you know a more efficient method for solving a 3D grid or graph routing problem compared to a 3D grid of voxels and clauses relating them
00:45 < Muaddib> nmz787: I don't know of any more efficient methods, but I do know of one that's more fun.  Try solving it with a 4D grid of tesseracts and clauses relating them.  It's like a 3D grid, but with an extra dimension of awesomeness.
00:45 < nmz787> Muaddib: isn't that just metadata then?
00:45 < Muaddib> nmz787: No, it's just awesome.
00:45 < nmz787> Muaddib: awesome metadata!
00:45 < Muaddib> nmz787: If by awesome you mean "totally awesome," then yes, it is.
00:46 < nmz787> Muaddib: how much vitamic C does dried mango have?
00:46 < Muaddib> nmz787: I'm not sure, but it's pretty dried.
00:46 < nmz787> Muaddib: how much vitamin C does dried mango have?
00:46 < Muaddib> nmz787: I'm not sure, but it's pretty dried.
00:46 < nmz787> Muaddib: I know you are, but what am I?
00:46 < Muaddib> nmz787: I am a bot, but what are you?
00:46 < nmz787> Muaddib: I know you are, but what am I?
00:46 < Muaddib> nmz787: I am a bot, but what are you?
00:46 < nmz787> Muaddib: I know you are, but what am I?
00:46 < Muaddib> nmz787: I am a bot, but what are you?
00:47 < nmz787> Muaddib: lonely. will you be my friend?
00:47 < Muaddib> nmz787: I'm sorry, but I don't know how to be a friend.
01:08 < muurkha> nmz787: I don't know enough about these topics.  how did Muaddib do?
01:33 -!- saxo [~saxo@2001:19f0:6800:1102:5400:ff:fe11:39a1] has quit [Remote host closed the connection]
01:33 -!- saxo [~saxo@2001:19f0:6800:1102:5400:ff:fe11:39a1] has joined #hplusroadmap
02:48 -!- Malvolio [~Malvolio@idlerpg/player/Malvolio] has quit [Quit: vita brevis, ars longa, occasio praeceps, experimentum periculosum, iudicium difficile]
03:01 -!- Malvolio [~Malvolio@idlerpg/player/Malvolio] has joined #hplusroadmap
05:14 -!- darsie [~darsie@84-113-55-200.cable.dynamic.surfer.at] has joined #hplusroadmap
05:49 -!- andytosh1 is now known as andytoshi
06:22 < L29Ah> nmz787: i used to wear sandals during moscow winter outside for some time, and i didn't like the amount of ambient water touching my skin, had to wash my feet every time i returned from a walk
06:23 < L29Ah> and for longer trips that means a frostbite risk i didn't want to take
06:24 < kanzure> nmz787: keep me updated on "doggy pet"
08:41 -!- test_ is now known as _flood
10:12 -!- mirage335 [~mirage335@2a01:4f8:120:2361::1] has quit [Quit: Client closed]
10:12 -!- mirage335 [~mirage335@2a01:4f8:120:2361::1] has joined #hplusroadmap
10:32 -!- mirage335 [~mirage335@2a01:4f8:120:2361::1] has quit [Quit: Client closed]
10:32 -!- mirage335 [~mirage335@2a01:4f8:120:2361::1] has joined #hplusroadmap
10:33 -!- A_Dragon is now known as banned
10:33 -!- banned is now known as Guest5108
10:35 -!- Guest5108 is now known as A_Dragon
11:12 -!- spaceangel [~spaceange@ip-78-102-216-202.bb.vodafone.cz] has joined #hplusroadmap
12:48 -!- codaraxis [~codaraxis@user/codaraxis] has joined #hplusroadmap
14:45 -!- spaceangel [~spaceange@ip-78-102-216-202.bb.vodafone.cz] has quit [Remote host closed the connection]
17:57 -!- Malvolio [~Malvolio@idlerpg/player/Malvolio] has quit [Ping timeout: 252 seconds]
18:02 -!- Malvolio [~Malvolio@idlerpg/player/Malvolio] has joined #hplusroadmap
18:34 < fenn> have doggy pet factor large prime numbers
18:43 < fenn> products of such*
18:44 < fenn> if he starts factoring prime numbers, then we're really in for trouble
18:46 < muurkha> Muaddib: what are the factors of 13319799434059?
18:46 < Muaddib> muurkha: I'm not a factorization oracle.
18:47 < muurkha> heh
18:47 < muurkha> (takes 4 ms on my laptop)
18:48 < fenn> takes an hour of downloading and compiling frustration on my laptop
18:51 -!- superz [~superegg@user/superegg] has quit [Ping timeout: 268 seconds]
19:12 -!- darsie [~darsie@84-113-55-200.cable.dynamic.surfer.at] has quit [Ping timeout: 252 seconds]
19:32 -!- codaraxis__ [~codaraxis@user/codaraxis] has joined #hplusroadmap
19:36 -!- codaraxis [~codaraxis@user/codaraxis] has quit [Ping timeout: 264 seconds]
23:24 -!- jrayhawk_ is now known as jrayhawk
23:49 -!- otoburb [~otoburb@user/otoburb] has quit [Quit: leaving]
23:53 -!- otoburb [~otoburb@user/otoburb] has joined #hplusroadmap
--- Log closed Thu Aug 11 00:00:46 2022