thebiblesalesman.wordpress.com

mackwai.blogspot.com

A Miscellany: May 2015

http://mackwai.blogspot.com/2015_05_01_archive.html

Logic, a spice rack, and some other things. Sunday, May 24, 2015. Hexadecimal Digits AND Ligatures! A few years ago, I posted a set of hexadecimal digits that I invented that could serve as an alternative to the customary 0-9 and A-F. My idea was to make a set of digits that could be represented in the standard numeric LCD display where the digit somehow represented a binary version of the number it represents. See here. Like me, who looks at hex dumps. Sunday, May 03, 2015. Subscribe to: Posts (Atom).

annalsofachristiansingle.blogspot.com

Annals of a Christian Single: September 2012

http://annalsofachristiansingle.blogspot.com/2012_09_01_archive.html

Annals of a Christian Single. This blog is dedicated to the beauty of God- to recognizing the wholeness and wonder of who He is and discovering what it means to live in His image. Sunday, 30 September 2012. Annal 179: Tale from the Pumpkin Patch. I went to a pumkin patch yesterday. I had no idea ;). I also discovered that the Winchester brothers from. Were filming in my favourite little town out here this week. And that they and the cast of. Yeah, I pretty much died right there. I also purchased my plane...

mackwai.blogspot.com

A Miscellany: No More Free Variables (for now)

http://mackwai.blogspot.com/2015/02/no-more-free-variables-for-now.html

Logic, a spice rack, and some other things. Friday, February 13, 2015. No More Free Variables (for now). Formerly, somerby.net/mack/logic. Would accept statements with free variables. It would bind them all with existential quantifiers. That seemed to work; it yielded the results I expected for all of the statements I had tried - up until a few days ago, when I found it to fail for some statements. One such statement is " a=b. There is always an a. Subscribe to: Post Comments (Atom). Blogs that I like.

mackwai.blogspot.com

A Miscellany: March 2015

http://mackwai.blogspot.com/2015_03_01_archive.html

Logic, a spice rack, and some other things. Saturday, March 28, 2015. Free Variables Are Back (partially). And other such things for instruction and insight. I knew that there was more than one system of modal logic, but this reading has made me appreciate the need for me to define exactly what system of modal logic somerby.net/mack/logic implements. So I'm working on that, too. Subscribe to: Posts (Atom). Blogs that I like. Pilgrim, not Wanderer. Programming in the 21st Century. Sites that are not blogs.

annalsofachristiansingle.blogspot.com

Annals of a Christian Single: February 2013

http://annalsofachristiansingle.blogspot.com/2013_02_01_archive.html

Annals of a Christian Single. This blog is dedicated to the beauty of God- to recognizing the wholeness and wonder of who He is and discovering what it means to live in His image. Sunday, 17 February 2013. Annal 194: Tale from the Name Change. I had a realization over the weekend, and this realization provided answers to something that has been bothering me since the summer. And ever since then I have had a bit more trouble writing. I think I finally figured it out this weekend. I was feeling like I didn...

mackwai.blogspot.com

A Miscellany: Alternative Hexadecimal Digits

http://mackwai.blogspot.com/2009/07/alternative-hexadecimal-digits.html

Logic, a spice rack, and some other things. Thursday, July 02, 2009. I'm not complaining about the convention of using characters 0-9 and A-F as hexadecimal digits. It's a good system; it's easy to learn, since most of us in the Western World have known the meaning of 0-9 and the order of the alphabet since childhood. But what if we could start over with only practical concerns (apart from the value of keeping a well-recognized and heavily-used convention) to guide us? They should be easy to learn. Of a ...

mackwai.blogspot.com

A Miscellany: March 2014

http://mackwai.blogspot.com/2014_03_01_archive.html

Logic, a spice rack, and some other things. Saturday, March 29, 2014. Investigating Logical Arguments with somerby.net/mack/logic. I created a web application. First off, I'm going to strip the arguments down to what I think is the essential logic that makes both arguments work. I don't suppose this will be agreeable to everyone, at least not without some persuasion, but I'll just go with it for now and try to defend myself later if I have to. So, for Plantinga's argument I will use:. G- []G G - G. Befor...

mackwai.blogspot.com

A Miscellany: Hexadecimal Digits AND Ligatures!

http://mackwai.blogspot.com/2015/05/hexadecimal-digits-and-ligatures.html

Logic, a spice rack, and some other things. Sunday, May 24, 2015. Hexadecimal Digits AND Ligatures! A few years ago, I posted a set of hexadecimal digits that I invented that could serve as an alternative to the customary 0-9 and A-F. My idea was to make a set of digits that could be represented in the standard numeric LCD display where the digit somehow represented a binary version of the number it represents. See here. Like me, who looks at hex dumps. Subscribe to: Post Comments (Atom).

mackwai.blogspot.com

A Miscellany: August 2014

http://mackwai.blogspot.com/2014_08_01_archive.html

Logic, a spice rack, and some other things. Sunday, August 17, 2014. O Perl, how I love you. Here is a Perl subroutine that finds the greatest common divisor of two integers:. My $x, my $y ) =. Map abs, grep { $ } @ ;. Gcd( $y, $x % $y ) : $x. And here is a Perl subroutine that finds the greatest common divisor of any number of integers (including 0 integers, for which it returns undef. My $x, my $y, my @others) =. Map abs, grep { $ } @ ;. Gcd( $y, $x % $y, @others ) : $x. Let me explain what I mean by "...