tag:blogger.com,1999:blog-5222232069415448248.post2259656402324470255..comments2024-03-05T22:07:32.435-08:00Comments on bucephalus.org: PropLogicbucephalushttp://www.blogger.com/profile/10322402600537850032noreply@blogger.comBlogger22125tag:blogger.com,1999:blog-5222232069415448248.post-55991904839160168152023-12-15T21:40:41.914-08:002023-12-15T21:40:41.914-08:00AWS billing embodies the financial backbone of yo...<a href="https://leasepacket.com/aws-billing-partner/" rel="nofollow">AWS billing</a> embodies the financial backbone of your cloud infrastructure, encapsulating the cost management and insights pivotal to optimizing your cloud usage. Understanding AWS <a href="https://maxefo3383.wixsite.com/bhovesh" rel="nofollow">billing</a> is central to maximizing efficiency and cost-effectiveness within your cloud environment.Tecrobber Bloghttps://www.blogger.com/profile/08673300042797897616noreply@blogger.comtag:blogger.com,1999:blog-5222232069415448248.post-65317474378186332602023-09-05T20:04:44.566-07:002023-09-05T20:04:44.566-07:00https://saglamproxy.com
metin2 proxy
proxy satın a...<a href="https://saglamproxy.com/" rel="nofollow">https://saglamproxy.com</a><br /><a href="https://saglamproxy.com/metin-2-proxy-satin-al/" title="metin2 proxy" rel="nofollow">metin2 proxy</a><br /><a href="https://saglamproxy.com/ipv4-residential-proxy-satin-al/" title="proxy satın al" rel="nofollow">proxy satın al</a><br /><a href="https://saglamproxy.com/knight-online-proxy-satin-al/" title="knight online proxy" rel="nofollow">knight online proxy</a><br /><a href="https://saglamproxy.com/4g-mobil-proxy-satin-al/" title="mobil proxy satın al" rel="nofollow">mobil proxy satın al</a><br />İDU7nehirnoreply@blogger.comtag:blogger.com,1999:blog-5222232069415448248.post-56775450347369262372023-07-09T11:45:46.319-07:002023-07-09T11:45:46.319-07:00başakşehir
bayrampaşa
beşiktaş
beykoz
beylikdüzü
A...<a href="https://basaksehir.escorthun.com/" title="başakşehir" rel="nofollow">başakşehir</a><br /><a href="https://bayrampasa.escorthun.com/" title="bayrampaşa" rel="nofollow">bayrampaşa</a><br /><a href="https://besiktas.escorthun.com/" title="beşiktaş" rel="nofollow">beşiktaş</a><br /><a href="https://beykoz.escorthun.com/" title="beykoz" rel="nofollow">beykoz</a><br /><a href="https://beykizduzu.escorthun.com/" title="beylikdüzü" rel="nofollow">beylikdüzü</a><br />AZVGEumaynoreply@blogger.comtag:blogger.com,1999:blog-5222232069415448248.post-42203393118463847772023-05-14T08:59:11.869-07:002023-05-14T08:59:11.869-07:00This comment has been removed by the author.mahima Bannergiehttps://www.blogger.com/profile/02729695363729363047noreply@blogger.comtag:blogger.com,1999:blog-5222232069415448248.post-2413033470163991512022-12-26T23:24:08.409-08:002022-12-26T23:24:08.409-08:00Good content. You write beautiful things.
taksi
...Good content. You write beautiful things.
<br /><a href="https://taksikenti.com/taksi/" title="taksi" rel="nofollow">taksi</a>
<br /><a href="https://mrbahise.com/" title="mrbahis" rel="nofollow">mrbahis</a>
<br /><a href="https://hacklink.gen.tr/" title="hacklink" rel="nofollow">hacklink</a>
<br /><a href="https://bit.ly/vbet-vbet-vbet" title="vbet" rel="nofollow">vbet</a>
<br /><a href="https://taksikenti.com/" title="korsan taksi" rel="nofollow">korsan taksi</a>
<br /><a href="https://bit.ly/sportsbet-sportsbet-sportsbet" title="sportsbet" rel="nofollow">sportsbet</a>
<br /><a href="https://sportsbetgiris.net/" title="sportsbet" rel="nofollow">sportsbet</a>
<br /><a href="https://bit.ly/mrbahis-mrbahis" title="mrbahis" rel="nofollow">mrbahis</a>
<br /><a href="https://vbettr.org/" title="vbet" rel="nofollow">vbet</a>hacklinkhttps://bit.ly/hacklink-hacklink-hacklinknoreply@blogger.comtag:blogger.com,1999:blog-5222232069415448248.post-66407716213097231852022-12-23T11:34:21.907-08:002022-12-23T11:34:21.907-08:00Success Write content success. Thanks.
betpark
k...Success Write content success. Thanks.
<br /><a href="https://bit.ly/betpark-betpark" rel="nofollow">betpark</a>
<br /><a href="https://bit.ly/kibris-bahis-siteleri" rel="nofollow">kıbrıs bahis siteleri</a>
<br /><a href="https://bit.ly/kralbet-kralbet" rel="nofollow">kralbet</a>
<br /><a href="https://bit.ly/betmatik-betmatik" rel="nofollow">betmatik</a>
<br /><a href="https://bit.ly/canli-poker-siteleri" rel="nofollow">canlı poker siteleri</a>
<br /><a href="https://bit.ly/canli-slot-siteleri" rel="nofollow">canlı slot siteleri</a>
<br /><a href="https://bit.ly/betturkey-betturkey" rel="nofollow">betturkey</a>deneme bonusuhttps://bit.ly/deneme-bonusu-girisnoreply@blogger.comtag:blogger.com,1999:blog-5222232069415448248.post-81898579131198546742022-06-02T10:59:06.369-07:002022-06-02T10:59:06.369-07:00çekmeköy bosch klima servisi
ataşehir vestel klima...<a href="https://www.beyazesyateknikservisi.com.tr/servis/cekmekoy-bosch-klima-servisi" title="çekmeköy bosch klima servisi" rel="nofollow">çekmeköy bosch klima servisi</a><br /><a href="https://www.beyazesyateknikservisi.com.tr/servis/atasehir-vestel-klima-servisi" title="ataşehir vestel klima servisi" rel="nofollow">ataşehir vestel klima servisi</a><br /><a href="https://www.beyazesyateknikservisi.com.tr/servis/atasehir-bosch-klima-servisi" title="ataşehir bosch klima servisi" rel="nofollow">ataşehir bosch klima servisi</a><br /><a href="https://www.beyazesyateknikservisi.com.tr/servis/cekmekoy-arcelik-klima-servisi" title="çekmeköy arçelik klima servisi" rel="nofollow">çekmeköy arçelik klima servisi</a><br /><a href="https://www.beyazesyateknikservisi.com.tr/servis/maltepe-samsung-klima-servisi" title="maltepe samsung klima servisi" rel="nofollow">maltepe samsung klima servisi</a><br /><a href="https://www.beyazesyateknikservisi.com.tr/servis/kadikoy-samsung-klima-servisi" title="kadıköy samsung klima servisi" rel="nofollow">kadıköy samsung klima servisi</a><br /><a href="https://www.beyazesyateknikservisi.com.tr/servis/maltepe-mitsubishi-klima-servisi" title="maltepe mitsubishi klima servisi" rel="nofollow">maltepe mitsubishi klima servisi</a><br /><a href="https://www.beyazesyateknikservisi.com.tr/servis/kadikoy-mitsubishi-klima-servisi" title="kadıköy mitsubishi klima servisi" rel="nofollow">kadıköy mitsubishi klima servisi</a><br /><a href="https://www.beyazesyateknikservisi.com.tr/servis/kartal-vestel-klima-servisi" title="kartal vestel klima servisi" rel="nofollow">kartal vestel klima servisi</a><br />Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-5222232069415448248.post-47581013246671671842022-05-25T23:37:11.245-07:002022-05-25T23:37:11.245-07:00SMM PANEL
SMM PANEL
İş İlanları Blog
İNSTAGRAM TAK...<a href="https://bit.ly/smm-panel-smm-panel-smm-panel" title="SMM PANEL" hreflang="tr" rel="nofollow">SMM PANEL</a><br /><a href="https://igtr.net/" title="SMM PANEL" hreflang="tr" rel="nofollow">SMM PANEL</a><br /><a href="https://isilanlariblog.com/" hreflang="tr" rel="nofollow">İş İlanları Blog</a><br /><a href="https://bit.ly/takipci-satin-al-takipci-satin-al-takipci-satin-al" rel="nofollow">İNSTAGRAM TAKİPÇİ SATIN AL</a><br /><a href="https://www.hirdavatciburada.com/" title="hirdavatciburada.com" hreflang="tr" rel="nofollow">hirdavatciburada.com</a><br /><a href="https://www.beyazesyateknikservisi.com.tr" hreflang="tr" rel="nofollow">beyazesyateknikservisi.com.tr</a><br /><a href="https://www.beyazesyateknikservisi.com.tr/servis/" hreflang="tr" rel="nofollow">Servis</a><br /><a href="https://bit.ly/tiktok-jeton-hilesi-smsbankasi" title="TİKTOK JETON HİLE" hreflang="tr" rel="nofollow">TİKTOK JETON HİLE</a><br />Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-5222232069415448248.post-83049649428486173972021-10-08T02:56:01.173-07:002021-10-08T02:56:01.173-07:00aws solution architect training
azure solution arc...<a href="https://k21academy.com/aws-certified-solutions-architect-associate-saa-c02-training/" rel="nofollow">aws solution architect training</a><br /><a href="https://k21academy.com/az-303-az304-microsoft-azure-solutions-architect-certification-training/" rel="nofollow">azure solution architect certification</a><br /><a href="https://k21academy.com/openshift-training/" rel="nofollow">openshift certification</a><br /><a href="https://k21academy.com/microsoft-azure-data-engineer-associate-dp203/" rel="nofollow">azure data engineer certification</a><br />aaryanhttps://www.blogger.com/profile/15190829436391251362noreply@blogger.comtag:blogger.com,1999:blog-5222232069415448248.post-30955171648152826752021-08-29T08:45:07.620-07:002021-08-29T08:45:07.620-07:00world777 id<a href="http://www.world777admin.com/" rel="nofollow">world777 id</a><br />cloudbeginnershttps://www.blogger.com/profile/04053432950160970587noreply@blogger.comtag:blogger.com,1999:blog-5222232069415448248.post-45312475062735385612014-01-14T04:49:44.732-08:002014-01-14T04:49:44.732-08:00Please, what is the name of the author of PropLogi...Please, what is the name of the author of PropLogic?Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-5222232069415448248.post-20250246646364832892012-08-16T04:53:41.024-07:002012-08-16T04:53:41.024-07:00Hi,
About the SAT solving part. I want to check i...Hi,<br /><br />About the SAT solving part. I want to check if I understand the documentation correctly. Does the following command<br /><br />./PropLogic primForm "[[-1,2,3],[1,2,3],[-1,2,-3],[-1,-2,3],[-1,-2,3],[-1,2,3]]"<br /><br />that results in<br /><br />[[-1,2],[-1,3],[2,3]]<br /><br />mean that all three disjunction pairs in the result contain a valid truth value assignment to solve the problem? Isn't finding all possible ways to satisfy the SAT problem much slower than just finding one solution? Or is there some other way for just finding "the first" solution to the satisfiability problem?Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-5222232069415448248.post-65739471515270230382011-08-12T09:30:51.759-07:002011-08-12T09:30:51.759-07:00Speaking of the PropForm datatype, I would suggest...Speaking of the PropForm datatype, I would suggest that it is unfortunate that CJ [a, b] is not EQ to CJ [b, a] - it might be better to use sets for the arguments of commuative operators rather than lists.David Foxhttps://www.blogger.com/profile/08647513681648780163noreply@blogger.comtag:blogger.com,1999:blog-5222232069415448248.post-54495295425847674252010-11-24T03:21:00.624-08:002010-11-24T03:21:00.624-08:00Interesting article, added his blog to FavoritesInteresting article, added his blog to Favoritesgeneric cialishttp://www.agir-galiza.org/noreply@blogger.comtag:blogger.com,1999:blog-5222232069415448248.post-36171208986742399152010-02-23T10:42:10.317-08:002010-02-23T10:42:10.317-08:00Well, I'm not really an expert, I may have mis...Well, I'm not really an expert, I may have misunderstood the intent of your code, or failed to think it through. At this point I'm only using the PropForm datatype.David Foxhttps://www.blogger.com/profile/08647513681648780163noreply@blogger.comtag:blogger.com,1999:blog-5222232069415448248.post-2206694873194021342010-02-09T05:04:30.428-08:002010-02-09T05:04:30.428-08:00Dear David Fox!
Thank you very much, again.
On a H...Dear David Fox!<br />Thank you very much, again.<br />On a Haskell user group meeting yesterday I got some more very good advice about the packaging. I intend to wrap things up, soon, and then upload it to Hackage.<br />What I don't understand, however, is the mutation of the structure when you moved it to src.seereason.com. You split the modules with "PropLogic" in their names (like PropLogicCore and DefaultPropLogic) and moved them into subdirectories, while other modules like Olist or Costack stayed in the main directory. This is not reflecting the structure and looks very strange to me.<br />Yesterday, I got the advise to integrate the package into the Haskell hierachy under the data subdirectory. I think I'll do that.bucephalushttps://www.blogger.com/profile/10322402600537850032noreply@blogger.comtag:blogger.com,1999:blog-5222232069415448248.post-85547522931308695582010-02-05T12:09:05.339-08:002010-02-05T12:09:05.339-08:00I am going to import PropLogic to a darcs reposito...I am going to import PropLogic to a darcs repository at http://src.seereason.com/PropLogic and apply patches to fix it up a little bit. Then you can take them if you like them.David Foxhttps://www.blogger.com/profile/08647513681648780163noreply@blogger.comtag:blogger.com,1999:blog-5222232069415448248.post-54587570857168614552010-02-04T14:20:16.910-08:002010-02-04T14:20:16.910-08:00Dear David Fox!
I appreciate your comment. This is...Dear David Fox!<br />I appreciate your comment. This is good advise.<br />There are some issues I don't fully understand with the whole packaging thing in Haskell distributions. <br />I while ago, I wrote a cabal file<br /> http://www.bucephalus.org/PropLogic/PropLogic.cabal <br />But this is obviously incomplete.bucephalushttps://www.blogger.com/profile/10322402600537850032noreply@blogger.comtag:blogger.com,1999:blog-5222232069415448248.post-88774874160060509132010-02-04T13:53:51.940-08:002010-02-04T13:53:51.940-08:00In order to correct my previous comment: item (1.)...In order to correct my previous comment: item (1.) was a dull joke and I did deleted the adjective "Brief" in the "Brief introduction to PropLogic" title. That's better.bucephalushttps://www.blogger.com/profile/10322402600537850032noreply@blogger.comtag:blogger.com,1999:blog-5222232069415448248.post-43029619180532012912010-02-04T12:12:48.351-08:002010-02-04T12:12:48.351-08:00This is very nice. I do have some suggestions...This is very nice. I do have some suggestions for the packaginging. First, the Main module is exported to the library, which is probably not what you meant to do. The TextDisplay module is not, which means you can't use display as shown in the examples. I also think the modules should be moved into the standard Haskell heirarchy - maybe under Data.PropLogic?David Foxhttps://www.blogger.com/profile/08647513681648780163noreply@blogger.comtag:blogger.com,1999:blog-5222232069415448248.post-34343356147469048052010-02-04T09:17:28.216-08:002010-02-04T09:17:28.216-08:00Hello Anonymous, thank you very much for your comm...Hello Anonymous, thank you very much for your comment and the time you took.<br />(1.) Yes, you are right, "Brief" it was when I started it, now it's a lie. (Don't wan't to bother changing it, though. Leave it as a trap to catch readers. ;-)<br />(2.) Thank you for your pointer to Data.Sequence. And yes, you are certainly right, again. I often get carried away in explaining the obvious. Instead, I should really get more familiar with the mainstream and rely on it.<br />(3.) And you are right, once more: "[[x + -z] + [y * z]]" had to be "[[x * -z] + [y * z]]". I changed it in the online version.bucephalushttps://www.blogger.com/profile/10322402600537850032noreply@blogger.comtag:blogger.com,1999:blog-5222232069415448248.post-56356387294064560362010-02-03T23:00:06.874-08:002010-02-03T23:00:06.874-08:00I would not describe this as a "Brief" i...I would not describe this as a "Brief" introduction! It is quite thorough, and quite an enjoyable read, too :)<br /><br />One comment, there is seemingly little reference to fairly standard Haskell packages. Would something like Data.Sequence not be a good fit for your Costack needs? The presentation in parts, such as that one, feels unnecessarily removed from mainstream Haskell programming. The way you provide such a thorough harness for driving the code from the command line is a rarity. Most examples would focus on GHCi interactions rather than CLI interactions.<br /><br />It will be very nice to see this on Hackage.<br /><br />Typo in "A little program..." that I stared at trying to reconcile for a while, "Alltogether, there are three prime factors of [[x + -z] + [y * z]], namely [x * y], [x * -z] and [y * z]."Anonymousnoreply@blogger.com