( Logic ^ Homework ) -> Boredom

Been a long time since last.

So, today I sat down with my Logic homework again and proved a couple of interesting things. One of my groundbreaking discoveries was that the old Norwegian song “My hat it has three connectors, and if it doesn’t have three connectors it’s not my hat” is actually true. ( Much to the enjoyment of my fellow flatmates )

Besides that I’ve learned a trick for when I am to start selling circuits, I made a simple ~(a or ~b) Didn’t find the upside down ^ that I use into ((a|a)|(a|a)|(b|b)|(b|b)|(b|b)|(b|b) which if I sell one circuit for 10$ would earn me 110$ instead of 20$..
So now you understand why I took logic classes :)

Besides that, I signed up for some Gnome Loving, hacking on GEdit for the 2.13 release, just writing some simple encoding dialog.

  1. No comments yet.

  1. No trackbacks yet.