Will Fris's WordPress Weblog

{20080422}   OS Development

A friend of mine has pointed me to osdever.net.
A site where you can get a lot of information about Operating System (OS) Development.

{20080422}   quicker then innerHTML

In this article a method is described which is supposed to be quicker then javascript’s innerHTML and also the DOM-way, it’s a combination of both of those.

{20080421}   YAML

YAML can be an alternative to for example .ini-files.

A nice tutorial on YAML:


{20080421}   Logica

So I have been reading a little bit on wikipedia about logic.

It came to my understanding that I for a long time now have been an extensive user of what is called propositional calculus(or sentential calculus and in dutch: propositielogica).
From the English wikipedia:

In logic and mathematics, a propositional calculus (or a sentential calculus) is a formal system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives, and a system of formal proof rules allows certain formulæ to be established as “theorems”.

From the dutch wikipedia:

De propositielogica is een tak van logica die zich bezighoudt met geldige redeneringen in de vorm van proposities. Dit zijn uitspraken of beweringen die ofwel waar of ofwel onwaar zijn. Voorbeelden hiervan zijn Wikipedia is een encyclopedie en Wicky heeft een noormannenhelm op. In de propositielogica kunnen de proposities alleen waar of onwaar zijn, dit in tegenstelling tot meerwaardige logica’s waarbij een propositie ook andere waarden kan hebben, zoals bij de propositie Wicky vindt Wikipedia een interessante encyclopedie. In vergelijking met andere types van logica is een propositielogica eenvoudig van opbouw(structuur,grammatica) maar beperkt in uitdrukkingsmogelijkheid.

And before I knew it I was in over my head in formal algebra, reading about sets and multisets.

P = it's\ raining
Q = i'm\ indoors
* It is raining and I am indoors.
P \& Q
* If it is raining then I am indoors.
P \rightarrow Q
* It is raining if I am indoors.
P \leftarrow Q
* It is raining if and only if I am indoors.
P \leftrightarrow Q
* It is not raining.
\not P

To make some comparison between CodeIgniter, CI from here on, and Symfony Framework, SF from here on, I decided to go through some of the first hits of Google for a change.

In general I can read in most posts that:
Both of the frameworks have superb documentation, which is very nice, thumbs up!

CI is nice and lightweight, while SF is nice and heavyweight
which just makes CI more responsive then SF
SF is all about best practises whereas CI seems to take a more pragmatic route
SF is in php5, CI can be in php4 _and_ php5
SF is mainly meant for big ass applications because of the way it is set up with a cli to create applications, modules, and what not more, while CI is more meant to be a great library with an easy to understand setup

I also read that CI has gotten a fork called Kohana a all php5-strict framework.
I will most certainly use this framework in a future project to get the feel of it.

I’ve started using Symfony now;
I wanted to have a InnoDB table (dunno why. :P) and I wanted it to be in utf8 charset and utf8_bin collation (dunno why. :S)
I found my InnoDB info here:
And the utf8 stuff can be found in chapter 8 of the symfony manual/book/or whatever.

et cetera