We now have KDE running on
NixOS ( obligatory\
screenshot). Just kdebase for now (Martin
Bravenboer already added kdelibs a long time ago so
that we could run the wonderful KCachegrind),
but it contains all the important stuff (Konqueror, KDesktop,
Kicker, Konsole, Control Center, … ⌘ Read more
NixOS progress report
NixOS is now almost usable as a desktop OS ;-). We
have an X server, a bunch of Gnome packages, basic wireless
support, and of course all the applications in Nixpkgs that we
had all along running on other Linux distributions. Here are a
few screenshots:
- X server\
with Compiz window manager.
- [Emacs a … ⌘ Read more
NixOS manual
There is now some basic\
documentation for NixOS. ⌘ Read more
New build farm hardware at TUD
To quote
Eelco Visser: new
hardware for buildfarm at Delft University of Technology has
arrived.
Here’s what we have: 5 Intel Core 2 Duo DualCore machines
with 1GB RAM, 2 Mac minis with 1,83-GHz Intel Core
Duo-processor, another Core 2 Duo a UPS to deal with spikes in
power supp … ⌘ Read more
Nixpkgs 0.10 released
Nixpkgs\
0.10 has been released. See the release\
notes for details. ⌘ Read more
Nix 0.10.1 released
Nix\
0.10.1 has been released. It fixes two obscure bugs that
shouldn’t affect most users. ⌘ Read more
Nix 0.10 released
Nix\
0.10 has been released. This release has many
improvements and bug fixes; see the release\
notes for details. ⌘ Read more
Nixpkgs 0.9 released
Nixpkgs\
0.9 has been released. ⌘ Read more
PhD thesis defended
Eelco Dolstra
defended his PhD\
thesis on the purely functional deployment model. ⌘ Read more
Nix 0.9.2 released
Nix\
0.9.2 has been released released. This is a bug fix
release that addresses some problems on Mac OS X. ⌘ Read more
Nix 0.9 released
Nix 0.9
has been released. This is a new major release that provides
quite a few performance improvements and bug fixes, as well as a
number of new features. Read the release\
notes for details. ⌘ Read more
Secure sharing paper accepted for ASE 2005
The paper “Secure Sharing Between Untrusted Users in a
Transparent Source/Binary Deployment Model” has been accepted at
ASE 2005. This
paper describes how a Nix store can be securely shared by
multiple users who may not trust each other; i.e., how do we
prevent one user from installing a Trojan horse that is
subsequently executed by some other user? ⌘ Read more
Service deployment paper accepted for SCM-12
The paper “Service Configuration Management” (accepted at the
12th\
International Workshop on Software Configuration\
Management) describes how we can rather easily deploy
“services” (e.g., complete webserver configurations such as our
Subversion server) through
Nix by treating the non-component parts (such as configur … ⌘ Read more
Patching paper accepted for CBSE 2005
The paper “Efficient Upgrading in a Purely Functional Component
Deployment Model” has been accepted at CBSE 2005.
It describes how we can deploy updates to Nix packages
efficiently, even if “fundamental” packages like Glibc are
updated (which cause a rebuild of all dependent packages), by
deploying binary patches between components in the Nix store.
Includes tec … ⌘ Read more
Way too early
I woke up at 7:00 AM today, perhaps a bit earlier. The same thing happens every weekend, I cannot sleep as I wish, my internal clock just wouldn’t stop buzzing. So here I am, reading my favourites blogs and news sites, while feeling stressed about Monday (or should I say Sunday night?) morning changes at work. It is the weekend, for God’s sake! I shouldn’t be worrying about anything in the future related to work. I wish it was that easy.
On Linux I know, after years of experience, things work o … ⌘ Read more
**Paper “Imposing a Memory Management Discipline on Software
Deployment” accepted for presentation at ICSE 2004!**
The first Nix paper. ⌘ Read more
Like a Phoenix
Just like a Phoenix, this is a rebirth from my own ashes. I wanted to change things around here, perhaps change the way I write. Finally, I have decided to come back on a more informal way. Like it was in the beginning, when I decided that blogging could be a fun thing to do.
How informal will it be? Well, as informal as life itself — at least, mine —. I will write things that happen to me, my family, my friends and fellow human beings in general. I will not hold back just because I may think m … ⌘ Read more
Redesign on the horizon
Pretty soon I will be redesigning. I am not sure what I will do yet, but the main site will change. Additionally, I will be adding an extra blog using MT (Movable Type).
On the main site I am not sure whether to go simplistic or zeldmanian, but changes are due, since I am also changing the way I have been writing lately. The domain Collantes.US will become the echo of my thoughts on technology, science, religion, politics and everything else in between. Stay tuned, if you want. Or … ⌘ Read more