All links in this post have been lost to the mists of time. I’ve kept it here out of pure nostalgia. I’m typing the lectures of the course 236343 Computability Theory this semester. Attached are my lectures notes in PDF form: Computability Lecture Notes Computability Tutorial Notes If you also type the notes and would like to collaborate with me, I use a git repository stored here: http://yasmin.technion.ac.il/ohad/git/computability.git To use it, install git-core and curl, and run

Reading some backlog on this blog, I found the following gem: It’s a sad state of affairs that people go ahead and limit access to their wireless network. I keep mine wide open - מי שאוכל לבד, מת לבד. Yeah… not so anymore. For about four weeks (just a bit before the semester started), my net connection was working excrutiatingly slow. Now, we’re four roommates here, so we started blaming each other.

Writing multi-threaded applications in Python is often a headache because of the Global Interpreter Lock - only one Python thread can run at any given moment, which makes multi-threading useful only in the case where all modules but one actually run C code. However, thanks to the impressive new Python Magazine, I’ve stumbled across a package called processing, paraphrasing python’s built-in threading package. Essentially, the package provides an API identical to Python’s threading, but uses processes and pipes (or other mechanisms on non-posix operating systems) instead.

My girlfriend just asked me what just might be the hardest question I’ve heard all semester; What do I like better, The Simpsons or beer?

I’ve been a very big proponent of Subversion so far, especially as a tool for collaborating on coding homework. However, I’ve recently been trying out Linus’s git. It’s very nice so far, and really seems to be catching on. Some good points: Fast as all hell (much faster than Bazaar, although I haven’t given that the proper attention) No need for a central server; hell, no need for an internet connection at all, everything can be done over USB keys or whatnot No real need to configure any special server; just install git on it Very nice alternative to configuring write-control for all of the users Very easy branching and merging, finally!

Lately I’ve been working on a project that has me using DBus a lot. After trying to figure out how to work DBus with C, and seeing how easy it is to do in Python, we figured we’d try to use embedded Python to do this. Fortunately, it’s very simple to use - especially thanks to this guide. It later turned out to be much easier to do in C, as described in Faster Languages.