-
Proper Propositional Logic
The second in a series of posts laying out the process, step by step, of building an interpreter in Ruby for working with propositional logic. In this second post, we expand the interpreter to handle the full range of valid expressions in classical propositional logic.
Continue reading … -
Starting Simple
The first in a series of posts laying out the process, step by step, of building an interpreter in Ruby for working with propositional logic. In this first post, we build an interpreter for working with simple logical expressions and dig into the specifics of the parts of an interpreter as well as the basics of propositional logic.
Continue reading … -
On Antinomies and Paradoxes
Should the central tenets of Christian theology be best understood as antinomies, or paradoxes, or both?
Continue reading … -
Degrees of Separation
When talking about God, I’m not so certain that we have a great understanding of what we can and cannot say properly, or what we can and cannot understand properly.
Continue reading … -
Time in Ruby and ActiveRecord
How does the Ruby
Continue reading …Timeclass relate to the ActiveRecordtimecolumn type? -
Typecasting in Ruby and Rails
I recently had the need to typecast string values passed as query parameters to a controller action to their appropriate type. In solving this problem, I've learned a lot about Rails' typecasting layer, Ruby's typecasting methods, as well as a handful of edge cases. The result was a typecasting function that I think has a lot to offer.
Continue reading … -
Encoding the Logic of Sets: More on Sets as Procedures
How can procedures be used to encode the logic of both infinite and finite sets?
Continue reading … -
Initial Thoughts on Infinite Sets and Procedures
Is modern mathematics built on a logical fallacy? How ought we to understand infinite sets? What's a procedure? I'm starting to explore these topics as I think through the mathematics and logic of infinity.
Continue reading … -
Introducing: Togglicons
Togglicons offers a single SCSS mixin for bringing customizable toggling icons into your web application.
Continue reading … -
A Simple Tree Building Algorithm
It is, unfortunately, not that often that I get the opportunity to devise an algorithm to solve a problem at work. Most work simply doesn’t require that kind of thinking. But I thoroughly enjoy that kind of thinking, and thus thoroughly enjoyed the most recent opportunity I had to employ it. The problem was simple (though I have simplified and abstracted it for this post as well): we have a database table of
Continue reading …things, and thesethingshave a parent-child hierarchy, and we need to display a tree of thesethingsin our UI. So, let’s dig in.