Other articles

  1. Attending GUADEC 2016

    This year I have the chance to attend GUADEC, the gnome user and developer conference in Europe. I am very much looking forward to it. This will be my vaccation this year. I surely hope Karlsruhe is up to it.


  2. Published: Sat 02 July 2016

    Newest Family Member is a PocketC.H.I.P.

    C.H.I.P. and PocketC.H.I.P.

    C.H.I.P. and PocketC.H.I.P.

    Recently we've had a new addition to our family. A kickstarted one. So in the future, there probably will be relevant articles here as well.

    There are allready a few things planned with this 9$ PC.


  3. Teaching again (advanced programming)

    At the end of this semester I will give six hours worth of exam preparation for the 2nd year computer science bachelor's students in "advanced programming".

    While I have yet to consult with the teacher, what the focus of the exam will be, the following topics are covered during the run of the course:

    • Formulas and terms, signatures, algebraic data structures, tree-domains, pattern-matching, rewriting systems
    • Higher order functions, polymorphic functions (including typeclasses), lambda-calculus, recursion patterns
    • lazy evaluation and infinite data structures
    • git version management as a directed acyclic graph, code smells, refactoring

    Most of the time the students try to apply the material with Haskell and C#.

    While this course is more structured than the last one I helped preparing for the exam, the examination itself is not that rigid and it will be a fun challenge that I am very much looking forward to.


  4. Installing Cockpit on Raspbian

    Cockpit

    Cockpit

    I was playing a bit with with a Raspberry Pi B and raspbian and I wanted to install Cockpit on my pi. Sadly, we can't use the provided debian repository since they do not provide packages for our Pi's processor architecture.

    So we do it ourselves.


    First thing, we need to install node. If you already have a current node installation, you don't need to do that.

    Starting with node, we download the latest node source code and unpack it wget https://nodejs.org/dist/v5.9.1/node-v5.9.1.tar.gz && tar -xzf node-v5.9.1.tar.gz. We now can just cd in there (cd node-v5.9.1) and build and install it (./configure && make && sudo make install). This will take quite some time. This might even take a few hours. After the configure step, you can make > makelog & and then disown in order to leave that session alone and even close it. But don't forget to sudo make install once it's done.

    Read the rest of this article.


Page 1 / 2 »

links

social

Theme based on notmyidea