When you’re first learning about Prolog, sometimes you’ll read books or tutorials that show you typing in “clauses,” and then immediately thereafter typing a “query.” If you use a visual or browser-based Prolog implementation, you’ll discover that there are two “modes” (my term), one for the input of the program / database, and one [...]
Posts under ‘Uncategorized’
SWI-Prolog from MacPorts on OS X 10.5
Tried installing the binary of SWI-Prolog (swi-prolog-5.8.2-leopard-intel.mpkg) on my Mac OS X 10.5 box. For whatever reason, it was bombing out with some nasty errors (Libary not loaded … image not found). Read about others’ troubles and decided to try MacPorts. Couldn’t get SWI-Prolog to install using a standard:
$ sudo port -v install swi-prolog
Ended up [...]
“Getting It” in IT Security
Look, folks, PKI is hard to grok fully. But if your entire business is being a trust provider (SSL cert vendor), you should try.
GeoTrust makes their Root Certs (the things you download and install in order to tell your computer, “trust things from this authority”) available via an insecure connection:
http://www.geotrust.com/resources/root-certificates/
Unreal.
Some Gotchas with using svndumpfilter
A few things:
1. svndumpfilter can take multiple args, e.g.
$ svndumpfilter include /x /y /z > mydump
to include /x, and /y, and /z. It can’t, however, do both include and exclude at once. In theory, you can run multiple dumps when you later load them, so you could (sort of; see below) [...]
Technologies I want an excuse to use…
Cassandra, the Facebook-derived, neither-row-nor-column-oriented-quite, massively distributed data store.
New hybrid languages that run atop Java VMs: Scala and Groovy.
Hadoop. Just ‘cuz.
The R statistical computing system.
Password Policies Must Be Disclosed!
Most all web applications require some sort of username and password to login. However, you never know upon signing up how the application (site, service, whatever) will treat your password. – Option 1: The app does what all good applications, having been entrusted with your password, ought to do: it passes it through [...]