tag:blogger.com,1999:blog-35719397.comments2023-11-10T08:13:50.253-05:00A Miscellanymackwaihttp://www.blogger.com/profile/08762010168711247828noreply@blogger.comBlogger73125tag:blogger.com,1999:blog-35719397.post-66123858093450228922023-11-10T08:13:50.253-05:002023-11-10T08:13:50.253-05:00The modus ponens argument
P&~Q->~P&Q
...The modus ponens argument <br /><a href="https://somerby.net/mack/logic/en/index.html?statement=P%26~Q-%3E~P%26Q%0AP%26~Q%0A%2C%27%2C%0A~P%26Q" rel="nofollow"><b><br />P&~Q->~P&Q<br />P&~Q<br />,',<br />~P&Q<br /></b></a><br />is valid, but only because the two premises are inconsistent; they can't both be true. The software notes this if you use the "therefore" operator (",',") in the argument. The premises lead to a contradiction, and anything follows from a contradiction. In other words, all arguments with contradictory premises are valid. This seems like a problem, but you have to remember that not all valid arguments are sound; an argument doesn't prove anything unless its premises are true, and contradictions are always false, so an argument with contradictory premises will never be sound.<br /><br />It is not surprising that the two premises are inconsistent because, as you argue, (P∧¬Q→¬P∧Q) is equivalent to (P→Q). (P→Q) is equivalent to ¬P∨Q, which is equivalent to ¬(P∧¬Q), which is the negation of P∧¬Q.<br /><br />Is there anything that the software appears to be doing wrong? From your comment, I can't tell if the problem is with the software or with the logical argument itself.mackwaihttps://www.blogger.com/profile/08762010168711247828noreply@blogger.comtag:blogger.com,1999:blog-35719397.post-66933974295194709372023-11-10T02:46:16.803-05:002023-11-10T02:46:16.803-05:00I noticed that there’s a possible bug in your soft...I noticed that there’s a possible bug in your software. For suppose (P→Q) is true. (P→Q) is equivalent to (¬P∨Q∨¬P∧Q) which is also equivalent to (P∧¬Q→¬P∧Q). Suppose we use Modus Ponen on (P∧¬Q→¬P∧Q). Then it seems we get a contradiction unless both P∧¬Q and ¬P∧Q are false.Lorenzo Gil Badiolahttps://www.blogger.com/profile/00719054579902254473noreply@blogger.comtag:blogger.com,1999:blog-35719397.post-70795430425563359322022-12-04T12:03:57.280-05:002022-12-04T12:03:57.280-05:00It's 3.3 microfarads. The capacitor I used is...It's 3.3 microfarads. The capacitor I used is polar, but I don't think it matters whether the capacitor is polarized or not.mackwaihttps://www.blogger.com/profile/08762010168711247828noreply@blogger.comtag:blogger.com,1999:blog-35719397.post-1623338399436518272022-11-28T01:11:30.644-05:002022-11-28T01:11:30.644-05:00Is that a 3.3 if non polarized cap at the input?Is that a 3.3 if non polarized cap at the input?Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-35719397.post-46910455378425932832021-06-19T13:51:22.015-04:002021-06-19T13:51:22.015-04:00yeah its like a gated fuzz when I turn down the vo...yeah its like a gated fuzz when I turn down the volume a bit on my guitar, its a cool feature I thinkCool beanshttps://www.blogger.com/profile/02423426884773788995noreply@blogger.comtag:blogger.com,1999:blog-35719397.post-44741919495933243242021-06-19T08:51:30.881-04:002021-06-19T08:51:30.881-04:00I wonder why it acts like a gate. Did you use the...I wonder why it acts like a gate. Did you use the same schematic, or are there differences? I get a little bit of a gated fuzz effect from my pedal when I turn my guitar's volume down, but not much.mackwaihttps://www.blogger.com/profile/08762010168711247828noreply@blogger.comtag:blogger.com,1999:blog-35719397.post-88072511601398832702021-06-18T23:53:57.502-04:002021-06-18T23:53:57.502-04:00I made one today and it sounds pretty cool, it als...I made one today and it sounds pretty cool, it also acts like a gate XDCool beanshttps://www.blogger.com/profile/02423426884773788995noreply@blogger.comtag:blogger.com,1999:blog-35719397.post-51473514702204854972019-06-23T14:48:20.331-04:002019-06-23T14:48:20.331-04:00I do agree with all of the concepts you've pre...I do agree with all of the concepts you've presented <br />ffor your post. They're really convincing and will definitely work.<br />Nonetheless, the posts are very brief for beginners.<br /><br />May just you please lengthen them a little from subsequent time?<br />Thank you for the post.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-35719397.post-58059660446246409032018-07-03T23:03:48.791-04:002018-07-03T23:03:48.791-04:00Some of us would prefer for the decimal digits 0-9...Some of us would prefer for the decimal digits 0-9 to remain the same,<br />but have A-F become symbols corresponding to the ASCII character table<br /> 10 LF (NL line feed, new line)<br /> 11 VT (vertical tab)<br /> 12 FF (NP form feed, new page)<br /> 13 CR (carriage return)<br /> 14 SO (shift out)<br /> 15 SI (shift in) <br />Example:<br />10 or A could become something like<br />|<br />v<br />13 or D could become something like<br /><-<br />Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-35719397.post-14617058348569503182017-10-25T00:22:21.021-04:002017-10-25T00:22:21.021-04:00Thanks very nice blog!Thanks very nice blog!Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-35719397.post-38834494233639094142017-08-29T12:52:57.285-04:002017-08-29T12:52:57.285-04:00We got our proposal with Mack published in Interna...We got our proposal with Mack published in <a href="http://www.ijcset.com/docs/IJCSET17-08-06-027.pdf" rel="nofollow">International Journal of Computer Science & Engineering Technology</a>Valdishttps://www.blogger.com/profile/04743334381211637315noreply@blogger.comtag:blogger.com,1999:blog-35719397.post-89464908226829282042016-04-18T20:31:47.838-04:002016-04-18T20:31:47.838-04:00I fixed it; it is now working in Internet Explorer...I fixed it; it is now working in Internet Explorer 11.mackwaihttps://www.blogger.com/profile/08762010168711247828noreply@blogger.comtag:blogger.com,1999:blog-35719397.post-78620509910243291762015-06-22T18:30:19.917-04:002015-06-22T18:30:19.917-04:00Great work, Mack!
I suppose main improvements in s...Great work, Mack!<br />I suppose main improvements in such alternative view of binary data are:<br />1. Positional shapes of digits improve finding bit patterns in stream of bytes,<br />2. Ligatures allow to show value of one byte as one character. Eventually it could make whole sub-area of binary editors obsolete, as currently most of them are designed around issue that one byte in numeric value is shown with two characters.Valdis Vitolinsnoreply@blogger.comtag:blogger.com,1999:blog-35719397.post-4284282984864790012015-05-12T15:40:05.056-04:002015-05-12T15:40:05.056-04:00Hello! I didn't find your blog before, therefo...Hello! I didn't find your blog before, therefor I did similar, but different approach, which could be extended to address 8-bit digits: http://odo.lv/Blog/150502?language=enAnonymousnoreply@blogger.comtag:blogger.com,1999:blog-35719397.post-56795669758808695822015-03-10T18:01:04.918-04:002015-03-10T18:01:04.918-04:00I think you're on to something with "0=O,...I think you're on to something with "0=O, 1=I, 2=Z, 5=S". Choosing letters that resemble the decimal digits of the numbers they represent would be an effective mnemonic, at least for me. I wish they had done it that way; instead of 'A'=10, 'B'=11, 'C'=12, 'D'=13, 'E'=14, 'F'=15, do 'D'=10, 'H'=11, 'Z'=12, 'B'=13, 'A'=14, 'S'=15 or something like that. If it was that way, I would have learned my hexadecimal digits by now. As it is, I've been working with hexadecimal digits for years and I still have to consciously translate C and D to 12 and 13 in my mind.mackwaihttps://www.blogger.com/profile/08762010168711247828noreply@blogger.comtag:blogger.com,1999:blog-35719397.post-46355912348567230682015-03-05T20:35:16.575-05:002015-03-05T20:35:16.575-05:00I suggest making up the new symbols only for 11 an...I suggest making up the new symbols only for 11 and 13.<br /><br />http://s14.postimg.org/6wpf6mmi5/A_F_hex_alt_smbls.jpg<br /><br />Since already the resemblance is: <br />0=O, 1=I, 2=Z, 5=S,<br />would it bother if: <br />11=U, 12=C, 14=E, 15=FAnonymousnoreply@blogger.comtag:blogger.com,1999:blog-35719397.post-48490209330552438072014-03-26T11:32:26.843-04:002014-03-26T11:32:26.843-04:00This is pretty awesome. I was aware of linking C w...This is pretty awesome. I was aware of linking C with Java via the JNI (http://docs.oracle.com/javase/7/docs/technotes/guides/jni/) but I've never used that since I don't do desktop application development and the last time I wrote C or C++ was in college! Great article. Thanks for putting it together.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-35719397.post-57399721350030668382014-02-13T12:28:51.687-05:002014-02-13T12:28:51.687-05:00This is addictive! Good work on it. It makes me ac...This is addictive! Good work on it. It makes me actually want to re-learn all my formal logic that I knew once after taking a course in college, but then forgot a long time ago.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-35719397.post-70954870638066997602012-09-08T16:44:03.473-04:002012-09-08T16:44:03.473-04:00I put the source on GitHub: https://github.com/mac...I put the source on GitHub: <a href="https://github.com/mackwai/drum_machine_joy" rel="nofollow">https://github.com/mackwai/drum_machine_joy</a>.mackwaihttps://www.blogger.com/profile/08762010168711247828noreply@blogger.comtag:blogger.com,1999:blog-35719397.post-61635665576099769182012-06-26T22:00:25.787-04:002012-06-26T22:00:25.787-04:00Hey, thanks for commenting. That was a fun surpri...Hey, thanks for commenting. That was a fun surprise. I certainly think that a digit shouldn't have multiple, separated lines like 1,4,6, etc. in http://i.imgur.com/bnUIp.jpg. It's kind of unusual for characters to be like that, and those digits happen to look like an equals sign or a hyphen. I like the use of parallel vertical strokes like the odd numbers in http://i.imgur.com/bnUIp.jpg and 6 and 7 in http://i.imgur.com/CmeaN.jpg. Maybe there's something to consider there. But... I like my digits best. I'm biased. Maybe another person will weigh in with an opinion 3 years from now :)mackwaihttps://www.blogger.com/profile/08762010168711247828noreply@blogger.comtag:blogger.com,1999:blog-35719397.post-6555367128939666872012-06-25T10:09:34.357-04:002012-06-25T10:09:34.357-04:00This is even better:
http://i.imgur.com/zqkbb.jpgThis is even better:<br />http://i.imgur.com/zqkbb.jpgtrismarckhttps://www.blogger.com/profile/17649160312320621941noreply@blogger.comtag:blogger.com,1999:blog-35719397.post-44507883763220752422012-06-25T09:54:04.696-04:002012-06-25T09:54:04.696-04:00Also, some of your digits are similar to the hexad...Also, some of your digits are similar to the hexadecimal 'digits', i.e.:<br />10 (C) is like 12 in hex<br />12 (F) is like 15 in hex<br />14 (E) is like 14 in hex (... ;) )<br />Maybe it would be worth to do sth like this:<br />http://imgur.com/tNKR6trismarckhttps://www.blogger.com/profile/17649160312320621941noreply@blogger.comtag:blogger.com,1999:blog-35719397.post-62312489230581412942012-06-25T09:46:28.213-04:002012-06-25T09:46:28.213-04:00Yeah, I've came up with somewhat crippled vers...Yeah, I've came up with somewhat crippled version of your approach:<br />1 bar to encode the number / 3 bars do encode the base power:<br />http://i.imgur.com/bnUIp.jpg<br />3 bars to encode the number / 1 bar do encode the base power:<br />http://i.imgur.com/CmeaN.jpg<br /><br />I really liked the idea of using all four vertical bars (instead of just one) to create the digit + the symmetry of pairs of digits.<br /><br />Just for the reference: the only quirk with your approach is the 'zero' sign, which has all three horizontal bars 'light up' (should have none). But you're probably right that the simplest possible notation is more important.trismarckhttps://www.blogger.com/profile/17649160312320621941noreply@blogger.comtag:blogger.com,1999:blog-35719397.post-75693761130341964522011-10-18T15:40:04.088-04:002011-10-18T15:40:04.088-04:00I remember why I used the while loop: reading <...I remember why I used the while loop: reading <> one line at a time and throwing away the result uses less memory than allocating an array to hold the lines from <>, as would happen when "@_=<>"; is evaluated.mackwaihttps://www.blogger.com/profile/08762010168711247828noreply@blogger.comtag:blogger.com,1999:blog-35719397.post-87476579601187810712011-10-16T15:47:17.214-04:002011-10-16T15:47:17.214-04:00I golfed it: print((@ARGV=map glob,@ARGV)?do{@_=&l...I golfed it: print((@ARGV=map glob,@ARGV)?do{@_=<>;$.}:0)mackwaihttps://www.blogger.com/profile/08762010168711247828noreply@blogger.com