Hej Dikutal

Jeg er medlem af arbejdsmiljøudvalget på diku og er således med til at granske planerne for det nye NBSP. Vi har her til morgen fået udleveret dispositionsforslaget (hvilket er første fase i det egentlige byggeprojekt) og skal derfor til at se de konkrete planer igennem og vurdere om alt er som det skal være.

One important key aspect of Erlang programs is to identify where your Stable state is in the program.  Stable state is what you can trust. What you can trust is what you can build on. Joe Armstrong defines one of the key aspects of an Erlang system as Stable Storage. A place where we can push data and be sure it won't change. If we verify data before pushing, we can trust those data a great deal.

At the University of Copenhagen in general, and in my view, at the department of Datalogy in particular, there seems to be a common sense of pure and utter hatred towards the digital university administration systems (and in some ways,
administration in general). This holds for the student and employee management system, KU-Net, but by far much more so for the unified course management system, Absalon.

Here is a thing to ponder: Suppose you have a dynamically typed language - like Erlang. What exactly can you do with it to check stuff at compile time? This came about my mind after a twitter message by Yaron Minsky about Ocaml, where he posed the question "How people can live without types".